Trace number 3458436

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
Sat4j Resolution 2.3.0SAT (TO)-80 1800.15 1798.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_2.opb
MD5SUMfc8bff78845ab9a14b2d06ab749e4dc4
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-143
Best CPU time to get the best result obtained on this benchmark1797.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -137
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12656
Sum of products size (including duplicates)25312
Number of different products6328
Sum of products size12656

Solver Data

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3458436-1307162144.opb
0.09/0.11	c reading problem ... 
0.65/0.62	c ... done. Wall clock time 0.49s.
0.65/0.62	c #vars     7328
0.65/0.62	c #constraints  14158
0.65/0.62	c constraints type 
0.65/0.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6328
0.65/0.62	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
0.65/0.62	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
0.65/0.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
5.45/4.43	c cleaning 2501 clauses out of 5001 with flag 5001/5001
9.50/8.48	c cleaning 4245 clauses out of 8500 with flag 11001/11001
14.31/13.25	c cleaning 5620 clauses out of 11255 with flag 18001/18001
19.80/18.81	c cleaning 6812 clauses out of 13635 with flag 26001/26001
26.45/25.39	c cleaning 7904 clauses out of 15822 with flag 35000/35000
27.15/26.07	c SATISFIABLE
27.15/26.07	c OPTIMIZING...
27.15/26.07	c Got one! Elapsed wall clock time (in seconds):25.961
27.15/26.07	o -80
30.38/29.26	c cleaning 6921 clauses out of 13850 with flag 5000/40932
34.49/33.33	c cleaning 6457 clauses out of 12929 with flag 11000/46932
39.29/38.10	c cleaning 6730 clauses out of 13473 with flag 18001/53933
44.79/43.65	c cleaning 7365 clauses out of 14742 with flag 26000/61932
51.09/49.98	c cleaning 8187 clauses out of 16378 with flag 35001/70933
80.90/79.73	c cleaning 9095 clauses out of 18191 with flag 45001/80933
113.41/112.29	c cleaning 9877 clauses out of 20095 with flag 56000/91932
142.41/141.28	c cleaning 10784 clauses out of 22218 with flag 68000/103932
171.91/170.78	c cleaning 11906 clauses out of 24434 with flag 81000/116932
201.02/199.89	c cleaning 13099 clauses out of 26528 with flag 95000/130932
228.33/227.12	c cleaning 14010 clauses out of 28429 with flag 110000/145932
249.44/248.24	c cleaning 14700 clauses out of 29419 with flag 125000/160932
273.24/272.01	c cleaning 14859 clauses out of 29719 with flag 140000/175932
306.24/305.02	c cleaning 14599 clauses out of 29860 with flag 155000/190932
336.25/335.01	c cleaning 14991 clauses out of 30261 with flag 170000/205932
361.35/360.19	c cleaning 14997 clauses out of 30270 with flag 185000/220932
379.77/378.55	c cleaning 14754 clauses out of 30273 with flag 200000/235932
416.46/415.26	c cleaning 14988 clauses out of 30519 with flag 215000/250932
450.46/449.28	c cleaning 15009 clauses out of 30531 with flag 230000/265932
481.37/480.19	c cleaning 14998 clauses out of 30522 with flag 245000/280932
507.97/506.74	c cleaning 14993 clauses out of 30524 with flag 260000/295932
527.37/526.10	c cleaning 15020 clauses out of 30531 with flag 275000/310932
552.27/551.10	c cleaning 15033 clauses out of 30511 with flag 290000/325932
586.97/585.75	c cleaning 14981 clauses out of 30478 with flag 305000/340932
618.67/617.46	c cleaning 15087 clauses out of 30497 with flag 320000/355932
646.47/645.30	c cleaning 14884 clauses out of 30410 with flag 335000/370932
668.27/667.05	c cleaning 15044 clauses out of 30526 with flag 350000/385932
688.28/687.04	c cleaning 15129 clauses out of 30482 with flag 365000/400932
725.69/724.40	c cleaning 14827 clauses out of 30353 with flag 380000/415932
760.30/759.05	c cleaning 14964 clauses out of 30526 with flag 395000/430932
791.60/790.35	c cleaning 15075 clauses out of 30562 with flag 410000/445932
818.30/817.03	c cleaning 15006 clauses out of 30487 with flag 425000/460932
836.70/835.47	c cleaning 14959 clauses out of 30481 with flag 440000/475932
867.50/866.23	c cleaning 15129 clauses out of 30522 with flag 455000/490932
904.30/903.06	c cleaning 14925 clauses out of 30393 with flag 470000/505932
938.20/936.94	c cleaning 15111 clauses out of 30468 with flag 485000/520932
968.50/967.21	c cleaning 14805 clauses out of 30357 with flag 500000/535932
993.10/991.90	c cleaning 15042 clauses out of 30552 with flag 515000/550932
1010.90/1009.63	c cleaning 14943 clauses out of 30510 with flag 530000/565932
1047.90/1046.68	c cleaning 15237 clauses out of 30567 with flag 545000/580932
1082.40/1081.19	c cleaning 14964 clauses out of 30330 with flag 560000/595932
1113.61/1112.30	c cleaning 14841 clauses out of 30366 with flag 575000/610932
1139.82/1138.54	c cleaning 15145 clauses out of 30525 with flag 590000/625932
1156.51/1155.22	c cleaning 14833 clauses out of 30380 with flag 605000/640932
1192.51/1191.20	c cleaning 14983 clauses out of 30547 with flag 620000/655932
1229.42/1228.15	c cleaning 14965 clauses out of 30564 with flag 635000/670932
1263.42/1262.17	c cleaning 15087 clauses out of 30599 with flag 650000/685932
1293.62/1292.33	c cleaning 14867 clauses out of 30512 with flag 665000/700932
1317.62/1316.36	c cleaning 15038 clauses out of 30645 with flag 680000/715932
1338.02/1336.77	c cleaning 15275 clauses out of 30607 with flag 695000/730932
1377.13/1375.86	c cleaning 14937 clauses out of 30332 with flag 710000/745932
1413.63/1412.34	c cleaning 15007 clauses out of 30395 with flag 725000/760932
1446.85/1445.54	c cleaning 14847 clauses out of 30388 with flag 740000/775932
1475.63/1474.39	c cleaning 15128 clauses out of 30541 with flag 755000/790932
1496.74/1495.43	c cleaning 14880 clauses out of 30413 with flag 770000/805932
1525.74/1524.45	c cleaning 15057 clauses out of 30533 with flag 785000/820932
1564.56/1563.26	c cleaning 15048 clauses out of 30476 with flag 800000/835932
1600.54/1599.21	c cleaning 15009 clauses out of 30428 with flag 815000/850932
1632.85/1631.58	c cleaning 14799 clauses out of 30419 with flag 830000/865932
1660.15/1658.86	c cleaning 15075 clauses out of 30620 with flag 845000/880932
1676.15/1674.84	c cleaning 14969 clauses out of 30545 with flag 860000/895932
1716.65/1715.32	c cleaning 15022 clauses out of 30576 with flag 875000/910932
1755.57/1754.26	c cleaning 15194 clauses out of 30554 with flag 890000/925932
1792.18/1790.86	c cleaning 14995 clauses out of 30360 with flag 905000/940932
1800.08/1798.72	c starts		: 187
1800.08/1798.72	c conflicts		: 944370
1800.08/1798.72	c decisions		: 1048447
1800.08/1798.72	c propagations		: 193239218
1800.08/1798.72	c inspects		: 1871548741
1800.08/1798.72	c shortcuts		: 0
1800.08/1798.72	c learnt literals	: 0
1800.08/1798.72	c learnt binary clauses	: 0
1800.08/1798.72	c learnt ternary clauses	: 280
1800.08/1798.72	c learnt constraints	: 944369
1800.08/1798.72	c ignored constraints	: 0
1800.08/1798.72	c root simplifications	: 0
1800.08/1798.72	c removed literals (reason simplification)	: 363281645
1800.08/1798.72	c reason swapping (by a shorter reason)	: 0
1800.08/1798.72	c Calls to reduceDB	: 69
1800.08/1798.72	c number of reductions to clauses (during analyze)	: 0
1800.08/1798.72	c number of learned constraints concerned by reduction	: 0
1800.08/1798.72	c number of learning phase by resolution	: 0
1800.08/1798.72	c number of learning phase by cutting planes	: 0
1800.08/1798.72	c speed (assignments/second)	: 109011.42864557095
1800.08/1798.72	c non guided choices	0
1800.08/1798.73	c learnt constraints type 
1800.08/1798.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18805
1800.08/1798.73	c constraints type 
1800.08/1798.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6328
1800.08/1798.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.08/1798.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.08/1798.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
1800.08/1798.73	s SATISFIABLE
1800.08/1798.73	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 
1800.08/1798.73	c objective function=-80
1800.08/1798.73	c Total wall clock time (in seconds): 1798.624

Verifier Data

OK	-80

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458436-1307162144/watcher-3458436-1307162144 -o /tmp/evaluation-result-3458436-1307162144/solver-3458436-1307162144 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458436-1307162144.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 1363 0 1 0 0 0 0 0 25 0 2 0 906445183 36679680 1066 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 8955 1066 828 9 0 386 0
[pid=13559/tid=13560] ppid=13557 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 7806 0 1 0 0 0 0 0 25 0 2 0 906445183 13850947584 8622 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.0389571 s]
/proc/loadavg: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13547424 CPUtime=0.03 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 13558 0 1 0 2 1 0 0 25 0 11 0 906445183 13872562176 13257 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3386856 13258 1628 9 0 3377604 0
[pid=13559/tid=13560] ppid=13557 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 12435 0 1 0 2 0 0 0 25 0 11 0 906445183 13872562176 13258 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 47144731352995 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13547424

[startup+0.100944 s]
/proc/loadavg: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13621860 CPUtime=0.09 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 15525 0 1 0 8 1 0 0 25 0 18 0 906445183 13948784640 15221 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3405465 15222 2093 9 0 3396199 0
[pid=13559/tid=13560] ppid=13557 vsize=13621860 CPUtime=0.08 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 13654 0 1 0 7 1 0 0 25 0 18 0 906445183 13948784640 15223 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 215988253729 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621860

[startup+0.300925 s]
/proc/loadavg: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13624772 CPUtime=0.44 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 18744 0 1 0 42 2 0 0 25 0 18 0 906445183 13951766528 18178 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3406193 18179 2206 9 0 3396927 0
[pid=13559/tid=13560] ppid=13557 vsize=13624772 CPUtime=0.28 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 15765 0 1 0 26 2 0 0 25 0 18 0 906445183 13951766528 18179 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 47144735820596 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13624772

[startup+0.700804 s]
/proc/loadavg: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=1.55 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 40805 0 1 0 151 4 0 0 25 0 19 0 906445183 13966536704 37441 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 37441 2233 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=0.67 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 30406 0 1 0 64 3 0 0 19 0 19 0 906445183 13966536704 37441 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 47144731341719 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13639196

[startup+1.50066 s]
/proc/loadavg: 2.02 2.02 2.00 3/551 13579
/proc/meminfo: memFree=18505796/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=2.5 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 41541 0 1 0 246 4 0 0 25 0 19 0 906445183 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 38176 2239 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=1.47 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31057 0 1 0 144 3 0 0 20 0 19 0 906445183 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505931477 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 906445186 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906445187 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906445187 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.49 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3623 0 0 0 49 0 0 0 15 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.51 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5701 0 0 0 51 0 0 0 19 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 13639196

[startup+3.10149 s]
/proc/loadavg: 2.02 2.02 2.00 3/551 13579
/proc/meminfo: memFree=18500960/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=4.14 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 42013 0 1 0 409 5 0 0 25 0 19 0 906445183 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 38646 2242 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=3.07 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31519 0 1 0 304 3 0 0 18 0 19 0 906445183 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505931423 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906445186 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906445187 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906445187 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.49 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3623 0 0 0 49 0 0 0 15 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.54 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5711 0 0 0 54 0 0 0 15 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13639196

[startup+6.30094 s]
/proc/loadavg: 2.18 2.05 2.01 3/551 13579
/proc/meminfo: memFree=18481412/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=7.37 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 46098 0 1 0 732 5 0 0 25 0 19 0 906445183 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 42702 2268 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=6.22 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31755 0 1 0 619 3 0 0 25 0 19 0 906445183 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505366624 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 125 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 811 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.01 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 829 0 0 0 1 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 2079 0 0 0 3 0 0 0 15 0 19 0 906445186 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.5 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3629 0 0 0 50 0 0 0 15 0 19 0 906445189 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.55 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5714 0 0 0 55 0 0 0 15 0 19 0 906445189 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0

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

[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 709 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 830 0 0 0 3 0 0 0 16 0 19 0 906445185 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1275 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=2.23 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 8892 0 0 0 221 2 0 0 15 0 19 0 906445186 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.57 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3648 0 0 0 57 0 0 0 15 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5719 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1663.65
Current children cumulated vsize (KiB) 13639196

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/551 13637
/proc/meminfo: memFree=18288936/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=1723.67 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 57294 0 1 0 172359 8 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 53632 2269 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=1719.85 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31829 0 1 0 171981 4 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912506012160 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 324 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0.05 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1249 0 0 0 5 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0.02 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 308 0 0 0 2 0 0 0 16 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 729 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 525 0 0 0 3 0 0 0 16 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 709 0 0 0 3 0 0 0 16 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 830 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1275 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=2.3 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 8893 0 0 0 228 2 0 0 15 0 19 0 906445186 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3653 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5719 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1723.67
Current children cumulated vsize (KiB) 13639196

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/551 13638
/proc/meminfo: memFree=18288416/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=1783.67 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 57299 0 1 0 178359 8 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 53632 2269 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=1779.81 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31830 0 1 0 177977 4 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505930065 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 324 0 0 0 3 0 0 0 16 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0.05 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1249 0 0 0 5 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0.02 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 308 0 0 0 2 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 729 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 525 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 709 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 830 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1275 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=2.33 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 8895 0 0 0 231 2 0 0 15 0 19 0 906445186 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3653 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5719 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1783.67
Current children cumulated vsize (KiB) 13639196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.7 s]
/proc/loadavg: 2.04 2.03 2.00 2/531 13642
/proc/meminfo: memFree=19000808/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=1800.08 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 57304 0 1 0 180000 8 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 53632 2269 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=1796.19 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31831 0 1 0 179615 4 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505867251 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 324 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0.05 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1249 0 0 0 5 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0.02 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 308 0 0 0 2 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 729 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 525 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 709 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 830 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1275 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=2.37 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 8897 0 0 0 235 2 0 0 15 0 19 0 906445186 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3653 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5719 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13639196

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): 1798.76
CPU time (s): 1800.15
CPU user time (s): 1800.05
CPU system time (s): 0.099984
CPU usage (%): 100.078
Max. virtual memory (cumulated for all children) (KiB): 13639196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57355
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38715
involuntary context switches= 6529

runsolver used 9.95749 second user time and 20.7628 second system time

The end

Launcher Data

Begin job on node117 at 2011-06-04 06:35:44
IDJOB=3458436
IDBENCH=48256
IDSOLVER=1952
FILE ID=node117/3458436-1307162144
RUNJOBID= node117-1307162144-13476
PBS_JOBID= 13508799
Free space on /tmp= 73628 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_2.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458436-1307162144/watcher-3458436-1307162144 -o /tmp/evaluation-result-3458436-1307162144/solver-3458436-1307162144 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458436-1307162144.opb

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

MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4
RANDOM SEED=1512059836

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      19145120 kB
Buffers:        373608 kB
Cached:        3178132 kB
SwapCached:          0 kB
Active:       10316472 kB
Inactive:      3092084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      19145120 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1740 kB
Writeback:           0 kB
AnonPages:     9856388 kB
Mapped:          50148 kB
Slab:           269492 kB
PageTables:      58488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 162907568 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73628 MiB
End job on node117 at 2011-06-04 07:05:45