Trace number 3687738

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)171 1800.74 925.649

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
MD5SUMdf1c0055bf82833faa95d352e28c6731
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark1.09283
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4676
Total number of constraints398
Number of constraints which are clauses398
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 4676
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4676
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4676
Number of bits of the biggest sum of numbers13
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.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3687738-1337873782.opb
0.08/0.13	c reading problem ... 
0.51/0.30	c ... done. Wall clock time 0.172s.
0.51/0.30	c declared #vars     4676
0.51/0.30	c #constraints  398
0.51/0.30	c constraints type 
0.51/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 397
0.51/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.51/0.30	c 398 constraints processed.
0.51/0.30	c constraints type 
0.51/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
0.51/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 397
0.51/0.30	c 398 constraints processed.
0.51/0.30	c objective function length is 4676 literals
0.89/0.41	c  And the winner is solver0
0.95/0.81	c SATISFIABLE
0.95/0.81	c OPTIMIZING...
0.95/0.81	c Got one! Elapsed wall clock time (in seconds):0.679
0.95/0.81	o 173
1.66/1.02	c  And the winner is solver0
1.92/1.34	c Got one! Elapsed wall clock time (in seconds):1.206
1.92/1.34	o 172
4.62/2.70	c cleaning 2618 clauses out of 5244 with flag 5000/5244
8.33/4.46	c cleaning 4298 clauses out of 8626 with flag 11000/11244
12.53/6.58	c cleaning 5666 clauses out of 11332 with flag 18004/18248
17.30/8.99	c cleaning 6805 clauses out of 13662 with flag 26000/26244
18.92/9.71	c  And the winner is solver1
18.99/9.85	c Got one! Elapsed wall clock time (in seconds):9.719
18.99/9.85	o 171
20.34/10.60	c cleaning 6115 clauses out of 12230 with flag 3003/31617
23.71/12.24	c cleaning 6057 clauses out of 12114 with flag 9002/37616
27.55/14.18	c cleaning 6525 clauses out of 13055 with flag 16000/44614
32.21/16.44	c cleaning 7265 clauses out of 14532 with flag 24002/52616
37.83/19.23	c cleaning 8133 clauses out of 16265 with flag 33000/61614
43.55/22.10	c cleaning 9063 clauses out of 18133 with flag 43001/71615
50.12/25.37	c cleaning 10032 clauses out of 20069 with flag 54000/82614
57.49/29.03	c cleaning 11006 clauses out of 22038 with flag 66001/94615
64.89/32.73	c cleaning 12008 clauses out of 24035 with flag 79004/107618
73.45/37.07	c cleaning 13009 clauses out of 26029 with flag 93006/121620
82.44/41.54	c cleaning 13996 clauses out of 28014 with flag 108000/136614
91.63/46.20	c cleaning 14999 clauses out of 30019 with flag 124001/152615
101.92/51.30	c cleaning 15979 clauses out of 32019 with flag 141000/169614
112.86/56.87	c cleaning 16976 clauses out of 34042 with flag 159002/187616
125.01/62.96	c cleaning 18017 clauses out of 36064 with flag 178000/206614
137.75/69.33	c cleaning 18989 clauses out of 38047 with flag 198000/226614
151.01/76.06	c cleaning 20013 clauses out of 40058 with flag 219000/247614
164.76/82.92	c cleaning 21019 clauses out of 42046 with flag 241001/269615
179.76/90.51	c cleaning 22013 clauses out of 44026 with flag 264000/292614
195.61/98.57	c cleaning 23002 clauses out of 46013 with flag 288000/316614
212.21/107.02	c cleaning 23984 clauses out of 48011 with flag 313000/341614
229.62/115.85	c cleaning 24988 clauses out of 50029 with flag 339002/367616
247.59/124.92	c cleaning 26007 clauses out of 52041 with flag 366002/394616
266.71/134.65	c cleaning 27009 clauses out of 54032 with flag 394000/422614
285.79/144.45	c cleaning 28004 clauses out of 56027 with flag 423004/451618
306.19/154.84	c cleaning 28981 clauses out of 58019 with flag 453000/481614
326.97/165.47	c cleaning 30005 clauses out of 60039 with flag 484001/512615
349.10/177.26	c cleaning 31012 clauses out of 62035 with flag 516002/544616
372.28/189.01	c cleaning 31986 clauses out of 64023 with flag 549002/577616
396.20/201.26	c cleaning 32978 clauses out of 66035 with flag 583000/611614
418.88/212.89	c cleaning 34011 clauses out of 68059 with flag 618002/646616
443.07/225.41	c cleaning 35009 clauses out of 70050 with flag 654004/682618
467.93/238.10	c cleaning 36002 clauses out of 72037 with flag 691000/719614
493.42/251.26	c cleaning 37015 clauses out of 74035 with flag 729000/757614
521.11/265.48	c cleaning 37988 clauses out of 76020 with flag 768000/796614
550.33/280.75	c cleaning 38995 clauses out of 78035 with flag 808003/836617
580.47/296.25	c cleaning 40007 clauses out of 80037 with flag 849000/877614
611.60/312.28	c cleaning 41016 clauses out of 82035 with flag 891005/919619
642.77/328.30	c cleaning 41981 clauses out of 84014 with flag 934000/962614
678.09/346.63	c cleaning 43004 clauses out of 86033 with flag 978000/1006614
712.70/364.80	c cleaning 43988 clauses out of 88029 with flag 1023000/1051614
749.25/383.53	c cleaning 44997 clauses out of 90041 with flag 1069000/1097614
785.44/402.40	c cleaning 45989 clauses out of 92047 with flag 1116003/1144617
821.26/420.85	c cleaning 47002 clauses out of 94055 with flag 1164000/1192614
860.04/440.67	c cleaning 48028 clauses out of 96056 with flag 1213003/1241617
901.32/461.78	c cleaning 48992 clauses out of 98026 with flag 1263001/1291615
941.01/482.53	c cleaning 49983 clauses out of 100033 with flag 1314000/1342614
980.66/502.82	c cleaning 51013 clauses out of 102058 with flag 1366008/1394622
1020.75/523.46	c cleaning 51999 clauses out of 104037 with flag 1419000/1447614
1062.94/545.03	c cleaning 52993 clauses out of 106041 with flag 1473003/1501617
1110.04/569.58	c cleaning 54003 clauses out of 108045 with flag 1528000/1556614
1153.00/591.65	c cleaning 55018 clauses out of 110045 with flag 1584003/1612617
1198.27/614.73	c cleaning 56004 clauses out of 112026 with flag 1641002/1669616
1249.32/640.60	c cleaning 56980 clauses out of 114020 with flag 1699000/1727614
1301.15/667.33	c cleaning 58000 clauses out of 116040 with flag 1758000/1786614
1351.50/692.97	c cleaning 59000 clauses out of 118040 with flag 1818000/1846614
1404.54/720.01	c cleaning 60015 clauses out of 120042 with flag 1879002/1907616
1459.70/748.21	c cleaning 60997 clauses out of 122025 with flag 1941000/1969614
1507.74/773.68	c cleaning 62015 clauses out of 124029 with flag 2004001/2032615
1567.67/804.25	c cleaning 62985 clauses out of 126015 with flag 2068002/2096616
1622.10/831.80	c cleaning 63998 clauses out of 128028 with flag 2133000/2161614
1680.95/863.58	c cleaning 65013 clauses out of 130030 with flag 2199000/2227614
1734.37/890.93	c cleaning 65996 clauses out of 132017 with flag 2266000/2294614
1791.61/920.31	c cleaning 66970 clauses out of 134021 with flag 2334000/2362614
1800.04/925.61	c starts		: 23
1800.04/925.61	c conflicts		: 4360
1800.04/925.61	c decisions		: 150941
1800.04/925.61	c propagations		: 672585
1800.04/925.61	c inspects		: 30499367
1800.04/925.61	c shortcuts		: 0
1800.04/925.61	c learnt literals	: 0
1800.04/925.61	c learnt binary clauses	: 0
1800.04/925.61	c learnt ternary clauses	: 0
1800.04/925.61	c learnt constraints	: 4359
1800.04/925.61	c ignored constraints	: 0
1800.04/925.61	c root simplifications	: 0
1800.04/925.61	c removed literals (reason simplification)	: 0
1800.04/925.61	c reason swapping (by a shorter reason)	: 0
1800.04/925.61	c Calls to reduceDB	: 0
1800.04/925.61	c number of reductions to clauses (during analyze)	: 0
1800.04/925.61	c number of learned constraints concerned by reduction	: 0
1800.04/925.61	c number of learning phase by resolution	: 0
1800.04/925.61	c number of learning phase by cutting planes	: 0
1800.04/925.61	c speed (assignments/second)	: 727.6963558109895
1800.04/925.61	c non guided choices	0
1800.04/925.61	c learnt constraints type 
1800.04/925.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1314
1800.04/925.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3045
1800.04/925.61	c constraints type 
1800.04/925.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 397
1800.04/925.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/925.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
1800.04/925.61	c 399 constraints processed.
1800.04/925.61	c constraints type 
1800.04/925.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
1800.04/925.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 397
1800.04/925.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.04/925.61	c 399 constraints processed.
1800.04/925.61	s SATISFIABLE
1800.04/925.62	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 
1800.04/925.63	c objective function=171
1800.04/925.63	c Total wall clock time (in seconds): 925.5

Verifier Data 

OK	171

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-3687738-1337873782/watcher-3687738-1337873782 -o /tmp/evaluation-result-3687738-1337873782/solver-3687738-1337873782 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687738-1337873782.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: 3.71 3.76 3.26 3/199 27045
/proc/meminfo: memFree=26209752/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27045/stat : 27045 (java) D 27043 27045 26250 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253502970 9515008 183 33554432000 1073741824 1073778376 140735361934704 140735361925736 215143497397 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/27045/statm: 2323 183 140 9 0 71 0

[startup+0.01921 s]
/proc/loadavg: 3.71 3.76 3.26 3/199 27045
/proc/meminfo: memFree=26209752/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=101560 CPUtime=0.01 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 1421 0 1 0 0 1 0 0 20 0 2 0 253502970 103997440 1102 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 25390 1102 852 9 0 16774 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 101560

[startup+0.100302 s]
/proc/loadavg: 3.71 3.76 3.26 3/199 27045
/proc/meminfo: memFree=26209752/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 4131 0 1 0 7 1 0 0 20 0 18 0 253502970 9787813888 5333 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 2389603 5333 2071 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300289 s]
/proc/loadavg: 3.71 3.76 3.26 3/199 27045
/proc/meminfo: memFree=26209752/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9558412 CPUtime=0.51 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 7174 0 1 0 48 3 0 0 20 0 18 0 253502970 9787813888 9961 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 2389603 9961 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412

[startup+0.700241 s]
/proc/loadavg: 3.71 3.76 3.26 3/199 27045
/proc/meminfo: memFree=26209752/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 7938 0 1 0 90 5 0 0 20 0 19 0 253502970 10060460032 11770 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 2456167 11770 2238 9 0 2446860 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 9824668

[startup+1.50069 s]
/proc/loadavg: 3.71 3.76 3.26 6/221 27070
/proc/meminfo: memFree=26161100/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9824668 CPUtime=2.26 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 9393 0 1 0 218 8 0 0 20 0 22 0 253502970 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 2456167 14975 2246 9 0 2446860 0
[pid=27045/tid=27047] ppid=27043 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/27045/task/27047/stat : 27047 (java) S 27043 27045 26250 0 -1 4202560 2464 0 1 0 29 2 0 0 20 0 22 0 253502971 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139964432286712 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27048] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27048/stat : 27048 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139964404738472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27049] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27049/stat : 27049 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139964403685928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27050] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27050/stat : 27050 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139964402632872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27051] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27051/stat : 27051 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139964401580328 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27052] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27052/stat : 27052 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139964400528296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27053] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27053/stat : 27053 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139964399475752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27054] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27054/stat : 27054 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139964398422696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27055] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27055/stat : 27055 (java) S 27043 27045 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139964397370152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27056] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27056/stat : 27056 (java) S 27043 27045 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139963786045800 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27057] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27057/stat : 27057 (java) S 27043 27045 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139963784992120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27058] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27058/stat : 27058 (java) S 27043 27045 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139963783938952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27059] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27059/stat : 27059 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139963782887696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27060] ppid=27043 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/27045/task/27060/stat : 27060 (java) S 27043 27045 26250 0 -1 4202560 3022 0 0 0 40 0 0 0 20 0 22 0 253502977 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139963781835576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27061] ppid=27043 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/27045/task/27061/stat : 27061 (java) S 27043 27045 26250 0 -1 4202560 2580 0 0 0 44 0 0 0 20 0 22 0 253502977 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139963780783032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27062] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27062/stat : 27062 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139963779730168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27063] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27063/stat : 27063 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139963778677832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27067] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27067/stat : 27067 (java) S 27043 27045 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253503006 10060460032 14975 33554432000 1073741824 1073778376 140734588490864 139963774464936 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9824668

[startup+3.10064 s]
/proc/loadavg: 3.71 3.76 3.26 5/221 27073
/proc/meminfo: memFree=26151232/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9824668 CPUtime=5.63 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 9584 0 1 0 554 9 0 0 20 0 22 0 253502970 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 2456167 22196 2274 9 0 2446860 0
[pid=27045/tid=27047] ppid=27043 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/27045/task/27047/stat : 27047 (java) S 27043 27045 26250 0 -1 4202560 2464 0 1 0 29 2 0 0 20 0 22 0 253502971 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139964432286712 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27048] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27048/stat : 27048 (java) S 27043 27045 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139964404738472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27049] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27049/stat : 27049 (java) S 27043 27045 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139964403685928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27050] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27050/stat : 27050 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139964402632872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27051] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27051/stat : 27051 (java) S 27043 27045 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139964401580328 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27052] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27052/stat : 27052 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139964400528296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27053] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27053/stat : 27053 (java) S 27043 27045 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139964399475752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27054] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27054/stat : 27054 (java) S 27043 27045 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139964398422696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27055] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27055/stat : 27055 (java) S 27043 27045 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139964397370152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27056] ppid=27043 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27045/task/27056/stat : 27056 (java) S 27043 27045 26250 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 253502974 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963786045800 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27057] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27057/stat : 27057 (java) S 27043 27045 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963784992120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27058] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27058/stat : 27058 (java) S 27043 27045 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963783938952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27059] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27059/stat : 27059 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963782887696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27060] ppid=27043 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/27045/task/27060/stat : 27060 (java) S 27043 27045 26250 0 -1 4202560 3026 0 0 0 53 0 0 0 20 0 22 0 253502977 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963781835576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27061] ppid=27043 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/27045/task/27061/stat : 27061 (java) S 27043 27045 26250 0 -1 4202560 2691 0 0 0 51 0 0 0 20 0 22 0 253502977 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963780783032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27062] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27062/stat : 27062 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963779730168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27063] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27063/stat : 27063 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963778677832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27067] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27067/stat : 27067 (java) S 27043 27045 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253503006 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963774464936 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27071] ppid=27043 vsize=9824668 CPUtime=1.69 cores=1,3,5,7
/proc/27045/task/27071/stat : 27071 (java) R 27043 27045 26250 0 -1 4202560 9 0 0 0 169 0 0 0 20 0 22 0 253503105 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963777622824 139964277456980 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27072] ppid=27043 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/27045/task/27072/stat : 27072 (java) R 27043 27045 26250 0 -1 4202560 7 0 0 0 171 0 0 0 20 0 22 0 253503105 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963776567600 139964277547708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27073] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27073/stat : 27073 (java) S 27043 27045 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253503105 10060460032 22196 33554432000 1073741824 1073778376 140734588490864 139963775517864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 9824668

[startup+6.3025 s]
/proc/loadavg: 3.74 3.77 3.27 5/221 27073
/proc/meminfo: memFree=26120016/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9824668 CPUtime=12.11 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 9743 0 1 0 1201 10 0 0 20 0 22 0 253502970 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 2456167 24200 2274 9 0 2446860 0
[pid=27045/tid=27047] ppid=27043 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/27045/task/27047/stat : 27047 (java) S 27043 27045 26250 0 -1 4202560 2464 0 1 0 29 2 0 0 20 0 22 0 253502971 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139964432286712 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27048] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27048/stat : 27048 (java) S 27043 27045 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139964404738472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27049] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27049/stat : 27049 (java) S 27043 27045 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139964403685928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27050] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27050/stat : 27050 (java) S 27043 27045 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139964402632872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27051] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27051/stat : 27051 (java) S 27043 27045 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139964401580328 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27052] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27052/stat : 27052 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139964400528296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27053] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27053/stat : 27053 (java) S 27043 27045 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139964399475752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27054] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27054/stat : 27054 (java) S 27043 27045 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139964398422696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27055] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27055/stat : 27055 (java) S 27043 27045 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253502973 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139964397370152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27056] ppid=27043 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/27045/task/27056/stat : 27056 (java) S 27043 27045 26250 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 22 0 253502974 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139963786045800 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27057] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27057/stat : 27057 (java) S 27043 27045 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139963784992120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27058] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27058/stat : 27058 (java) S 27043 27045 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139963783938952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27059] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27059/stat : 27059 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139963782887696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27060] ppid=27043 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/27045/task/27060/stat : 27060 (java) S 27043 27045 26250 0 -1 4202560 3026 0 0 0 59 0 0 0 20 0 22 0 253502977 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139963781835576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27061] ppid=27043 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/27045/task/27061/stat : 27061 (java) S 27043 27045 26250 0 -1 4202560 2835 0 0 0 56 0 0 0 20 0 22 0 253502977 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139963780783032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27062] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27062/stat : 27062 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139963779730168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27063] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27063/stat : 27063 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 24200 33554432000 1073741824 1073778376 140734588490864 139963778677832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

[pid=27045/tid=27074] ppid=27043 vsize=9824668 CPUtime=694.81 cores=1,3,5,7
/proc/27045/task/27074/stat : 27074 (java) R 27043 27045 26250 0 -1 4202560 64 0 0 0 69469 12 0 0 20 0 22 0 253503956 10060460032 358482 33554432000 1073741824 1073778376 140734588490864 139963777620304 139964277537849 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27075] ppid=27043 vsize=9824668 CPUtime=694.74 cores=1,3,5,7
/proc/27045/task/27075/stat : 27075 (java) R 27043 27045 26250 0 -1 4202560 129 0 0 0 69462 12 0 0 20 0 22 0 253503956 10060460032 358482 33554432000 1073741824 1073778376 140734588490864 139963776568512 139964277882814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27076] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27076/stat : 27076 (java) S 27043 27045 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253503956 10060460032 358482 33554432000 1073741824 1073778376 140734588490864 139963774465576 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1484.97
Current children cumulated vsize (KiB) 9824668

[startup+822.301 s]
/proc/loadavg: 4.01 3.92 3.60 5/222 27254
/proc/meminfo: memFree=27109560/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9824668 CPUtime=1602.59 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 21357 0 1 0 160149 110 0 0 20 0 22 0 253502970 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 2456167 353638 2281 9 0 2446860 0
[pid=27045/tid=27047] ppid=27043 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/27045/task/27047/stat : 27047 (java) S 27043 27045 26250 0 -1 4202560 2512 0 1 0 33 2 0 0 20 0 22 0 253502971 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139964432286712 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27048] ppid=27043 vsize=9824668 CPUtime=3.51 cores=1,3,5,7
/proc/27045/task/27048/stat : 27048 (java) S 27043 27045 26250 0 -1 4202560 446 0 0 0 345 6 0 0 20 0 22 0 253502973 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139964404738472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27049] ppid=27043 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/27045/task/27049/stat : 27049 (java) S 27043 27045 26250 0 -1 4202560 789 0 0 0 339 7 0 0 20 0 22 0 253502973 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139964403685928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27050] ppid=27043 vsize=9824668 CPUtime=3.62 cores=1,3,5,7
/proc/27045/task/27050/stat : 27050 (java) S 27043 27045 26250 0 -1 4202560 761 0 0 0 354 8 0 0 20 0 22 0 253502973 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139964402632872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27051] ppid=27043 vsize=9824668 CPUtime=3.2 cores=1,3,5,7
/proc/27045/task/27051/stat : 27051 (java) S 27043 27045 26250 0 -1 4202560 634 0 0 0 314 6 0 0 20 0 22 0 253502973 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139964401580328 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27052] ppid=27043 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/27045/task/27052/stat : 27052 (java) S 27043 27045 26250 0 -1 4202560 909 0 0 0 339 7 0 0 20 0 22 0 253502973 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139964400528296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27053] ppid=27043 vsize=9824668 CPUtime=3.24 cores=1,3,5,7
/proc/27045/task/27053/stat : 27053 (java) S 27043 27045 26250 0 -1 4202560 411 0 0 0 316 8 0 0 20 0 22 0 253502973 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139964399475752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27054] ppid=27043 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/27045/task/27054/stat : 27054 (java) S 27043 27045 26250 0 -1 4202560 375 0 0 0 341 7 0 0 20 0 22 0 253502973 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139964398422696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27055] ppid=27043 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/27045/task/27055/stat : 27055 (java) S 27043 27045 26250 0 -1 4202560 241 0 0 0 327 6 0 0 20 0 22 0 253502973 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139964397370152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27056] ppid=27043 vsize=9824668 CPUtime=55.06 cores=1,3,5,7
/proc/27045/task/27056/stat : 27056 (java) S 27043 27045 26250 0 -1 4202560 2056 0 0 0 5476 30 0 0 20 0 22 0 253502974 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963786045800 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27057] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27057/stat : 27057 (java) S 27043 27045 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963784992120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27058] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27058/stat : 27058 (java) S 27043 27045 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963783938952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27059] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27059/stat : 27059 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963782887696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27060] ppid=27043 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/27045/task/27060/stat : 27060 (java) S 27043 27045 26250 0 -1 4202560 5633 0 0 0 114 2 0 0 20 0 22 0 253502977 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963781835576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27061] ppid=27043 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/27045/task/27061/stat : 27061 (java) S 27043 27045 26250 0 -1 4202560 5007 0 0 0 101 0 0 0 20 0 22 0 253502977 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963780783032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27062] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27062/stat : 27062 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963779730168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27063] ppid=27043 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/27045/task/27063/stat : 27063 (java) S 27043 27045 26250 0 -1 4202560 49 0 0 0 12 12 0 0 20 0 22 0 253502977 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963778677832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27073] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27073/stat : 27073 (java) S 27043 27045 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253503105 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963775517864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27074] ppid=27043 vsize=9824668 CPUtime=750.27 cores=1,3,5,7
/proc/27045/task/27074/stat : 27074 (java) R 27043 27045 26250 0 -1 4202560 69 0 0 0 75014 13 0 0 20 0 22 0 253503956 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963777621272 139964277558970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27075] ppid=27043 vsize=9824668 CPUtime=750.2 cores=1,3,5,7
/proc/27045/task/27075/stat : 27075 (java) R 27043 27045 26250 0 -1 4202560 135 0 0 0 75007 13 0 0 20 0 22 0 253503956 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963776567520 139964277548075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27076] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27076/stat : 27076 (java) S 27043 27045 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253503956 10060460032 353638 33554432000 1073741824 1073778376 140734588490864 139963774465576 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.59
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.92 3.90 3.61 5/221 27255
/proc/meminfo: memFree=26989804/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9824668 CPUtime=1716.84 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 23249 0 1 0 171565 119 0 0 20 0 22 0 253502970 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 2456167 384069 2281 9 0 2446860 0
[pid=27045/tid=27047] ppid=27043 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/27045/task/27047/stat : 27047 (java) S 27043 27045 26250 0 -1 4202560 2514 0 1 0 33 2 0 0 20 0 22 0 253502971 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139964432286712 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27048] ppid=27043 vsize=9824668 CPUtime=3.96 cores=1,3,5,7
/proc/27045/task/27048/stat : 27048 (java) S 27043 27045 26250 0 -1 4202560 454 0 0 0 389 7 0 0 20 0 22 0 253502973 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139964404738472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27049] ppid=27043 vsize=9824668 CPUtime=4.05 cores=1,3,5,7
/proc/27045/task/27049/stat : 27049 (java) S 27043 27045 26250 0 -1 4202560 812 0 0 0 398 7 0 0 20 0 22 0 253502973 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139964403685928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27050] ppid=27043 vsize=9824668 CPUtime=4.03 cores=1,3,5,7
/proc/27045/task/27050/stat : 27050 (java) S 27043 27045 26250 0 -1 4202560 800 0 0 0 394 9 0 0 20 0 22 0 253502973 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139964402632872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27051] ppid=27043 vsize=9824668 CPUtime=3.66 cores=1,3,5,7
/proc/27045/task/27051/stat : 27051 (java) S 27043 27045 26250 0 -1 4202560 663 0 0 0 359 7 0 0 20 0 22 0 253502973 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139964401580328 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27052] ppid=27043 vsize=9824668 CPUtime=3.93 cores=1,3,5,7
/proc/27045/task/27052/stat : 27052 (java) S 27043 27045 26250 0 -1 4202560 938 0 0 0 385 8 0 0 20 0 22 0 253502973 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139964400528296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27053] ppid=27043 vsize=9824668 CPUtime=3.77 cores=1,3,5,7
/proc/27045/task/27053/stat : 27053 (java) S 27043 27045 26250 0 -1 4202560 689 0 0 0 369 8 0 0 20 0 22 0 253502973 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139964399475752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27054] ppid=27043 vsize=9824668 CPUtime=3.82 cores=1,3,5,7
/proc/27045/task/27054/stat : 27054 (java) S 27043 27045 26250 0 -1 4202560 483 0 0 0 375 7 0 0 20 0 22 0 253502973 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139964398422696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27055] ppid=27043 vsize=9824668 CPUtime=3.85 cores=1,3,5,7
/proc/27045/task/27055/stat : 27055 (java) S 27043 27045 26250 0 -1 4202560 256 0 0 0 378 7 0 0 20 0 22 0 253502973 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139964397370152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27056] ppid=27043 vsize=9824668 CPUtime=62.57 cores=1,3,5,7
/proc/27045/task/27056/stat : 27056 (java) S 27043 27045 26250 0 -1 4202560 3403 0 0 0 6224 33 0 0 20 0 22 0 253502974 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963786045800 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27057] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27057/stat : 27057 (java) S 27043 27045 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963784992120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27058] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27058/stat : 27058 (java) S 27043 27045 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963783938952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27059] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27059/stat : 27059 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963782887696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27060] ppid=27043 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/27045/task/27060/stat : 27060 (java) S 27043 27045 26250 0 -1 4202560 5633 0 0 0 114 2 0 0 20 0 22 0 253502977 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963781835576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27061] ppid=27043 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/27045/task/27061/stat : 27061 (java) S 27043 27045 26250 0 -1 4202560 5007 0 0 0 101 0 0 0 20 0 22 0 253502977 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963780783032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27062] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27062/stat : 27062 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963779730168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27063] ppid=27043 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/27045/task/27063/stat : 27063 (java) S 27043 27045 26250 0 -1 4202560 51 0 0 0 13 12 0 0 20 0 22 0 253502977 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963778677832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27073] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27073/stat : 27073 (java) S 27043 27045 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253503105 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963775517864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27074] ppid=27043 vsize=9824668 CPUtime=801.77 cores=1,3,5,7
/proc/27045/task/27074/stat : 27074 (java) R 27043 27045 26250 0 -1 4202560 75 0 0 0 80162 15 0 0 20 0 22 0 253503956 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963777621152 139964277606572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27075] ppid=27043 vsize=9824668 CPUtime=801.7 cores=1,3,5,7
/proc/27045/task/27075/stat : 27075 (java) R 27043 27045 26250 0 -1 4202560 141 0 0 0 80156 14 0 0 20 0 22 0 253503956 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963776567520 139964277547708 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27076] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27076/stat : 27076 (java) S 27043 27045 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253503956 10060460032 384069 33554432000 1073741824 1073778376 140734588490864 139963774465576 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1716.84
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+925.601 s]
/proc/loadavg: 3.83 3.88 3.62 5/221 27255
/proc/meminfo: memFree=26869960/32873844 swapFree=7364/7364
[pid=27045] ppid=27043 vsize=9824668 CPUtime=1800.04 cores=1,3,5,7
/proc/27045/stat : 27045 (java) S 27043 27045 26250 0 -1 4202496 23410 0 1 0 179881 123 0 0 20 0 22 0 253502970 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 140734588482000 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27045/statm: 2456167 413833 2281 9 0 2446860 0
[pid=27045/tid=27047] ppid=27043 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/27045/task/27047/stat : 27047 (java) S 27043 27045 26250 0 -1 4202560 2516 0 1 0 33 2 0 0 20 0 22 0 253502971 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139964432286712 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27048] ppid=27043 vsize=9824668 CPUtime=4.21 cores=1,3,5,7
/proc/27045/task/27048/stat : 27048 (java) S 27043 27045 26250 0 -1 4202560 456 0 0 0 413 8 0 0 20 0 22 0 253502973 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139964404738472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27049] ppid=27043 vsize=9824668 CPUtime=4.39 cores=1,3,5,7
/proc/27045/task/27049/stat : 27049 (java) S 27043 27045 26250 0 -1 4202560 812 0 0 0 432 7 0 0 20 0 22 0 253502973 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139964403685928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27050] ppid=27043 vsize=9824668 CPUtime=4.37 cores=1,3,5,7
/proc/27045/task/27050/stat : 27050 (java) S 27043 27045 26250 0 -1 4202560 802 0 0 0 428 9 0 0 20 0 22 0 253502973 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139964402632872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27051] ppid=27043 vsize=9824668 CPUtime=4.01 cores=1,3,5,7
/proc/27045/task/27051/stat : 27051 (java) S 27043 27045 26250 0 -1 4202560 664 0 0 0 394 7 0 0 20 0 22 0 253502973 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139964401580328 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27052] ppid=27043 vsize=9824668 CPUtime=4.14 cores=1,3,5,7
/proc/27045/task/27052/stat : 27052 (java) S 27043 27045 26250 0 -1 4202560 941 0 0 0 406 8 0 0 20 0 22 0 253502973 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139964400528296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27053] ppid=27043 vsize=9824668 CPUtime=4.16 cores=1,3,5,7
/proc/27045/task/27053/stat : 27053 (java) S 27043 27045 26250 0 -1 4202560 695 0 0 0 408 8 0 0 20 0 22 0 253502973 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139964399475752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27054] ppid=27043 vsize=9824668 CPUtime=4.09 cores=1,3,5,7
/proc/27045/task/27054/stat : 27054 (java) S 27043 27045 26250 0 -1 4202560 527 0 0 0 401 8 0 0 20 0 22 0 253502973 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139964398422696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27055] ppid=27043 vsize=9824668 CPUtime=4.09 cores=1,3,5,7
/proc/27045/task/27055/stat : 27055 (java) S 27043 27045 26250 0 -1 4202560 270 0 0 0 402 7 0 0 20 0 22 0 253502973 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139964397370152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27056] ppid=27043 vsize=9824668 CPUtime=67.12 cores=1,3,5,7
/proc/27045/task/27056/stat : 27056 (java) S 27043 27045 26250 0 -1 4202560 3482 0 0 0 6676 36 0 0 20 0 22 0 253502974 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963786045800 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27057] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27057/stat : 27057 (java) S 27043 27045 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963784992120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27058] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27058/stat : 27058 (java) S 27043 27045 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253502974 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963783938952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27059] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27059/stat : 27059 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963782887696 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27060] ppid=27043 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/27045/task/27060/stat : 27060 (java) S 27043 27045 26250 0 -1 4202560 5633 0 0 0 114 2 0 0 20 0 22 0 253502977 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963781835576 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27045/tid=27061] ppid=27043 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/27045/task/27061/stat : 27061 (java) S 27043 27045 26250 0 -1 4202560 5007 0 0 0 101 0 0 0 20 0 22 0 253502977 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963780783032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27062] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27062/stat : 27062 (java) S 27043 27045 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253502977 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963779730168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27063] ppid=27043 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/27045/task/27063/stat : 27063 (java) S 27043 27045 26250 0 -1 4202560 53 0 0 0 14 13 0 0 20 0 22 0 253502977 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963778677832 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27045/tid=27073] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27073/stat : 27073 (java) S 27043 27045 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253503105 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963775517864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27074] ppid=27043 vsize=9824668 CPUtime=839.91 cores=1,3,5,7
/proc/27045/task/27074/stat : 27074 (java) R 27043 27045 26250 0 -1 4202560 78 0 0 0 83976 15 0 0 20 0 22 0 253503956 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963777622096 139964277606835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27045/tid=27075] ppid=27043 vsize=9824668 CPUtime=839.85 cores=1,3,5,7
/proc/27045/task/27075/stat : 27075 (java) R 27043 27045 26250 0 -1 4202560 144 0 0 0 83970 15 0 0 20 0 22 0 253503956 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963776567520 139964277646559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27045/tid=27076] ppid=27043 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27045/task/27076/stat : 27076 (java) S 27043 27045 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253503956 10060460032 413833 33554432000 1073741824 1073778376 140734588490864 139963774465576 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824668

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): 925.649
CPU time (s): 1800.74
CPU user time (s): 1799.06
CPU system time (s): 1.68674
CPU usage (%): 194.539
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.68674
maximum resident set size= 1655452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23441
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27165
involuntary context switches= 48417

runsolver used 3.44248 second user time and 8.85465 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-24 17:36:22
IDJOB=3687738
IDBENCH=2048
IDSOLVER=2268
FILE ID=node133/3687738-1337873782
RUNJOBID= node133-1337871880-26267
PBS_JOBID= 14620071
Free space on /tmp= 71624 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687738-1337873782/watcher-3687738-1337873782 -o /tmp/evaluation-result-3687738-1337873782/solver-3687738-1337873782 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687738-1337873782.opb

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

MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731
RANDOM SEED=820584857

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26209520 kB
Buffers:          210092 kB
Cached:          2374944 kB
SwapCached:            0 kB
Active:          3724424 kB
Inactive:        2165528 kB
Active(anon):    3307244 kB
Inactive(anon):        0 kB
Active(file):     417180 kB
Inactive(file):  2165528 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               536 kB
Writeback:            24 kB
AnonPages:       3328044 kB
Mapped:            22608 kB
Shmem:               212 kB
Slab:             628780 kB
SReclaimable:      70948 kB
SUnreclaim:       557832 kB
KernelStack:        1720 kB
PageTables:        10816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3842224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3231744 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= 71624 MiB
End job on node133 at 2012-05-24 17:51:49