Trace number 3718392

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.08 1765.98

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMb6d6940e1e32d980df9f418447a42cea
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1.18682
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints202
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 10037
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10036
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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.08/0.10	c version 2.3.2.v20120528
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3718392-1338253027.wbo
0.08/0.13	c reading problem ... 
0.50/0.31	c ... done. Wall clock time 0.184s.
0.50/0.31	c declared #vars     5100
0.50/0.31	c internal #vars     5302
0.50/0.31	c #constraints  202
0.50/0.31	c constraints type 
0.50/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102
0.50/0.31	c ignored satisfied constraints => 1
0.50/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
0.50/0.31	c 203 constraints processed.
0.50/0.31	c objective function length is 202 literals
1.09/0.54	c SATISFIABLE
1.09/0.54	c OPTIMIZING...
1.09/0.54	c Got one! Elapsed wall clock time (in seconds):0.416
1.09/0.54	o 113
1.33/0.61	c Got one! Elapsed wall clock time (in seconds):0.488
1.33/0.61	o 82
1.44/0.74	c Got one! Elapsed wall clock time (in seconds):0.616
1.44/0.74	o 34
1.70/0.93	c Got one! Elapsed wall clock time (in seconds):0.81
1.70/0.93	o 27
1.84/1.02	c Got one! Elapsed wall clock time (in seconds):0.896
1.84/1.02	o 8
1.94/1.15	c cleaning 3683 clauses out of 7376 with flag 5346/7376
2.16/1.34	c Got one! Elapsed wall clock time (in seconds):1.217
2.16/1.34	o 6
2.49/1.65	c cleaning 4474 clauses out of 8970 with flag 18170/12653
2.90/2.09	c cleaning 5226 clauses out of 10495 with flag 52585/18652
3.21/2.31	c Got one! Elapsed wall clock time (in seconds):2.182
3.21/2.31	o 4
3.41/2.53	c cleaning 5245 clauses out of 10544 with flag 16597/23927
4.06/3.13	c cleaning 5590 clauses out of 11298 with flag 58305/29926
4.37/3.44	c Got one! Elapsed wall clock time (in seconds):3.318
4.37/3.44	o 3
4.57/3.67	c cleaning 5647 clauses out of 11318 with flag 17849/35536
5.19/4.28	c cleaning 5785 clauses out of 11670 with flag 60024/41535
6.02/5.04	c cleaning 6399 clauses out of 12886 with flag 105896/48536
6.82/5.81	c cleaning 7147 clauses out of 14486 with flag 158281/56535
7.85/6.82	c cleaning 8072 clauses out of 16341 with flag 217158/65537
11.15/10.16	c cleaning 8953 clauses out of 18267 with flag 324954/75535
12.39/11.37	c cleaning 10113 clauses out of 20315 with flag 402372/86536
14.33/13.28	c cleaning 10996 clauses out of 22201 with flag 493232/98535
16.55/15.47	c cleaning 12023 clauses out of 24205 with flag 605276/111535
18.09/16.97	c cleaning 12985 clauses out of 26182 with flag 702823/125535
19.91/18.74	c cleaning 14059 clauses out of 28197 with flag 804387/140535
22.32/21.17	c cleaning 15055 clauses out of 30138 with flag 919887/156535
25.66/24.48	c cleaning 16005 clauses out of 32083 with flag 1045410/173535
27.69/26.43	c cleaning 16985 clauses out of 34078 with flag 1156637/191535
30.91/29.68	c cleaning 18021 clauses out of 36093 with flag 1281927/210535
34.57/33.20	c cleaning 19022 clauses out of 38072 with flag 1415041/230535
38.60/37.27	c cleaning 20011 clauses out of 40052 with flag 1564805/251537
41.33/39.97	c cleaning 20977 clauses out of 42039 with flag 1719552/273535
44.75/43.31	c cleaning 21997 clauses out of 44063 with flag 1886701/296536
50.17/48.79	c cleaning 23024 clauses out of 46065 with flag 2041269/320535
54.53/53.05	c cleaning 23996 clauses out of 48042 with flag 2224457/345536
64.57/62.88	c cleaning 24978 clauses out of 50046 with flag 2443016/371536
73.19/71.49	c cleaning 26028 clauses out of 52067 with flag 2667903/398535
80.39/78.51	c cleaning 26832 clauses out of 54041 with flag 2885627/426537
95.01/92.94	c cleaning 28077 clauses out of 56207 with flag 3165939/455535
113.49/111.20	c cleaning 29045 clauses out of 58130 with flag 3415675/485535
140.19/137.31	c cleaning 30041 clauses out of 60085 with flag 3742618/516535
161.85/158.33	c cleaning 31013 clauses out of 62044 with flag 4064383/548535
187.17/183.21	c cleaning 32010 clauses out of 64031 with flag 4322289/581535
207.26/202.75	c cleaning 32994 clauses out of 66023 with flag 4623698/615537
228.44/223.47	c cleaning 33983 clauses out of 68030 with flag 4937064/650538
257.75/252.24	c cleaning 35016 clauses out of 70044 with flag 5293208/686535
286.29/279.96	c cleaning 35988 clauses out of 72028 with flag 5654027/723535
320.72/313.71	c cleaning 36993 clauses out of 74041 with flag 5938105/761536
353.84/346.06	c cleaning 38004 clauses out of 76048 with flag 6222352/800536
388.02/379.54	c cleaning 39000 clauses out of 78043 with flag 6570800/840535
416.00/406.45	c cleaning 40016 clauses out of 80043 with flag 6948373/881535
443.11/432.94	c cleaning 41010 clauses out of 82028 with flag 7336918/923536
476.83/466.06	c cleaning 42004 clauses out of 84017 with flag 7764081/966535
510.08/498.47	c cleaning 42989 clauses out of 86014 with flag 8156596/1010536
543.66/531.38	c cleaning 43995 clauses out of 88024 with flag 8564666/1055535
579.85/566.86	c cleaning 44989 clauses out of 90030 with flag 9032655/1101536
615.48/601.63	c cleaning 46011 clauses out of 92040 with flag 9408664/1148535
651.77/636.96	c cleaning 47010 clauses out of 94031 with flag 9863897/1196537
691.72/676.24	c cleaning 48001 clauses out of 96021 with flag 10380209/1245537
727.57/711.42	c cleaning 48993 clauses out of 98018 with flag 10883217/1295535
764.46/747.64	c cleaning 49989 clauses out of 100026 with flag 11410345/1346536
801.84/784.37	c cleaning 51013 clauses out of 102039 with flag 11928304/1398538
845.20/827.03	c cleaning 52006 clauses out of 104027 with flag 12535718/1451539
888.33/869.25	c cleaning 52978 clauses out of 106018 with flag 13019687/1505536
936.52/916.88	c cleaning 54012 clauses out of 108041 with flag 13557852/1560537
991.75/971.18	c cleaning 55007 clauses out of 110029 with flag 14031728/1616537
1048.32/1026.31	c cleaning 56002 clauses out of 112020 with flag 14570682/1673535
1098.23/1075.55	c cleaning 57001 clauses out of 114018 with flag 15082372/1731535
1150.46/1126.97	c cleaning 58000 clauses out of 116017 with flag 15711132/1790535
1204.23/1179.78	c cleaning 58993 clauses out of 118019 with flag 16386246/1850537
1264.55/1239.03	c cleaning 60002 clauses out of 120026 with flag 17039167/1911537
1324.39/1297.80	c cleaning 61004 clauses out of 122022 with flag 17646987/1973535
1372.02/1344.64	c cleaning 61937 clauses out of 124018 with flag 18312015/2036535
1423.61/1395.34	c cleaning 63011 clauses out of 126081 with flag 18970261/2100535
1483.94/1454.71	c cleaning 63978 clauses out of 128071 with flag 19554576/2165536
1535.00/1504.77	c cleaning 65013 clauses out of 130092 with flag 20153586/2231535
1591.79/1560.70	c cleaning 66002 clauses out of 132079 with flag 20793722/2298535
1648.37/1616.26	c cleaning 67028 clauses out of 134078 with flag 21401438/2366536
1703.30/1670.53	c cleaning 68018 clauses out of 136050 with flag 21960695/2435536
1766.98/1733.34	c cleaning 69013 clauses out of 138032 with flag 22572733/2505536
1800.08/1765.91	c starts		: 238
1800.08/1765.91	c conflicts		: 2551338
1800.08/1765.91	c decisions		: 4794946
1800.08/1765.91	c propagations		: 50467743
1800.08/1765.91	c inspects		: 6606697733
1800.08/1765.91	c shortcuts		: 0
1800.08/1765.91	c learnt literals	: 0
1800.08/1765.91	c learnt binary clauses	: 0
1800.08/1765.91	c learnt ternary clauses	: 0
1800.08/1765.91	c learnt constraints	: 2551338
1800.08/1765.91	c ignored constraints	: 0
1800.08/1765.91	c root simplifications	: 0
1800.08/1765.91	c removed literals (reason simplification)	: 0
1800.08/1765.91	c reason swapping (by a shorter reason)	: 0
1800.08/1765.91	c Calls to reduceDB	: 71
1800.08/1765.91	c Number of update (reduction) of LBD	: 1737035
1800.08/1765.91	c number of reductions to clauses (during analyze)	: 0
1800.08/1765.91	c number of learned constraints concerned by reduction	: 0
1800.08/1765.91	c number of learning phase by resolution	: 0
1800.08/1765.91	c number of learning phase by cutting planes	: 0
1800.08/1765.91	c speed (assignments/second)	: 28584.13637172021
1800.08/1765.91	c non guided choices	218177
1800.08/1765.94	c learnt constraints type 
1800.08/1765.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 114858
1800.08/1765.94	c constraints type 
1800.08/1765.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102
1800.08/1765.94	c ignored satisfied constraints => 1
1800.08/1765.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 101
1800.08/1765.94	c 204 constraints processed.
1800.08/1765.94	s SATISFIABLE
1800.08/1765.95	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 
1800.08/1765.95	c objective function=3
1800.08/1765.95	c Total wall clock time (in seconds): 1765.829

Verifier Data 

OK	3

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

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.99 2.03 2.01 3/194 18500
/proc/meminfo: memFree=30417312/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/18500/stat : 18500 (java) D 18498 18500 13427 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291431232 9515008 183 33554432000 1073741824 1073778376 140734483150272 140734483141304 270118239925 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2323 183 140 9 0 71 0

[startup+0.023349 s]
/proc/loadavg: 1.99 2.03 2.01 3/194 18500
/proc/meminfo: memFree=30417312/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=8949240 CPUtime=0 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 2021 0 1 0 0 0 0 0 20 0 10 0 291431232 9164021760 2212 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2237310 2212 951 9 0 2228419 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8949240

[startup+0.100251 s]
/proc/loadavg: 1.99 2.03 2.01 3/194 18500
/proc/meminfo: memFree=30417312/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 4008 0 1 0 7 1 0 0 20 0 18 0 291431232 9787817984 5209 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2389604 5228 2037 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300218 s]
/proc/loadavg: 1.99 2.03 2.01 3/194 18500
/proc/meminfo: memFree=30417312/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9558416 CPUtime=0.5 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 7235 0 1 0 48 2 0 0 20 0 18 0 291431232 9787817984 9274 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2389604 9274 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558416

[startup+0.700224 s]
/proc/loadavg: 1.99 2.03 2.01 3/194 18500
/proc/meminfo: memFree=30417312/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9624980 CPUtime=1.44 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 10968 0 1 0 141 3 0 0 20 0 19 0 291431232 9855979520 12345 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2406245 12345 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9624980

[startup+1.50069 s]
/proc/loadavg: 2.15 2.06 2.02 3/213 18519
/proc/meminfo: memFree=30370060/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9624980 CPUtime=2.39 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 11041 0 1 0 235 4 0 0 20 0 19 0 291431232 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2406245 19049 2276 9 0 2396937 0
[pid=18500/tid=18502] ppid=18498 vsize=9624980 CPUtime=1.45 cores=0,2,4,6
/proc/18500/task/18502/stat : 18502 (java) R 18498 18500 13427 0 -1 4202560 2479 0 1 0 142 3 0 0 20 0 19 0 291431233 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457429095048 140457259106776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18503] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18503/stat : 18503 (java) S 18498 18500 13427 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457390586408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18504] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18504/stat : 18504 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457389533608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18505] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18505/stat : 18505 (java) S 18498 18500 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457388480808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18506] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18506/stat : 18506 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457387428008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18507] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18507/stat : 18507 (java) S 18498 18500 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457386376232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18508] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18508/stat : 18508 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457385323432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18509] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18509/stat : 18509 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457384270632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18510] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18510/stat : 18510 (java) S 18498 18500 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457383217832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18511] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18511/stat : 18511 (java) S 18498 18500 13427 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 291431235 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457253247464 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18512] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18512/stat : 18512 (java) S 18498 18500 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457252193528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18513] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18513/stat : 18513 (java) S 18498 18500 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457251140616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18514] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18514/stat : 18514 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457250089104 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18515] ppid=18498 vsize=9624980 CPUtime=0.39 cores=0,2,4,6
/proc/18500/task/18515/stat : 18515 (java) S 18498 18500 13427 0 -1 4202560 2375 0 0 0 37 2 0 0 20 0 19 0 291431238 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457249037240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18516] ppid=18498 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/18500/task/18516/stat : 18516 (java) S 18498 18500 13427 0 -1 4202560 4940 0 0 0 50 0 0 0 20 0 19 0 291431238 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457247984440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18517] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18517/stat : 18517 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457246931832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18518] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18518/stat : 18518 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431239 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457245879240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18519] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18519/stat : 18519 (java) S 18498 18500 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291431264 9855979520 19049 33554432000 1073741824 1073778376 140737274064704 140457244824744 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9624980

[startup+3.10064 s]
/proc/loadavg: 2.15 2.06 2.02 3/213 18519
/proc/meminfo: memFree=30338968/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9624980 CPUtime=4.06 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 11509 0 1 0 402 4 0 0 20 0 19 0 291431232 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2406245 22127 2276 9 0 2396937 0
[pid=18500/tid=18502] ppid=18498 vsize=9624980 CPUtime=2.99 cores=0,2,4,6
/proc/18500/task/18502/stat : 18502 (java) R 18498 18500 13427 0 -1 4202560 2480 0 1 0 296 3 0 0 20 0 19 0 291431233 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457429094688 140457259294978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18503] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18503/stat : 18503 (java) S 18498 18500 13427 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457390586408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18504] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18504/stat : 18504 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457389533608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18505] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18505/stat : 18505 (java) S 18498 18500 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457388480808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18506] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18506/stat : 18506 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457387428008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18507] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18507/stat : 18507 (java) S 18498 18500 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457386376232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18508] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18508/stat : 18508 (java) S 18498 18500 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457385323432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18509] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18509/stat : 18509 (java) S 18498 18500 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457384270632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18510] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18510/stat : 18510 (java) S 18498 18500 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457383217832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18511] ppid=18498 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/18500/task/18511/stat : 18511 (java) S 18498 18500 13427 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 291431235 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457253247464 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18512] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18512/stat : 18512 (java) S 18498 18500 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457252193528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18513] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18513/stat : 18513 (java) S 18498 18500 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457251140616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18514] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18514/stat : 18514 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457250089104 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18515] ppid=18498 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/18500/task/18515/stat : 18515 (java) S 18498 18500 13427 0 -1 4202560 2827 0 0 0 42 2 0 0 20 0 19 0 291431238 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457249037240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18516] ppid=18498 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/18500/task/18516/stat : 18516 (java) S 18498 18500 13427 0 -1 4202560 4940 0 0 0 51 0 0 0 20 0 19 0 291431238 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457247984440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18517] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18517/stat : 18517 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457246931832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18518] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18518/stat : 18518 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431239 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457245879240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18519] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18519/stat : 18519 (java) S 18498 18500 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291431264 9855979520 22127 33554432000 1073741824 1073778376 140737274064704 140457244824744 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9624980

[startup+6.30065 s]
/proc/loadavg: 2.15 2.06 2.02 3/213 18519
/proc/meminfo: memFree=30332388/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9624980 CPUtime=7.35 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 11544 0 1 0 730 5 0 0 20 0 19 0 291431232 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2406245 23164 2276 9 0 2396937 0
[pid=18500/tid=18502] ppid=18498 vsize=9624980 CPUtime=6.06 cores=0,2,4,6
/proc/18500/task/18502/stat : 18502 (java) R 18498 18500 13427 0 -1 4202560 2486 0 1 0 603 3 0 0 20 0 19 0 291431233 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457429094808 140457259167553 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18503] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18503/stat : 18503 (java) S 18498 18500 13427 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457390586408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18504] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18504/stat : 18504 (java) S 18498 18500 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457389533608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18505] ppid=18498 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/18500/task/18505/stat : 18505 (java) S 18498 18500 13427 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 291431234 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457388480808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18506] ppid=18498 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/18500/task/18506/stat : 18506 (java) S 18498 18500 13427 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291431234 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457387428008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18507] ppid=18498 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/18500/task/18507/stat : 18507 (java) S 18498 18500 13427 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291431234 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457386376232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18508] ppid=18498 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/18500/task/18508/stat : 18508 (java) S 18498 18500 13427 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291431234 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457385323432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18509] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18509/stat : 18509 (java) S 18498 18500 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457384270632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18510] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18510/stat : 18510 (java) S 18498 18500 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291431234 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457383217832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18511] ppid=18498 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/18500/task/18511/stat : 18511 (java) S 18498 18500 13427 0 -1 4202560 35 0 0 0 13 0 0 0 20 0 19 0 291431235 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457253247464 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18512] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18512/stat : 18512 (java) S 18498 18500 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457252193528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18513] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18513/stat : 18513 (java) S 18498 18500 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457251140616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18514] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18514/stat : 18514 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457250089104 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18515] ppid=18498 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/18500/task/18515/stat : 18515 (java) S 18498 18500 13427 0 -1 4202560 2827 0 0 0 42 2 0 0 20 0 19 0 291431238 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457249037240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18516] ppid=18498 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/18500/task/18516/stat : 18516 (java) S 18498 18500 13427 0 -1 4202560 4940 0 0 0 51 0 0 0 20 0 19 0 291431238 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457247984440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18517] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18517/stat : 18517 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457246931832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18518] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18518/stat : 18518 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431239 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457245879240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18519] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18519/stat : 18519 (java) S 18498 18500 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291431264 9855979520 23164 33554432000 1073741824 1073778376 140737274064704 140457244824744 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

[pid=18500/tid=18515] ppid=18498 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/18500/task/18515/stat : 18515 (java) S 18498 18500 13427 0 -1 4202560 2836 0 0 0 43 2 0 0 20 0 19 0 291431238 9855979520 329803 33554432000 1073741824 1073778376 140737274064704 140457249037240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18516] ppid=18498 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/18500/task/18516/stat : 18516 (java) S 18498 18500 13427 0 -1 4202560 4940 0 0 0 51 0 0 0 20 0 19 0 291431238 9855979520 329803 33554432000 1073741824 1073778376 140737274064704 140457247984440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18517] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18517/stat : 18517 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 329803 33554432000 1073741824 1073778376 140737274064704 140457246931832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18518] ppid=18498 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/18500/task/18518/stat : 18518 (java) S 18498 18500 13427 0 -1 4202560 92 0 0 0 43 22 0 0 20 0 19 0 291431239 9855979520 329803 33554432000 1073741824 1073778376 140737274064704 140457245879240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18519] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18519/stat : 18519 (java) S 18498 18500 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291431264 9855979520 329803 33554432000 1073741824 1073778376 140737274064704 140457244824744 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1695.1
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/214 18615
/proc/meminfo: memFree=29181260/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9624980 CPUtime=1755.86 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 39721 0 1 0 175287 299 0 0 20 0 19 0 291431232 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2406245 337083 2277 9 0 2396937 0
[pid=18500/tid=18502] ppid=18498 vsize=9624980 CPUtime=1700.92 cores=0,2,4,6
/proc/18500/task/18502/stat : 18502 (java) R 18498 18500 13427 0 -1 4202560 3020 0 1 0 170061 31 0 0 20 0 19 0 291431233 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457429093728 140457259205076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18503] ppid=18498 vsize=9624980 CPUtime=5.52 cores=0,2,4,6
/proc/18500/task/18503/stat : 18503 (java) S 18498 18500 13427 0 -1 4202560 2770 0 0 0 520 32 0 0 20 0 19 0 291431234 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457390586408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18504] ppid=18498 vsize=9624980 CPUtime=5.54 cores=0,2,4,6
/proc/18500/task/18504/stat : 18504 (java) S 18498 18500 13427 0 -1 4202560 2685 0 0 0 522 32 0 0 20 0 19 0 291431234 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457389533608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18505] ppid=18498 vsize=9624980 CPUtime=5.59 cores=0,2,4,6
/proc/18500/task/18505/stat : 18505 (java) S 18498 18500 13427 0 -1 4202560 2824 0 0 0 525 34 0 0 20 0 19 0 291431234 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457388480808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18506] ppid=18498 vsize=9624980 CPUtime=5.45 cores=0,2,4,6
/proc/18500/task/18506/stat : 18506 (java) S 18498 18500 13427 0 -1 4202560 2640 0 0 0 512 33 0 0 20 0 19 0 291431234 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457387428008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18507] ppid=18498 vsize=9624980 CPUtime=5.73 cores=0,2,4,6
/proc/18500/task/18507/stat : 18507 (java) S 18498 18500 13427 0 -1 4202560 3339 0 0 0 540 33 0 0 20 0 19 0 291431234 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457386376232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18508] ppid=18498 vsize=9624980 CPUtime=5.71 cores=0,2,4,6
/proc/18500/task/18508/stat : 18508 (java) S 18498 18500 13427 0 -1 4202560 3841 0 0 0 534 37 0 0 20 0 19 0 291431234 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457385323432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18509] ppid=18498 vsize=9624980 CPUtime=5.73 cores=0,2,4,6
/proc/18500/task/18509/stat : 18509 (java) S 18498 18500 13427 0 -1 4202560 3931 0 0 0 537 36 0 0 20 0 19 0 291431234 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457384270632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18510] ppid=18498 vsize=9624980 CPUtime=5.67 cores=0,2,4,6
/proc/18500/task/18510/stat : 18510 (java) S 18498 18500 13427 0 -1 4202560 2874 0 0 0 537 30 0 0 20 0 19 0 291431234 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457383217832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18511] ppid=18498 vsize=9624980 CPUtime=4.16 cores=0,2,4,6
/proc/18500/task/18511/stat : 18511 (java) S 18498 18500 13427 0 -1 4202560 2745 0 0 0 408 8 0 0 20 0 19 0 291431235 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457253247464 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18512] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18512/stat : 18512 (java) S 18498 18500 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457252193528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18513] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18513/stat : 18513 (java) S 18498 18500 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457251140616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18514] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18514/stat : 18514 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457250089104 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18515] ppid=18498 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/18500/task/18515/stat : 18515 (java) S 18498 18500 13427 0 -1 4202560 2836 0 0 0 43 2 0 0 20 0 19 0 291431238 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457249037240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18516] ppid=18498 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/18500/task/18516/stat : 18516 (java) S 18498 18500 13427 0 -1 4202560 4940 0 0 0 51 0 0 0 20 0 19 0 291431238 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457247984440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18517] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18517/stat : 18517 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457246931832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18518] ppid=18498 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/18500/task/18518/stat : 18518 (java) S 18498 18500 13427 0 -1 4202560 96 0 0 0 45 23 0 0 20 0 19 0 291431239 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457245879240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18519] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18519/stat : 18519 (java) S 18498 18500 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291431264 9855979520 337083 33554432000 1073741824 1073778376 140737274064704 140457244824744 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1755.86
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1765.9 s]
/proc/loadavg: 2.52 2.16 2.05 3/219 18797
/proc/meminfo: memFree=29115308/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9624980 CPUtime=1800.08 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 39736 0 1 0 179708 300 0 0 20 0 19 0 291431232 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2406245 336096 2277 9 0 2396937 0
[pid=18500/tid=18502] ppid=18498 vsize=9624980 CPUtime=1744.12 cores=0,2,4,6
/proc/18500/task/18502/stat : 18502 (java) R 18498 18500 13427 0 -1 4202560 3026 0 1 0 174380 32 0 0 20 0 19 0 291431233 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457429093728 140457259167582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18503] ppid=18498 vsize=9624980 CPUtime=5.62 cores=0,2,4,6
/proc/18500/task/18503/stat : 18503 (java) S 18498 18500 13427 0 -1 4202560 2770 0 0 0 530 32 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457390586408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18504] ppid=18498 vsize=9624980 CPUtime=5.6 cores=0,2,4,6
/proc/18500/task/18504/stat : 18504 (java) S 18498 18500 13427 0 -1 4202560 2685 0 0 0 528 32 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457389533608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18505] ppid=18498 vsize=9624980 CPUtime=5.7 cores=0,2,4,6
/proc/18500/task/18505/stat : 18505 (java) S 18498 18500 13427 0 -1 4202560 2824 0 0 0 536 34 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457388480808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18506] ppid=18498 vsize=9624980 CPUtime=5.59 cores=0,2,4,6
/proc/18500/task/18506/stat : 18506 (java) S 18498 18500 13427 0 -1 4202560 2640 0 0 0 526 33 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457387428008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18507] ppid=18498 vsize=9624980 CPUtime=5.85 cores=0,2,4,6
/proc/18500/task/18507/stat : 18507 (java) S 18498 18500 13427 0 -1 4202560 3339 0 0 0 552 33 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457386376232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18508] ppid=18498 vsize=9624980 CPUtime=5.82 cores=0,2,4,6
/proc/18500/task/18508/stat : 18508 (java) S 18498 18500 13427 0 -1 4202560 3841 0 0 0 545 37 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457385323432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18509] ppid=18498 vsize=9624980 CPUtime=5.81 cores=0,2,4,6
/proc/18500/task/18509/stat : 18509 (java) S 18498 18500 13427 0 -1 4202560 3931 0 0 0 545 36 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457384270632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18510] ppid=18498 vsize=9624980 CPUtime=5.76 cores=0,2,4,6
/proc/18500/task/18510/stat : 18510 (java) S 18498 18500 13427 0 -1 4202560 2874 0 0 0 546 30 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457383217832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18511] ppid=18498 vsize=9624980 CPUtime=4.23 cores=0,2,4,6
/proc/18500/task/18511/stat : 18511 (java) S 18498 18500 13427 0 -1 4202560 2752 0 0 0 415 8 0 0 20 0 19 0 291431235 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457253247464 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18512] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18512/stat : 18512 (java) S 18498 18500 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457252193528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18513] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18513/stat : 18513 (java) S 18498 18500 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457251140616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18514] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18514/stat : 18514 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457250089104 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18515] ppid=18498 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/18500/task/18515/stat : 18515 (java) S 18498 18500 13427 0 -1 4202560 2836 0 0 0 43 2 0 0 20 0 19 0 291431238 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457249037240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18516] ppid=18498 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/18500/task/18516/stat : 18516 (java) S 18498 18500 13427 0 -1 4202560 4940 0 0 0 51 0 0 0 20 0 19 0 291431238 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457247984440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18517] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18517/stat : 18517 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457246931832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18518] ppid=18498 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/18500/task/18518/stat : 18518 (java) S 18498 18500 13427 0 -1 4202560 98 0 0 0 46 24 0 0 20 0 19 0 291431239 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457245879240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18519] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18519/stat : 18519 (java) S 18498 18500 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291431264 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457244824744 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980

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

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

[startup+1765.9 s]
/proc/loadavg: 2.52 2.16 2.05 3/219 18797
/proc/meminfo: memFree=29115308/32873844 swapFree=6872/6872
[pid=18500] ppid=18498 vsize=9624980 CPUtime=1800.08 cores=0,2,4,6
/proc/18500/stat : 18500 (java) S 18498 18500 13427 0 -1 4202496 39736 0 1 0 179708 300 0 0 20 0 19 0 291431232 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140737274055840 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18500/statm: 2406245 336096 2277 9 0 2396937 0
[pid=18500/tid=18502] ppid=18498 vsize=9624980 CPUtime=1744.12 cores=0,2,4,6
/proc/18500/task/18502/stat : 18502 (java) R 18498 18500 13427 0 -1 4202560 3026 0 1 0 174380 32 0 0 20 0 19 0 291431233 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457429093728 140457259167582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18503] ppid=18498 vsize=9624980 CPUtime=5.62 cores=0,2,4,6
/proc/18500/task/18503/stat : 18503 (java) S 18498 18500 13427 0 -1 4202560 2770 0 0 0 530 32 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457390586408 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18504] ppid=18498 vsize=9624980 CPUtime=5.6 cores=0,2,4,6
/proc/18500/task/18504/stat : 18504 (java) S 18498 18500 13427 0 -1 4202560 2685 0 0 0 528 32 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457389533608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18505] ppid=18498 vsize=9624980 CPUtime=5.7 cores=0,2,4,6
/proc/18500/task/18505/stat : 18505 (java) S 18498 18500 13427 0 -1 4202560 2824 0 0 0 536 34 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457388480808 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18500/tid=18506] ppid=18498 vsize=9624980 CPUtime=5.59 cores=0,2,4,6
/proc/18500/task/18506/stat : 18506 (java) S 18498 18500 13427 0 -1 4202560 2640 0 0 0 526 33 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457387428008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18507] ppid=18498 vsize=9624980 CPUtime=5.85 cores=0,2,4,6
/proc/18500/task/18507/stat : 18507 (java) S 18498 18500 13427 0 -1 4202560 3339 0 0 0 552 33 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457386376232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18508] ppid=18498 vsize=9624980 CPUtime=5.82 cores=0,2,4,6
/proc/18500/task/18508/stat : 18508 (java) S 18498 18500 13427 0 -1 4202560 3841 0 0 0 545 37 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457385323432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18509] ppid=18498 vsize=9624980 CPUtime=5.81 cores=0,2,4,6
/proc/18500/task/18509/stat : 18509 (java) S 18498 18500 13427 0 -1 4202560 3931 0 0 0 545 36 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457384270632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18510] ppid=18498 vsize=9624980 CPUtime=5.76 cores=0,2,4,6
/proc/18500/task/18510/stat : 18510 (java) S 18498 18500 13427 0 -1 4202560 2874 0 0 0 546 30 0 0 20 0 19 0 291431234 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457383217832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18511] ppid=18498 vsize=9624980 CPUtime=4.23 cores=0,2,4,6
/proc/18500/task/18511/stat : 18511 (java) S 18498 18500 13427 0 -1 4202560 2752 0 0 0 415 8 0 0 20 0 19 0 291431235 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457253247464 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18512] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18512/stat : 18512 (java) S 18498 18500 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457252193528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18513] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18513/stat : 18513 (java) S 18498 18500 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291431236 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457251140616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18514] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18514/stat : 18514 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457250089104 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18515] ppid=18498 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/18500/task/18515/stat : 18515 (java) S 18498 18500 13427 0 -1 4202560 2836 0 0 0 43 2 0 0 20 0 19 0 291431238 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457249037240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18500/tid=18516] ppid=18498 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/18500/task/18516/stat : 18516 (java) S 18498 18500 13427 0 -1 4202560 4940 0 0 0 51 0 0 0 20 0 19 0 291431238 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457247984440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18517] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18517/stat : 18517 (java) S 18498 18500 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291431238 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457246931832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18500/tid=18518] ppid=18498 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/18500/task/18518/stat : 18518 (java) S 18498 18500 13427 0 -1 4202560 98 0 0 0 46 24 0 0 20 0 19 0 291431239 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457245879240 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18500/tid=18519] ppid=18498 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/18500/task/18519/stat : 18519 (java) S 18498 18500 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291431264 9855979520 336096 33554432000 1073741824 1073778376 140737274064704 140457244824744 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18500 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=668472
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=481470
# CPU time returned by wait4() is 1796.15
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1765.98
CPU time (s): 1800.08
CPU user time (s): 1797.08
CPU system time (s): 3
CPU usage (%): 101.931
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.67
system time used= 3.48147
maximum resident set size= 1388428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39773
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53153
involuntary context switches= 64597

runsolver used 6.06108 second user time and 14.9827 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-29 02:57:07
IDJOB=3718392
IDBENCH=79164
IDSOLVER=2301
FILE ID=node106/3718392-1338253027
RUNJOBID= node106-1338247868-15527
PBS_JOBID= 14624657
Free space on /tmp= 71320 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718392-1338253027/watcher-3718392-1338253027 -o /tmp/evaluation-result-3718392-1338253027/solver-3718392-1338253027 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718392-1338253027.wbo

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

MD5SUM BENCH= b6d6940e1e32d980df9f418447a42cea
RANDOM SEED=30848305

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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		: 2667.065
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		: 2667.065
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:       32873844 kB
MemFree:        30417576 kB
Buffers:           73864 kB
Cached:            69032 kB
SwapCached:         1836 kB
Active:          1619200 kB
Inactive:          41116 kB
Active(anon):    1516876 kB
Inactive(anon):     3012 kB
Active(file):     102324 kB
Inactive(file):    38104 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100488 kB
Dirty:               440 kB
Writeback:             0 kB
AnonPages:       1471384 kB
Mapped:            15900 kB
Shmem:                 0 kB
Slab:             651508 kB
SReclaimable:      93516 kB
SUnreclaim:       557992 kB
KernelStack:        1760 kB
PageTables:         6624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1953492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1423360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node106 at 2012-05-29 03:26:35