Trace number 3744404

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
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO) 1800.82 1782.45

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_2.opb
MD5SUM0c9f9f4d9069e955741fce23953a7e72
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3385647
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
Number of bits of the biggest sum of numbers36
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3744404-1338799469.opb
0.08/0.10	c reading problem ... 
0.79/0.49	c ... done. Wall clock time 0.39s.
0.79/0.49	c CPU time (experimental) 0.46s.
0.79/0.49	c #vars     5100
0.79/0.49	c #constraints  12508
186.59/180.39	c cleaning 380742 clauses out of 761501 for limit 99880.32533557974
195.37/189.03	c cleaning 193872 clauses out of 387759 for limit 2.1585939608711803E8
209.04/202.37	c cleaning 108186 clauses out of 216388 for limit 0.023144569050676817
213.94/207.15	c cleaning 58347 clauses out of 116706 for limit 212.65579087801123
216.91/210.00	c cleaning 31662 clauses out of 63354 for limit 57993.94719334092
218.33/211.41	c cleaning 16833 clauses out of 33693 for limit 807374.6083560293
219.57/212.67	c cleaning 9414 clauses out of 18859 for limit 1.0658231391583351E7
221.30/214.38	c cleaning 8461 clauses out of 16946 for limit 2.1548121712153088E10
222.55/215.55	c cleaning 5476 clauses out of 10984 for limit 4.050988600298336E11
223.88/216.87	c cleaning 4253 clauses out of 8507 for limit 1.0511045662239871E13
226.44/219.35	c cleaning 5371 clauses out of 10755 for limit 5.553579378738931E-5
227.86/220.71	c cleaning 4681 clauses out of 9384 for limit 0.003482110072472278
228.78/221.69	c cleaning 3336 clauses out of 6702 for limit 0.036025922240403345
228.98/221.89	c cleaning 1922 clauses out of 3869 for limit 0.10322389045966428
230.01/222.88	c cleaning 1957 clauses out of 3944 for limit 0.7467273521676763
231.35/224.19	c cleaning 2726 clauses out of 5487 for limit 17.80554267969388
231.56/224.35	c cleaning 1618 clauses out of 3265 for limit 49.545124422054265
232.79/225.56	c cleaning 2561 clauses out of 5144 for limit 1040.089765234913
233.91/226.66	c cleaning 2528 clauses out of 5083 for limit 12838.99731632949
235.15/227.85	c cleaning 2512 clauses out of 5055 for limit 157474.2297959781
236.49/229.11	c cleaning 2753 clauses out of 5542 for limit 2886455.999924602
237.91/230.58	c cleaning 3145 clauses out of 6291 for limit 8.452243702709503E7
240.67/233.26	c cleaning 5059 clauses out of 10146 for limit 5.7673891471300255E10
241.79/234.33	c cleaning 3529 clauses out of 7086 for limit 6.101856670974681E11
242.95/235.45	c cleaning 2761 clauses out of 5556 for limit 5.750292669452397E12
243.15/235.67	c cleaning 1632 clauses out of 3297 for limit 1.6012463388866092E13
244.28/236.79	c cleaning 2316 clauses out of 4663 for limit 2.2728877081620166E14
245.41/237.90	c cleaning 2424 clauses out of 4849 for limit 2.671404602676375E15
245.71/238.15	c cleaning 1445 clauses out of 2923 for limit 7.293733688062887E15
246.84/239.29	c cleaning 2227 clauses out of 4479 for limit 9.584456460799843E-4
247.96/240.36	c cleaning 2102 clauses out of 4251 for limit 0.007461849451990334
249.19/241.59	c cleaning 2564 clauses out of 5155 for limit 0.12452349761578162
250.53/242.85	c cleaning 2529 clauses out of 5086 for limit 1.531829752824463
252.15/244.45	c cleaning 4766 clauses out of 9559 for limit 898.7229591580456
253.47/245.74	c cleaning 3632 clauses out of 7292 for limit 14356.102861655952
256.04/248.21	c cleaning 4065 clauses out of 8158 for limit 1155402.9709491269
257.27/249.43	c cleaning 4036 clauses out of 8100 for limit 6.4109271304808676E7
257.58/249.72	c cleaning 2271 clauses out of 4566 for limit 1.8792945868144467E8
258.50/250.67	c cleaning 2143 clauses out of 4287 for limit 1.4686717466965272E9
258.80/250.93	c cleaning 1321 clauses out of 2643 for limit 3.9246635864325013E9
259.85/251.92	c cleaning 1664 clauses out of 3328 for limit 2.3192464478037308E10
259.85/251.96	c cleaning 1079 clauses out of 2159 for limit 5.866254542588462E10
259.85/251.99	c cleaning 789 clauses out of 1579 for limit 1.3214562553040384E11
260.04/252.16	c cleaning 645 clauses out of 1291 for limit 2.6680814144361557E11
261.26/253.30	c cleaning 1559 clauses out of 3146 for limit 1.3355065938730244E12
262.18/254.27	c cleaning 1794 clauses out of 3588 for limit 8.669825978244519E12
262.48/254.56	c cleaning 1128 clauses out of 2292 for limit 2.2337525685028805E13
263.61/255.67	c cleaning 1816 clauses out of 3665 for limit 1.7056489295480375E14
264.94/256.90	c cleaning 2661 clauses out of 5350 for limit 3.880034290980184E15
266.19/258.19	c cleaning 2577 clauses out of 5187 for limit 4.8717333476659637E-4
267.32/259.27	c cleaning 2285 clauses out of 4612 for limit 0.004060719867314627
267.42/259.32	c cleaning 1395 clauses out of 2829 for limit 0.010939167997262909
267.42/259.36	c cleaning 949 clauses out of 1935 for limit 0.02640138248471305
267.42/259.39	c cleaning 725 clauses out of 1485 for limit 0.05667643955863975
267.52/259.42	c cleaning 615 clauses out of 1258 for limit 0.11011214829868449
267.52/259.45	c cleaning 553 clauses out of 1142 for limit 0.19983481292797853
267.52/259.48	c cleaning 528 clauses out of 1089 for limit 0.3455932563938332
267.63/259.52	c cleaning 517 clauses out of 1066 for limit 0.5851461883665693
267.63/259.54	c cleaning 508 clauses out of 1044 for limit 0.9804025102294136
267.63/259.57	c cleaning 500 clauses out of 1037 for limit 1.629358143738252
267.63/259.60	c cleaning 497 clauses out of 1035 for limit 2.6868401267565956
267.73/259.63	c cleaning 503 clauses out of 1039 for limit 4.4183185749227345
269.05/260.90	c cleaning 1756 clauses out of 3536 for limit 26.11533732976797
270.21/262.05	c cleaning 2127 clauses out of 4281 for limit 263.3762533188208
271.44/263.23	c cleaning 2567 clauses out of 5157 for limit 4411.2692756816705
272.69/264.45	c cleaning 2523 clauses out of 5086 for limit 54340.76306706479
273.92/265.66	c cleaning 2515 clauses out of 5062 for limit 665311.2557140181
275.25/266.99	c cleaning 3011 clauses out of 6051 for limit 1.8537412536050107E7
276.69/268.31	c cleaning 2768 clauses out of 5537 for limit 2.463642253996135E8
277.93/269.51	c cleaning 2383 clauses out of 4769 for limit 2.1156722669433558E9
303.31/294.48	c SATISFIABLE
303.31/294.48	c OPTIMIZING...
303.31/294.48	c Got one! Elapsed wall clock time (in seconds):294.373
303.31/294.49	o 263313391
303.42/294.56	c Got one! Elapsed wall clock time (in seconds):294.455
303.42/294.57	o 4022627
303.60/294.62	c Got one! Elapsed wall clock time (in seconds):294.517
303.60/294.63	o 3413901
303.76/294.74	c Got one! Elapsed wall clock time (in seconds):294.632
303.76/294.75	o 3406633
1130.81/1118.65	c cleaning 772965 clauses out of 1546000 for limit 0.0034197376372091157
1139.50/1127.38	c cleaning 386739 clauses out of 773535 for limit 0.011271408656521995
1141.50/1129.36	c cleaning 193448 clauses out of 387296 for limit 0.03712539133362163
1142.30/1130.17	c cleaning 97132 clauses out of 194349 for limit 0.12212993900953809
1142.70/1130.59	c cleaning 48815 clauses out of 97716 for limit 0.4001843908065534
1143.10/1130.90	c cleaning 24464 clauses out of 49401 for limit 1.305407106443087
1143.30/1131.16	c cleaning 12447 clauses out of 25438 for limit 4.184939159516702
1143.60/1131.44	c cleaning 6470 clauses out of 13491 for limit 13.013192563318034
1143.80/1131.69	c cleaning 3485 clauses out of 7522 for limit 38.52876322018775
1144.11/1131.94	c cleaning 1993 clauses out of 4536 for limit 105.26081462497766
1144.30/1132.17	c cleaning 1248 clauses out of 3043 for limit 258.75795326612274
1144.60/1132.42	c cleaning 870 clauses out of 2294 for limit 565.4882968030054
1144.80/1132.66	c cleaning 686 clauses out of 1925 for limit 1112.4402648993312
1145.00/1132.89	c cleaning 590 clauses out of 1738 for limit 2029.920534049228
1145.30/1133.13	c cleaning 548 clauses out of 1648 for limit 3530.429054158707
1145.50/1133.36	c cleaning 528 clauses out of 1601 for limit 5999.067696540157
1145.70/1133.59	c cleaning 507 clauses out of 1572 for limit 10065.69874278137
1800.07/1782.41	c starts		: 49
1800.07/1782.41	c conflicts		: 3834911
1800.07/1782.41	c decisions		: 4180941
1800.07/1782.41	c propagations		: 306497478
1800.07/1782.41	c inspects		: 2971281586
1800.07/1782.41	c learnt literals	: 3
1800.07/1782.41	c learnt binary clauses	: 21
1800.07/1782.41	c learnt ternary clauses	: 373
1800.07/1782.41	c learnt clauses	: 3834908
1800.07/1782.41	c root simplifications	: 0
1800.07/1782.41	c removed literals (reason simplification)	: 0
1800.07/1782.41	c reason swapping (by a shorter reason)	: 0
1800.07/1782.41	c Calls to reduceDB	: 87
1800.07/1782.41	c speed (decisions/second)	: 2810.4370119813293
1800.07/1782.41	c non guided choices	207
1800.07/1782.41	s SATISFIABLE
1800.07/1782.42	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.07/1782.44	c objective function=3406633
1800.07/1782.44	c Total wall clock time (ms): 1782.332

Verifier Data 

OK	3406633

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-3744404-1338799469/watcher-3744404-1338799469 -o /tmp/evaluation-result-3744404-1338799469/solver-3744404-1338799469 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744404-1338799469.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 12092
/proc/meminfo: memFree=26016992/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (java) D 12090 12092 9704 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 346072766 9515008 176 33554432000 1073741824 1073778376 140735408173504 140735408156232 273448518544 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/12092/statm: 2323 176 133 9 0 71 0

[startup+0.0118659 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 12092
/proc/meminfo: memFree=26016992/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 1151 0 0 0 0 0 0 0 20 0 2 0 346072766 24780800 870 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 22434 882 667 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24200

[startup+0.100296 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 12092
/proc/meminfo: memFree=26016992/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 4852 0 1 0 7 1 0 0 20 0 18 0 346072766 3028844544 6554 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 739464 6554 2089 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.30027 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 12092
/proc/meminfo: memFree=26016992/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 5968 0 1 0 48 2 0 0 20 0 18 0 346072766 3028844544 10243 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 739464 10243 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700281 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 12092
/proc/meminfo: memFree=26016992/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=3024420 CPUtime=1.69 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 16994 0 1 0 164 5 0 0 20 0 19 0 346072766 3097006080 23187 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 756105 23187 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 3024420

[startup+1.50087 s]
/proc/loadavg: 2.00 2.01 2.00 4/211 12111
/proc/meminfo: memFree=25914532/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=3024420 CPUtime=3.09 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 19767 0 1 0 301 8 0 0 20 0 19 0 346072766 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 756105 68556 2279 9 0 746526 0
[pid=12092/tid=12094] ppid=12090 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/12092/task/12094/stat : 12094 (java) R 12090 12092 9704 0 -1 4202560 3159 0 1 0 141 5 0 0 20 0 19 0 346072768 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445811040712 140445649701263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12095] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12095/stat : 12095 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445794466344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12096] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12096/stat : 12096 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445793413544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12097] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12097/stat : 12097 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445792360744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12098] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12098/stat : 12098 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445791307944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12099] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12099/stat : 12099 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445790256168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12100] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12100/stat : 12100 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445789203368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12101] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12101/stat : 12101 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445788150568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12102] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12102/stat : 12102 (java) S 12090 12092 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445787097768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12103] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12103/stat : 12103 (java) S 12090 12092 9704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346072770 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445774686696 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12104] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12104/stat : 12104 (java) S 12090 12092 9704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445773632760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12105] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12105/stat : 12105 (java) S 12090 12092 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445772579848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12106] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12106/stat : 12106 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445771528336 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12107] ppid=12090 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/12092/task/12107/stat : 12107 (java) S 12090 12092 9704 0 -1 4202560 8219 0 0 0 80 3 0 0 20 0 19 0 346072773 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445770476472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12108] ppid=12090 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/12092/task/12108/stat : 12108 (java) S 12090 12092 9704 0 -1 4202560 7188 0 0 0 76 2 0 0 20 0 19 0 346072773 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445769423672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12109] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12109/stat : 12109 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445768371064 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12110] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12110/stat : 12110 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445767318472 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12111] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12111/stat : 12111 (java) S 12090 12092 9704 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346072825 3097006080 68556 33554432000 1073741824 1073778376 140733678768336 140445647598760 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3024420

[startup+3.10079 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 12111
/proc/meminfo: memFree=25559108/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=3024420 CPUtime=4.79 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 19886 0 1 0 466 13 0 0 20 0 19 0 346072766 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 756105 116192 2292 9 0 746526 0
[pid=12092/tid=12094] ppid=12090 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/12092/task/12094/stat : 12094 (java) R 12090 12092 9704 0 -1 4202560 3255 0 1 0 294 10 0 0 20 0 19 0 346072768 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445811038624 140445649700110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12095] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12095/stat : 12095 (java) S 12090 12092 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445794466344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12096] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12096/stat : 12096 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445793413544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12097] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12097/stat : 12097 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445792360744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12098] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12098/stat : 12098 (java) S 12090 12092 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445791307944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12099] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12099/stat : 12099 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445790256168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12100] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12100/stat : 12100 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445789203368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12101] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12101/stat : 12101 (java) S 12090 12092 9704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445788150568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12102] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12102/stat : 12102 (java) S 12090 12092 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445787097768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12103] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12103/stat : 12103 (java) S 12090 12092 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346072770 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445774686696 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12104] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12104/stat : 12104 (java) S 12090 12092 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445773632760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12105] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12105/stat : 12105 (java) S 12090 12092 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445772579848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12106] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12106/stat : 12106 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445771528336 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12107] ppid=12090 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/12092/task/12107/stat : 12107 (java) S 12090 12092 9704 0 -1 4202560 8219 0 0 0 81 3 0 0 20 0 19 0 346072773 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445770476472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12108] ppid=12090 vsize=3024420 CPUtime=0.82 cores=1,3,5,7
/proc/12092/task/12108/stat : 12108 (java) S 12090 12092 9704 0 -1 4202560 7188 0 0 0 80 2 0 0 20 0 19 0 346072773 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445769423672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12109] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12109/stat : 12109 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445768371064 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12110] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12110/stat : 12110 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445767318472 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12111] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12111/stat : 12111 (java) S 12090 12092 9704 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346072825 3097006080 116192 33554432000 1073741824 1073778376 140733678768336 140445647598760 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 3024420

[startup+6.30081 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 12111
/proc/meminfo: memFree=25534532/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=3024420 CPUtime=8.11 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 19921 0 1 0 795 16 0 0 20 0 19 0 346072766 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 756105 120649 2292 9 0 746526 0
[pid=12092/tid=12094] ppid=12090 vsize=3024420 CPUtime=6.21 cores=1,3,5,7
/proc/12092/task/12094/stat : 12094 (java) R 12090 12092 9704 0 -1 4202560 3260 0 1 0 611 10 0 0 20 0 19 0 346072768 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445811038808 140445649678475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12095] ppid=12090 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12092/task/12095/stat : 12095 (java) S 12090 12092 9704 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 346072769 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445794466344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12096] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12096/stat : 12096 (java) S 12090 12092 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445793413544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12097] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12097/stat : 12097 (java) S 12090 12092 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445792360744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12098] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12098/stat : 12098 (java) S 12090 12092 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445791307944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12099] ppid=12090 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12092/task/12099/stat : 12099 (java) S 12090 12092 9704 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 346072769 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445790256168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12100] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12100/stat : 12100 (java) S 12090 12092 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445789203368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12101] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12101/stat : 12101 (java) S 12090 12092 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346072769 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445788150568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12102] ppid=12090 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12092/task/12102/stat : 12102 (java) S 12090 12092 9704 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 346072769 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445787097768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12103] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12103/stat : 12103 (java) S 12090 12092 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346072770 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445774686696 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12104] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12104/stat : 12104 (java) S 12090 12092 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445773632760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12105] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12105/stat : 12105 (java) S 12090 12092 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445772579848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12106] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12106/stat : 12106 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445771528336 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12107] ppid=12090 vsize=3024420 CPUtime=0.87 cores=1,3,5,7
/proc/12092/task/12107/stat : 12107 (java) S 12090 12092 9704 0 -1 4202560 8219 0 0 0 84 3 0 0 20 0 19 0 346072773 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445770476472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12108] ppid=12090 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/12092/task/12108/stat : 12108 (java) S 12090 12092 9704 0 -1 4202560 7188 0 0 0 82 2 0 0 20 0 19 0 346072773 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445769423672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12109] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12109/stat : 12109 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445768371064 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12110] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12110/stat : 12110 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445767318472 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12111] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12111/stat : 12111 (java) S 12090 12092 9704 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346072825 3097006080 120649 33554432000 1073741824 1073778376 140733678768336 140445647598760 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=12092/tid=12100] ppid=12090 vsize=3024420 CPUtime=2.78 cores=1,3,5,7
/proc/12092/task/12100/stat : 12100 (java) S 12090 12092 9704 0 -1 4202560 408 0 0 0 257 21 0 0 20 0 19 0 346072769 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445789203368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12101] ppid=12090 vsize=3024420 CPUtime=2.51 cores=1,3,5,7
/proc/12092/task/12101/stat : 12101 (java) S 12090 12092 9704 0 -1 4202560 448 0 0 0 233 18 0 0 20 0 19 0 346072769 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445788150568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12102] ppid=12090 vsize=3024420 CPUtime=2.52 cores=1,3,5,7
/proc/12092/task/12102/stat : 12102 (java) S 12090 12092 9704 0 -1 4202560 382 0 0 0 234 18 0 0 20 0 19 0 346072769 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445787097768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12103] ppid=12090 vsize=3024420 CPUtime=2.62 cores=1,3,5,7
/proc/12092/task/12103/stat : 12103 (java) S 12090 12092 9704 0 -1 4202560 115 0 0 0 260 2 0 0 20 0 19 0 346072770 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445774686696 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12104] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12104/stat : 12104 (java) S 12090 12092 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445773632760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12105] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12105/stat : 12105 (java) S 12090 12092 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445772579848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12106] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12106/stat : 12106 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445771528336 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12107] ppid=12090 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/12092/task/12107/stat : 12107 (java) S 12090 12092 9704 0 -1 4202560 8229 0 0 0 95 3 0 0 20 0 19 0 346072773 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445770476472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12108] ppid=12090 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/12092/task/12108/stat : 12108 (java) S 12090 12092 9704 0 -1 4202560 7205 0 0 0 97 2 0 0 20 0 19 0 346072773 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445769423672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12109] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12109/stat : 12109 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445768371064 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12110] ppid=12090 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/12092/task/12110/stat : 12110 (java) S 12090 12092 9704 0 -1 4202560 97 0 0 0 18 19 0 0 20 0 19 0 346072773 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445767318472 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12116] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12116/stat : 12116 (java) S 12090 12092 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346102243 3097006080 422921 33554432000 1073741824 1073778376 140733678768336 140445647599272 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1679.16
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 10/211 12211
/proc/meminfo: memFree=24459864/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=3024420 CPUtime=1739.56 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 24074 0 1 0 173763 193 0 0 20 0 19 0 346072766 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 756105 422932 2312 9 0 746526 0
[pid=12092/tid=12094] ppid=12090 vsize=3024420 CPUtime=1713.73 cores=1,3,5,7
/proc/12092/task/12094/stat : 12094 (java) R 12090 12092 9704 0 -1 4202560 3519 0 1 0 171332 41 0 0 20 0 19 0 346072768 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445811039504 140445649774965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12095] ppid=12090 vsize=3024420 CPUtime=2.49 cores=1,3,5,7
/proc/12092/task/12095/stat : 12095 (java) S 12090 12092 9704 0 -1 4202560 433 0 0 0 236 13 0 0 20 0 19 0 346072769 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445794466344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12096] ppid=12090 vsize=3024420 CPUtime=2.65 cores=1,3,5,7
/proc/12092/task/12096/stat : 12096 (java) S 12090 12092 9704 0 -1 4202560 507 0 0 0 244 21 0 0 20 0 19 0 346072769 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445793413544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12097] ppid=12090 vsize=3024420 CPUtime=2.65 cores=1,3,5,7
/proc/12092/task/12097/stat : 12097 (java) S 12090 12092 9704 0 -1 4202560 548 0 0 0 242 23 0 0 20 0 19 0 346072769 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445792360744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12098] ppid=12090 vsize=3024420 CPUtime=2.49 cores=1,3,5,7
/proc/12092/task/12098/stat : 12098 (java) S 12090 12092 9704 0 -1 4202560 379 0 0 0 231 18 0 0 20 0 19 0 346072769 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445791307944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12099] ppid=12090 vsize=3024420 CPUtime=2.92 cores=1,3,5,7
/proc/12092/task/12099/stat : 12099 (java) S 12090 12092 9704 0 -1 4202560 586 0 0 0 265 27 0 0 20 0 19 0 346072769 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445790256168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12100] ppid=12090 vsize=3024420 CPUtime=2.86 cores=1,3,5,7
/proc/12092/task/12100/stat : 12100 (java) S 12090 12092 9704 0 -1 4202560 408 0 0 0 265 21 0 0 20 0 19 0 346072769 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445789203368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12101] ppid=12090 vsize=3024420 CPUtime=2.56 cores=1,3,5,7
/proc/12092/task/12101/stat : 12101 (java) S 12090 12092 9704 0 -1 4202560 448 0 0 0 238 18 0 0 20 0 19 0 346072769 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445788150568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12102] ppid=12090 vsize=3024420 CPUtime=2.59 cores=1,3,5,7
/proc/12092/task/12102/stat : 12102 (java) S 12090 12092 9704 0 -1 4202560 393 0 0 0 241 18 0 0 20 0 19 0 346072769 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445787097768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12103] ppid=12090 vsize=3024420 CPUtime=2.62 cores=1,3,5,7
/proc/12092/task/12103/stat : 12103 (java) S 12090 12092 9704 0 -1 4202560 117 0 0 0 260 2 0 0 20 0 19 0 346072770 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445774686696 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12104] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12104/stat : 12104 (java) S 12090 12092 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445773632760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12105] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12105/stat : 12105 (java) S 12090 12092 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445772579848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12106] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12106/stat : 12106 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445771528336 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12107] ppid=12090 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/12092/task/12107/stat : 12107 (java) S 12090 12092 9704 0 -1 4202560 8229 0 0 0 95 3 0 0 20 0 19 0 346072773 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445770476472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12108] ppid=12090 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/12092/task/12108/stat : 12108 (java) S 12090 12092 9704 0 -1 4202560 7205 0 0 0 97 2 0 0 20 0 19 0 346072773 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445769423672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12109] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12109/stat : 12109 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445768371064 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12110] ppid=12090 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/12092/task/12110/stat : 12110 (java) S 12090 12092 9704 0 -1 4202560 99 0 0 0 19 19 0 0 20 0 19 0 346072773 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445767318472 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12116] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12116/stat : 12116 (java) S 12090 12092 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346102243 3097006080 422932 33554432000 1073741824 1073778376 140733678768336 140445647599272 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1739.56
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/211 12212
/proc/meminfo: memFree=24363796/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=3024420 CPUtime=1799.96 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 24275 0 1 0 179802 194 0 0 20 0 19 0 346072766 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 756105 423123 2312 9 0 746526 0
[pid=12092/tid=12094] ppid=12090 vsize=3024420 CPUtime=1773.59 cores=1,3,5,7
/proc/12092/task/12094/stat : 12094 (java) R 12090 12092 9704 0 -1 4202560 3521 0 1 0 177318 41 0 0 20 0 19 0 346072768 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445811039520 140445649774965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12095] ppid=12090 vsize=3024420 CPUtime=2.55 cores=1,3,5,7
/proc/12092/task/12095/stat : 12095 (java) S 12090 12092 9704 0 -1 4202560 433 0 0 0 242 13 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445794466344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12096] ppid=12090 vsize=3024420 CPUtime=2.71 cores=1,3,5,7
/proc/12092/task/12096/stat : 12096 (java) S 12090 12092 9704 0 -1 4202560 507 0 0 0 250 21 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445793413544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12097] ppid=12090 vsize=3024420 CPUtime=2.7 cores=1,3,5,7
/proc/12092/task/12097/stat : 12097 (java) S 12090 12092 9704 0 -1 4202560 548 0 0 0 247 23 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445792360744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12098] ppid=12090 vsize=3024420 CPUtime=2.55 cores=1,3,5,7
/proc/12092/task/12098/stat : 12098 (java) S 12090 12092 9704 0 -1 4202560 434 0 0 0 237 18 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445791307944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12099] ppid=12090 vsize=3024420 CPUtime=2.99 cores=1,3,5,7
/proc/12092/task/12099/stat : 12099 (java) S 12090 12092 9704 0 -1 4202560 586 0 0 0 272 27 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445790256168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12100] ppid=12090 vsize=3024420 CPUtime=3 cores=1,3,5,7
/proc/12092/task/12100/stat : 12100 (java) S 12090 12092 9704 0 -1 4202560 408 0 0 0 279 21 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445789203368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12101] ppid=12090 vsize=3024420 CPUtime=2.62 cores=1,3,5,7
/proc/12092/task/12101/stat : 12101 (java) S 12090 12092 9704 0 -1 4202560 478 0 0 0 244 18 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445788150568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12102] ppid=12090 vsize=3024420 CPUtime=2.66 cores=1,3,5,7
/proc/12092/task/12102/stat : 12102 (java) S 12090 12092 9704 0 -1 4202560 499 0 0 0 248 18 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445787097768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12103] ppid=12090 vsize=3024420 CPUtime=2.62 cores=1,3,5,7
/proc/12092/task/12103/stat : 12103 (java) S 12090 12092 9704 0 -1 4202560 121 0 0 0 260 2 0 0 20 0 19 0 346072770 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445774686696 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12104] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12104/stat : 12104 (java) S 12090 12092 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445773632760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12105] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12105/stat : 12105 (java) S 12090 12092 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445772579848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12106] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12106/stat : 12106 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445771528336 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12107] ppid=12090 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/12092/task/12107/stat : 12107 (java) S 12090 12092 9704 0 -1 4202560 8229 0 0 0 95 3 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445770476472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12108] ppid=12090 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/12092/task/12108/stat : 12108 (java) S 12090 12092 9704 0 -1 4202560 7205 0 0 0 97 2 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445769423672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12109] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12109/stat : 12109 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445768371064 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12110] ppid=12090 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/12092/task/12110/stat : 12110 (java) S 12090 12092 9704 0 -1 4202560 103 0 0 0 20 20 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445767318472 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12116] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12116/stat : 12116 (java) S 12090 12092 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346102243 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445647599272 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.4 s]
/proc/loadavg: 2.08 2.02 2.01 3/211 12212
/proc/meminfo: memFree=24363796/32873852 swapFree=6856/6856
[pid=12092] ppid=12090 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/12092/stat : 12092 (java) S 12090 12092 9704 0 -1 4202496 24275 0 1 0 179813 194 0 0 20 0 19 0 346072766 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140733678759472 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 756105 423123 2312 9 0 746526 0
[pid=12092/tid=12094] ppid=12090 vsize=3024420 CPUtime=1773.69 cores=1,3,5,7
/proc/12092/task/12094/stat : 12094 (java) R 12090 12092 9704 0 -1 4202560 3521 0 1 0 177328 41 0 0 20 0 19 0 346072768 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445811039520 140445649698851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12095] ppid=12090 vsize=3024420 CPUtime=2.55 cores=1,3,5,7
/proc/12092/task/12095/stat : 12095 (java) S 12090 12092 9704 0 -1 4202560 433 0 0 0 242 13 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445794466344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12096] ppid=12090 vsize=3024420 CPUtime=2.71 cores=1,3,5,7
/proc/12092/task/12096/stat : 12096 (java) S 12090 12092 9704 0 -1 4202560 507 0 0 0 250 21 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445793413544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12097] ppid=12090 vsize=3024420 CPUtime=2.7 cores=1,3,5,7
/proc/12092/task/12097/stat : 12097 (java) S 12090 12092 9704 0 -1 4202560 548 0 0 0 247 23 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445792360744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12098] ppid=12090 vsize=3024420 CPUtime=2.55 cores=1,3,5,7
/proc/12092/task/12098/stat : 12098 (java) S 12090 12092 9704 0 -1 4202560 434 0 0 0 237 18 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445791307944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12092/tid=12099] ppid=12090 vsize=3024420 CPUtime=2.99 cores=1,3,5,7
/proc/12092/task/12099/stat : 12099 (java) S 12090 12092 9704 0 -1 4202560 586 0 0 0 272 27 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445790256168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12100] ppid=12090 vsize=3024420 CPUtime=3 cores=1,3,5,7
/proc/12092/task/12100/stat : 12100 (java) S 12090 12092 9704 0 -1 4202560 408 0 0 0 279 21 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445789203368 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12101] ppid=12090 vsize=3024420 CPUtime=2.62 cores=1,3,5,7
/proc/12092/task/12101/stat : 12101 (java) S 12090 12092 9704 0 -1 4202560 478 0 0 0 244 18 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445788150568 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12102] ppid=12090 vsize=3024420 CPUtime=2.66 cores=1,3,5,7
/proc/12092/task/12102/stat : 12102 (java) S 12090 12092 9704 0 -1 4202560 499 0 0 0 248 18 0 0 20 0 19 0 346072769 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445787097768 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12103] ppid=12090 vsize=3024420 CPUtime=2.62 cores=1,3,5,7
/proc/12092/task/12103/stat : 12103 (java) S 12090 12092 9704 0 -1 4202560 121 0 0 0 260 2 0 0 20 0 19 0 346072770 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445774686696 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12104] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12104/stat : 12104 (java) S 12090 12092 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445773632760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12105] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12105/stat : 12105 (java) S 12090 12092 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346072771 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445772579848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12106] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12106/stat : 12106 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445771528336 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12107] ppid=12090 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/12092/task/12107/stat : 12107 (java) S 12090 12092 9704 0 -1 4202560 8229 0 0 0 95 3 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445770476472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12092/tid=12108] ppid=12090 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/12092/task/12108/stat : 12108 (java) S 12090 12092 9704 0 -1 4202560 7205 0 0 0 97 2 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445769423672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12109] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12109/stat : 12109 (java) S 12090 12092 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445768371064 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12092/tid=12110] ppid=12090 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/12092/task/12110/stat : 12110 (java) S 12090 12092 9704 0 -1 4202560 103 0 0 0 20 20 0 0 20 0 19 0 346072773 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445767318472 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12092/tid=12116] ppid=12090 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12092/task/12116/stat : 12116 (java) S 12090 12092 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346102243 3097006080 423123 33554432000 1073741824 1073778376 140733678768336 140445647599272 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143
Real time (s): 1782.45
CPU time (s): 1800.82
CPU user time (s): 1798.41
CPU system time (s): 2.41263
CPU usage (%): 101.031
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 2.41263
maximum resident set size= 1692604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24304
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45298
involuntary context switches= 40231

runsolver used 5.80012 second user time and 15.2137 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-04 10:44:29
IDJOB=3744404
IDBENCH=92747
IDSOLVER=2319
FILE ID=node128/3744404-1338799469
RUNJOBID= node128-1338773754-9721
PBS_JOBID= 14636825
Free space on /tmp= 70420 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744404-1338799469/watcher-3744404-1338799469 -o /tmp/evaluation-result-3744404-1338799469/solver-3744404-1338799469 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744404-1338799469.opb           

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

MD5SUM BENCH= 0c9f9f4d9069e955741fce23953a7e72
RANDOM SEED=1516454867

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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:       32873852 kB
MemFree:        26018016 kB
Buffers:          563136 kB
Cached:          3899060 kB
SwapCached:          744 kB
Active:          3528968 kB
Inactive:        2411992 kB
Active(anon):    1469620 kB
Inactive(anon):    11420 kB
Active(file):    2059348 kB
Inactive(file):  2400572 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106656 kB
Dirty:              3964 kB
Writeback:             0 kB
AnonPages:       1556432 kB
Mapped:            22488 kB
Shmem:               200 kB
Slab:             757700 kB
SReclaimable:     199792 kB
SUnreclaim:       557908 kB
KernelStack:        1752 kB
PageTables:         7156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1826964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1507328 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= 70420 MiB
End job on node128 at 2012-06-04 11:14:13