Trace number 3687973

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-128625 1800.83 1782.67

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mkc.opb
MD5SUMeae2e8a732d92a062f083ccb58900b63
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-147500
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -144250
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 20000
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 31442101
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 67108864000
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 138201238403
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.10	c version 2.3.2.v20120418
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3687973-1337879062.opb
0.09/0.12	c reading problem ... 
0.48/0.36	c ... done. Wall clock time 0.236s.
0.48/0.36	c declared #vars     5383
0.48/0.36	c #constraints  3225
0.48/0.36	c constraints type 
0.48/0.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 276
0.48/0.36	c ignored satisfied constraints => 56
0.48/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2921
0.48/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 28
0.48/0.36	c 3281 constraints processed.
0.48/0.36	c objective function length is 2946 literals
1.17/0.61	c SATISFIABLE
1.17/0.61	c OPTIMIZING...
1.17/0.62	c Got one! Elapsed wall clock time (in seconds):0.492
1.17/0.62	o -126875
1.57/0.94	c Got one! Elapsed wall clock time (in seconds):0.816
1.57/0.94	o -128625
3.01/2.21	c cleaning 2834 clauses out of 5673 with flag 5001/5673
5.75/4.91	c cleaning 4420 clauses out of 8839 with flag 11001/11673
9.36/8.45	c cleaning 5709 clauses out of 11418 with flag 18000/18672
13.30/12.22	c cleaning 6849 clauses out of 13711 with flag 26002/26674
17.26/16.08	c cleaning 7927 clauses out of 15861 with flag 35001/35673
21.79/20.46	c cleaning 8963 clauses out of 17934 with flag 45001/45673
26.53/24.91	c cleaning 9983 clauses out of 19971 with flag 56001/56673
31.15/29.57	c cleaning 10987 clauses out of 21987 with flag 68000/68672
36.43/34.79	c cleaning 11996 clauses out of 24000 with flag 81000/81672
42.30/40.54	c cleaning 13002 clauses out of 26004 with flag 95000/95672
48.66/46.76	c cleaning 13992 clauses out of 28002 with flag 110000/110672
56.43/54.43	c cleaning 15006 clauses out of 30012 with flag 126002/126674
63.85/61.74	c cleaning 15998 clauses out of 32004 with flag 143000/143672
71.56/69.37	c cleaning 17004 clauses out of 34007 with flag 161001/161673
79.46/77.27	c cleaning 18002 clauses out of 36003 with flag 180001/180673
88.16/85.93	c cleaning 18993 clauses out of 38001 with flag 200001/200673
97.46/95.27	c cleaning 19995 clauses out of 40007 with flag 221000/221672
107.76/105.23	c cleaning 20999 clauses out of 42012 with flag 243000/243672
118.09/115.54	c cleaning 22004 clauses out of 44015 with flag 266002/266674
128.39/125.78	c cleaning 22997 clauses out of 46009 with flag 290000/290672
138.76/136.06	c cleaning 24004 clauses out of 48012 with flag 315000/315672
149.89/147.08	c cleaning 25004 clauses out of 50010 with flag 341002/341674
161.79/158.62	c cleaning 26001 clauses out of 52005 with flag 368001/368673
174.27/171.04	c cleaning 26998 clauses out of 54003 with flag 396000/396672
186.11/182.79	c cleaning 28002 clauses out of 56005 with flag 425000/425672
199.33/195.93	c cleaning 29002 clauses out of 58004 with flag 455001/455673
213.25/209.76	c cleaning 29994 clauses out of 60001 with flag 486000/486672
226.91/222.92	c cleaning 31004 clauses out of 62007 with flag 518000/518672
240.44/236.46	c cleaning 31999 clauses out of 64003 with flag 551000/551672
254.53/250.46	c cleaning 32997 clauses out of 66004 with flag 585000/585672
269.63/265.44	c cleaning 33998 clauses out of 68007 with flag 620000/620672
287.49/283.10	c cleaning 34997 clauses out of 70011 with flag 656002/656674
301.82/297.39	c cleaning 35996 clauses out of 72012 with flag 693000/693672
316.60/311.91	c cleaning 37005 clauses out of 74017 with flag 731001/731673
332.20/327.38	c cleaning 38003 clauses out of 76011 with flag 770000/770672
347.98/342.93	c cleaning 38998 clauses out of 78008 with flag 810000/810672
365.09/359.91	c cleaning 40002 clauses out of 80010 with flag 851000/851672
383.60/378.10	c cleaning 41001 clauses out of 82008 with flag 893000/893672
400.70/395.17	c cleaning 41999 clauses out of 84007 with flag 936000/936672
418.86/413.23	c cleaning 43001 clauses out of 86009 with flag 980001/980673
437.86/432.17	c cleaning 44001 clauses out of 88008 with flag 1025001/1025673
458.85/453.10	c cleaning 45000 clauses out of 90007 with flag 1071001/1071673
480.63/474.67	c cleaning 46001 clauses out of 92007 with flag 1118001/1118673
502.64/496.58	c cleaning 47001 clauses out of 94005 with flag 1166000/1166672
527.64/520.75	c cleaning 47999 clauses out of 96004 with flag 1215000/1215672
554.97/548.02	c cleaning 48998 clauses out of 98005 with flag 1265000/1265672
581.39/574.13	c cleaning 50002 clauses out of 100007 with flag 1316000/1316672
607.29/599.63	c cleaning 50999 clauses out of 102006 with flag 1368001/1368673
634.28/626.55	c cleaning 52000 clauses out of 104006 with flag 1421000/1421672
660.75/652.82	c cleaning 53001 clauses out of 106006 with flag 1475000/1475672
690.25/682.23	c cleaning 54003 clauses out of 108006 with flag 1530001/1530673
726.40/718.25	c cleaning 54995 clauses out of 110002 with flag 1586000/1586672
763.39/754.83	c cleaning 56003 clauses out of 112007 with flag 1643000/1643672
797.51/788.69	c cleaning 56999 clauses out of 114004 with flag 1701000/1701672
829.61/820.42	c cleaning 58000 clauses out of 116008 with flag 1760003/1760675
868.29/858.83	c cleaning 59003 clauses out of 118007 with flag 1820002/1820674
904.95/895.18	c cleaning 59996 clauses out of 120002 with flag 1881000/1881672
942.09/932.08	c cleaning 61002 clauses out of 122006 with flag 1943000/1943672
982.73/972.33	c cleaning 61998 clauses out of 124004 with flag 2006000/2006672
1018.06/1007.67	c cleaning 62999 clauses out of 126006 with flag 2070000/2070672
1052.64/1042.10	c cleaning 63999 clauses out of 128007 with flag 2135000/2135672
1089.18/1078.57	c cleaning 65000 clauses out of 130009 with flag 2201001/2201673
1125.72/1114.98	c cleaning 66002 clauses out of 132009 with flag 2268001/2268673
1161.89/1151.07	c cleaning 66999 clauses out of 134006 with flag 2336000/2336672
1200.36/1189.48	c cleaning 68002 clauses out of 136009 with flag 2405002/2405674
1239.45/1228.30	c cleaning 68999 clauses out of 138006 with flag 2475001/2475673
1282.07/1270.82	c cleaning 69998 clauses out of 140007 with flag 2546001/2546673
1330.23/1318.79	c cleaning 71001 clauses out of 142008 with flag 2618000/2618672
1374.76/1363.00	c cleaning 71998 clauses out of 144007 with flag 2691000/2691672
1416.89/1405.02	c cleaning 72998 clauses out of 146010 with flag 2765001/2765673
1460.27/1448.06	c cleaning 74003 clauses out of 148013 with flag 2840002/2840674
1505.46/1492.98	c cleaning 74999 clauses out of 150009 with flag 2916001/2916673
1549.35/1536.63	c cleaning 76001 clauses out of 152011 with flag 2993002/2993674
1592.07/1579.11	c cleaning 77000 clauses out of 154008 with flag 3071000/3071672
1636.66/1622.73	c cleaning 77999 clauses out of 156008 with flag 3150000/3150672
1691.73/1676.35	c cleaning 79000 clauses out of 158010 with flag 3230001/3230673
1751.61/1735.18	c cleaning 80001 clauses out of 160010 with flag 3311001/3311673
1800.02/1782.61	c starts		: 252
1800.02/1782.61	c conflicts		: 3384792
1800.02/1782.61	c decisions		: 4499139
1800.02/1782.61	c propagations		: 272661511
1800.02/1782.61	c inspects		: 5704962586
1800.02/1782.61	c shortcuts		: 0
1800.02/1782.61	c learnt literals	: 0
1800.02/1782.61	c learnt binary clauses	: 0
1800.02/1782.61	c learnt ternary clauses	: 0
1800.02/1782.61	c learnt constraints	: 3384792
1800.02/1782.61	c ignored constraints	: 0
1800.02/1782.61	c root simplifications	: 0
1800.02/1782.61	c removed literals (reason simplification)	: 0
1800.02/1782.61	c reason swapping (by a shorter reason)	: 0
1800.02/1782.61	c Calls to reduceDB	: 77
1800.02/1782.61	c number of reductions to clauses (during analyze)	: 0
1800.02/1782.61	c number of learned constraints concerned by reduction	: 0
1800.02/1782.61	c number of learning phase by resolution	: 0
1800.02/1782.61	c number of learning phase by cutting planes	: 0
1800.02/1782.61	c speed (assignments/second)	: 152989.3055089534
1800.02/1782.61	c non guided choices	5348
1800.02/1782.63	c learnt constraints type 
1800.02/1782.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 153152
1800.02/1782.63	c constraints type 
1800.02/1782.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 276
1800.02/1782.64	c ignored satisfied constraints => 56
1800.02/1782.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2921
1800.02/1782.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 29
1800.02/1782.64	c 3282 constraints processed.
1800.02/1782.64	s SATISFIABLE
1800.02/1782.65	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 
1800.02/1782.65	c objective function=-128625
1800.02/1782.65	c Total wall clock time (in seconds): 1782.529

Verifier Data

OK	-128625

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-3687973-1337879062/watcher-3687973-1337879062 -o /tmp/evaluation-result-3687973-1337879062/solver-3687973-1337879062 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687973-1337879062.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: 1.92 1.98 1.99 2/193 22347
/proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22347/stat : 22347 (java) D 22345 22347 21479 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254032938 9515008 183 33554432000 1073741824 1073778376 140733847192896 140733847183928 271787572917 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2323 183 140 9 0 71 0

[startup+0.016711 s]
/proc/loadavg: 1.92 1.98 1.99 2/193 22347
/proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 1371 0 0 0 0 0 0 0 20 0 2 0 254032938 103964672 1053 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 25382 1053 806 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100229 s]
/proc/loadavg: 1.92 1.98 1.99 2/193 22347
/proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 4155 0 1 0 8 1 0 0 20 0 18 0 254032938 9787813888 5351 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2389603 5351 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300173 s]
/proc/loadavg: 1.92 1.98 1.99 2/193 22347
/proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 5981 0 1 0 46 2 0 0 20 0 18 0 254032938 9787813888 9699 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2389603 9699 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700173 s]
/proc/loadavg: 1.92 1.98 1.99 2/193 22347
/proc/meminfo: memFree=28515772/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9624976 CPUtime=1.34 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 8213 0 1 0 131 3 0 0 20 0 19 0 254032938 9855975424 15176 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2406244 15176 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9624976

[startup+1.50076 s]
/proc/loadavg: 1.92 1.98 1.99 3/212 22366
/proc/meminfo: memFree=28457128/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9624976 CPUtime=2.28 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 8871 0 1 0 225 3 0 0 20 0 19 0 254032938 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2406244 19791 2258 9 0 2396937 0
[pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=1.47 cores=0,2,4,6
/proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 2480 0 1 0 145 2 0 0 20 0 19 0 254032939 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139914143140304 139914012864982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3007 0 0 0 41 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 2182 0 0 0 36 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 19791 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9624976

[startup+3.10075 s]
/proc/loadavg: 1.92 1.98 1.99 3/212 22366
/proc/meminfo: memFree=28436284/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9624976 CPUtime=3.92 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 8966 0 1 0 388 4 0 0 20 0 19 0 254032938 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2406244 27002 2283 9 0 2396937 0
[pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=3.04 cores=0,2,4,6
/proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 2490 0 1 0 302 2 0 0 20 0 19 0 254032939 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139914143142264 139914012957046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3011 0 0 0 43 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 2209 0 0 0 37 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 27002 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 9624976

[startup+6.30075 s]
/proc/loadavg: 1.93 1.98 1.99 3/212 22366
/proc/meminfo: memFree=28348968/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9624976 CPUtime=7.26 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 9453 0 1 0 715 11 0 0 20 0 19 0 254032938 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2406244 45225 2283 9 0 2396937 0
[pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=6.19 cores=0,2,4,6
/proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 2498 0 1 0 616 3 0 0 20 0 19 0 254032939 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139914143142408 139914012864813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 141 0 0 0 0 2 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 91 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 100 0 0 0 0 1 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 140 0 0 0 0 2 0 0 20 0 19 0 254032940 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 254032942 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3011 0 0 0 44 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 2209 0 0 0 39 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 45225 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=2.55 cores=0,2,4,6
/proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 991 0 0 0 225 30 0 0 20 0 19 0 254032940 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=2.24 cores=0,2,4,6
/proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 797 0 0 0 193 31 0 0 20 0 19 0 254032940 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=2.52 cores=0,2,4,6
/proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 1148 0 0 0 215 37 0 0 20 0 19 0 254032940 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=5.89 cores=0,2,4,6
/proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4207 0 0 0 584 5 0 0 20 0 19 0 254032942 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3014 0 0 0 45 0 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 5231 0 0 0 59 0 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 95 0 0 0 32 33 0 0 20 0 19 0 254032945 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 800579 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1677.72
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/214 22442
/proc/meminfo: memFree=24979248/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9624976 CPUtime=1738.35 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 26367 0 1 0 173517 318 0 0 20 0 19 0 254032938 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2406244 806304 2284 9 0 2396937 0
[pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=1710.62 cores=0,2,4,6
/proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 3601 0 1 0 171021 41 0 0 20 0 19 0 254032939 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139914143141216 139914012957039 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=2.55 cores=0,2,4,6
/proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 1240 0 0 0 217 38 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=2.63 cores=0,2,4,6
/proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 1450 0 0 0 223 40 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=2.43 cores=0,2,4,6
/proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 901 0 0 0 213 30 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=2.62 cores=0,2,4,6
/proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 1372 0 0 0 230 32 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=2.45 cores=0,2,4,6
/proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1017 0 0 0 209 36 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=2.65 cores=0,2,4,6
/proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 1002 0 0 0 234 31 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=2.36 cores=0,2,4,6
/proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 843 0 0 0 205 31 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=2.59 cores=0,2,4,6
/proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 1148 0 0 0 222 37 0 0 20 0 19 0 254032940 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=6.15 cores=0,2,4,6
/proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4261 0 0 0 610 5 0 0 20 0 19 0 254032942 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3014 0 0 0 45 0 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 5231 0 0 0 59 0 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 99 0 0 0 33 34 0 0 20 0 19 0 254032945 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 806304 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1738.35
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.27 2.16 2.06 3/213 22442
/proc/meminfo: memFree=24664040/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9624976 CPUtime=1799.71 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 27153 0 1 0 179624 347 0 0 20 0 19 0 254032938 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2406244 875143 2284 9 0 2396937 0
[pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=1770.08 cores=0,2,4,6
/proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 3605 0 1 0 176966 42 0 0 20 0 19 0 254032939 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914143141216 139914013022310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=2.76 cores=0,2,4,6
/proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 1304 0 0 0 235 41 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=2.85 cores=0,2,4,6
/proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 1518 0 0 0 242 43 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=2.62 cores=0,2,4,6
/proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 977 0 0 0 229 33 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=2.79 cores=0,2,4,6
/proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 1409 0 0 0 245 34 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=2.65 cores=0,2,4,6
/proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1135 0 0 0 227 38 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 1083 0 0 0 264 37 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=2.57 cores=0,2,4,6
/proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 938 0 0 0 223 34 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=2.85 cores=0,2,4,6
/proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 1244 0 0 0 243 42 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=6.23 cores=0,2,4,6
/proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4404 0 0 0 618 5 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3014 0 0 0 45 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 5231 0 0 0 59 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 103 0 0 0 34 35 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.71
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.6 s]
/proc/loadavg: 2.27 2.16 2.06 3/213 22442
/proc/meminfo: memFree=24664040/32873648 swapFree=6844/6844
[pid=22347] ppid=22345 vsize=9624976 CPUtime=1800.02 cores=0,2,4,6
/proc/22347/stat : 22347 (java) S 22345 22347 21479 0 -1 4202496 27153 0 1 0 179655 347 0 0 20 0 19 0 254032938 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 140734152812864 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22347/statm: 2406244 875143 2284 9 0 2396937 0
[pid=22347/tid=22349] ppid=22345 vsize=9624976 CPUtime=1770.38 cores=0,2,4,6
/proc/22347/task/22349/stat : 22349 (java) R 22345 22347 21479 0 -1 4202560 3605 0 1 0 176996 42 0 0 20 0 19 0 254032939 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914143141216 139914012886138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22350] ppid=22345 vsize=9624976 CPUtime=2.76 cores=0,2,4,6
/proc/22347/task/22350/stat : 22350 (java) S 22345 22347 21479 0 -1 4202560 1304 0 0 0 235 41 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914132204200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22351] ppid=22345 vsize=9624976 CPUtime=2.85 cores=0,2,4,6
/proc/22347/task/22351/stat : 22351 (java) S 22345 22347 21479 0 -1 4202560 1518 0 0 0 242 43 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139914131151656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22352] ppid=22345 vsize=9624976 CPUtime=2.62 cores=0,2,4,6
/proc/22347/task/22352/stat : 22352 (java) S 22345 22347 21479 0 -1 4202560 977 0 0 0 229 33 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913984687016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22353] ppid=22345 vsize=9624976 CPUtime=2.79 cores=0,2,4,6
/proc/22347/task/22353/stat : 22353 (java) S 22345 22347 21479 0 -1 4202560 1409 0 0 0 245 34 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913983634472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22354] ppid=22345 vsize=9624976 CPUtime=2.65 cores=0,2,4,6
/proc/22347/task/22354/stat : 22354 (java) S 22345 22347 21479 0 -1 4202560 1135 0 0 0 227 38 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913982580904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22355] ppid=22345 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/22347/task/22355/stat : 22355 (java) S 22345 22347 21479 0 -1 4202560 1083 0 0 0 264 37 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913981528360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22356] ppid=22345 vsize=9624976 CPUtime=2.57 cores=0,2,4,6
/proc/22347/task/22356/stat : 22356 (java) S 22345 22347 21479 0 -1 4202560 938 0 0 0 223 34 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913980475816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22347/tid=22357] ppid=22345 vsize=9624976 CPUtime=2.85 cores=0,2,4,6
/proc/22347/task/22357/stat : 22357 (java) S 22345 22347 21479 0 -1 4202560 1244 0 0 0 243 42 0 0 20 0 19 0 254032940 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913979423272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22347/tid=22358] ppid=22345 vsize=9624976 CPUtime=6.23 cores=0,2,4,6
/proc/22347/task/22358/stat : 22358 (java) S 22345 22347 21479 0 -1 4202560 4404 0 0 0 618 5 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913967225448 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22359] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22359/stat : 22359 (java) S 22345 22347 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913966171768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22360] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22360/stat : 22360 (java) S 22345 22347 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254032942 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913965119112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22361] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22361/stat : 22361 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913964067856 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22362] ppid=22345 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22347/task/22362/stat : 22362 (java) S 22345 22347 21479 0 -1 4202560 3014 0 0 0 45 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913963014200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22363] ppid=22345 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/22347/task/22363/stat : 22363 (java) S 22345 22347 21479 0 -1 4202560 5231 0 0 0 59 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913961961656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22364] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22364/stat : 22364 (java) S 22345 22347 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913960909304 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22347/tid=22365] ppid=22345 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/22347/task/22365/stat : 22365 (java) S 22345 22347 21479 0 -1 4202560 103 0 0 0 34 35 0 0 20 0 19 0 254032945 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913959856968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22347/tid=22366] ppid=22345 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22347/task/22366/stat : 22366 (java) S 22345 22347 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254032977 9855975424 875143 33554432000 1073741824 1073778376 140734152821728 139913958802728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143
Real time (s): 1782.67
CPU time (s): 1800.83
CPU user time (s): 1796.84
CPU system time (s): 3.99239
CPU usage (%): 101.019
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.84
system time used= 3.99239
maximum resident set size= 3500692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27188
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40346
involuntary context switches= 28615

runsolver used 9.32858 second user time and 12.1352 second system time

The end

Launcher Data

Begin job on node115 at 2012-05-24 19:04:22
IDJOB=3687973
IDBENCH=2519
IDSOLVER=2269
FILE ID=node115/3687973-1337879062
RUNJOBID= node115-1337871882-21495
PBS_JOBID= 14620089
Free space on /tmp= 71648 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687973-1337879062/watcher-3687973-1337879062 -o /tmp/evaluation-result-3687973-1337879062/solver-3687973-1337879062 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687973-1337879062.opb

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

MD5SUM BENCH= eae2e8a732d92a062f083ccb58900b63
RANDOM SEED=1516854087

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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.92
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.462
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.91
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.462
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.462
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:        28515772 kB
Buffers:          198964 kB
Cached:          2821412 kB
SwapCached:            0 kB
Active:          1454344 kB
Inactive:        2140208 kB
Active(anon):     576888 kB
Inactive(anon):        0 kB
Active(file):     877456 kB
Inactive(file):  2140208 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               488 kB
Writeback:             0 kB
AnonPages:        581100 kB
Mapped:            22360 kB
Shmem:               200 kB
Slab:             624044 kB
SReclaimable:      68516 kB
SUnreclaim:       555528 kB
KernelStack:        1592 kB
PageTables:         5196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     786844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    548864 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= 71648 MiB
End job on node115 at 2012-05-24 19:34:06