Trace number 3738309

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31OPT6 195.904 98.7671

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx60.opb
MD5SUM26c9befa85d0a0769813e718015f6caa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark3.68244
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2994
Total number of constraints3433
Number of constraints which are clauses2988
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
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 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.06/0.06	c version 2.2.0.v20100531
0.06/0.06	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.06	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.06	c java.vm.version	19.1-b02
0.06/0.06	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.06	c sun.arch.data.model	64
0.06/0.06	c java.version		1.6.0_24
0.06/0.06	c os.name		Linux
0.06/0.06	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.06	c os.arch		amd64
0.06/0.06	c Free memory 		1349517296
0.06/0.06	c Max memory 		1356595200
0.06/0.06	c Total memory 		1356595200
0.06/0.06	c Number of processors 	8
0.06/0.09	c Pseudo Boolean Optimization
0.06/0.09	c ManyCore solver with 2 solvers running in parallel
0.06/0.09	c --- Begin Solver configuration ---
0.06/0.09	c Stops conflict analysis at the first Unique Implication Point
0.06/0.09	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.06/0.09	c Learn all clauses as in MiniSAT
0.06/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.09	c Expensive reason simplification
0.06/0.09	c Armin Biere (Picosat) restarts strategy
0.06/0.09	c Glucose learned constraints deletion strategy
0.06/0.09	c timeout=2147483s
0.06/0.09	c DB Simplification allowed=false
0.06/0.09	c --- End Solver configuration ---
0.06/0.09	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.09	c --- Begin Solver configuration ---
0.06/0.09	c Stops conflict analysis at the first Unique Implication Point
0.06/0.09	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.06/0.09	c Learn all clauses as in MiniSAT
0.06/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.09	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.09	c No reason simplification
0.06/0.09	c Armin Biere (Picosat) restarts strategy
0.06/0.09	c Glucose learned constraints deletion strategy
0.06/0.09	c timeout=2147483s
0.06/0.09	c DB Simplification allowed=false
0.06/0.09	c --- End Solver configuration ---
0.06/0.09	
0.06/0.09	c solving HOME/instance-3738309-1338755587.opb
0.06/0.09	c reading problem ... 
0.85/0.41	c ... done. Wall clock time 0.312s.
0.85/0.41	c #vars     2994
0.85/0.41	c #constraints  3498
0.85/0.41	c constraints type 
0.85/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 60
0.85/0.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 60
0.85/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2988
0.85/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPb => 384
0.85/0.41	c constraints type 
0.85/0.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2988
0.85/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 60
0.85/0.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 60
0.85/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPb => 384
5.08/1.85	c cleaning 2496 clauses out of 5001 with flag 5001/5001
7.87/3.18	c cleaning 4244 clauses out of 8504 with flag 11000/11000
11.08/4.78	c cleaning 5628 clauses out of 11260 with flag 18000/18000
15.74/7.08	c cleaning 6813 clauses out of 13632 with flag 26000/26000
20.16/9.20	c cleaning 7897 clauses out of 15819 with flag 35000/35000
28.74/13.57	c cleaning 8956 clauses out of 17922 with flag 45000/45000
33.30/15.86	c cleaning 9467 clauses out of 18973 with flag 55007/55007
39.26/18.85	c cleaning 9729 clauses out of 19500 with flag 65001/65001
44.57/21.56	c cleaning 9877 clauses out of 19771 with flag 75001/75001
49.54/24.03	c cleaning 9940 clauses out of 19893 with flag 85000/85000
56.11/27.38	c cleaning 9971 clauses out of 19953 with flag 95000/95000
61.26/29.94	c cleaning 9969 clauses out of 19984 with flag 105002/105002
71.40/35.06	c cleaning 10006 clauses out of 20013 with flag 115000/115000
75.33/37.09	c cleaning 9994 clauses out of 20008 with flag 125001/125001
82.30/40.57	c cleaning 10004 clauses out of 20013 with flag 135000/135000
86.02/42.48	c cleaning 9983 clauses out of 20010 with flag 145001/145001
92.46/45.78	c cleaning 10007 clauses out of 20026 with flag 155000/155000
97.59/48.39	c cleaning 9970 clauses out of 20019 with flag 165000/165000
102.53/50.89	c cleaning 9979 clauses out of 20049 with flag 175000/175000
108.65/53.92	c cleaning 10021 clauses out of 20073 with flag 185003/185003
114.46/56.93	c cleaning 9990 clauses out of 20049 with flag 195000/195000
120.17/59.81	c cleaning 10027 clauses out of 20060 with flag 205001/205001
125.87/62.71	c cleaning 10011 clauses out of 20034 with flag 215002/215002
133.14/66.47	c cleaning 10007 clauses out of 20023 with flag 225002/225002
138.35/69.20	c cleaning 9994 clauses out of 20014 with flag 235000/235000
146.83/73.41	c cleaning 9995 clauses out of 20020 with flag 245000/245000
155.54/77.84	c cleaning 9998 clauses out of 20026 with flag 255001/255001
161.84/81.06	c cleaning 10006 clauses out of 20027 with flag 265000/265000
170.64/85.52	c cleaning 9997 clauses out of 20022 with flag 275001/275001
176.51/88.50	c cleaning 10007 clauses out of 20025 with flag 285001/285001
181.59/91.15	c cleaning 9979 clauses out of 20017 with flag 295000/295000
186.65/93.74	c cleaning 10010 clauses out of 20039 with flag 305001/305001
192.79/96.94	c cleaning 9945 clauses out of 20028 with flag 315000/315000
195.64/98.46	c And the winner is Resolution
195.57/98.72	c SATISFIABLE
195.57/98.72	c OPTIMIZING...
195.57/98.72	c Got one! Elapsed wall clock time (in seconds):98.628
195.57/98.72	o 6
195.57/98.72	c starts		: 135
195.57/98.72	c conflicts		: 320897
195.57/98.72	c decisions		: 639225
195.57/98.72	c propagations		: 49118522
195.57/98.72	c inspects		: 207558076
195.57/98.72	c learnt literals	: 0
195.57/98.72	c learnt binary clauses	: 0
195.57/98.72	c learnt ternary clauses	: 0
195.57/98.72	c learnt clauses	: 320897
195.57/98.72	c ignored clauses	: 0
195.57/98.72	c root simplifications	: 0
195.57/98.72	c removed literals (reason simplification)	: 2554381
195.57/98.72	c reason swapping (by a shorter reason)	: 0
195.57/98.72	c Calls to reduceDB	: 33
195.57/98.72	c number of reductions to clauses (during analyze)	: 0
195.57/98.72	c number of learned constraints concerned by reduction	: 0
195.57/98.72	c number of learning phase by resolution	: 0
195.57/98.72	c number of learning phase by cutting planes	: 0
195.57/98.72	c speed (assignments/second)	: 499598.45803328045
195.57/98.72	c non guided choices	20583
195.57/98.73	c learnt constraints type 
195.57/98.73	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 15980
195.57/98.73	c constraints type 
195.57/98.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 60
195.57/98.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 60
195.57/98.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2988
195.57/98.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 384
195.57/98.73	c constraints type 
195.57/98.73	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2988
195.57/98.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 60
195.57/98.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 60
195.57/98.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 384
195.57/98.73	s OPTIMUM FOUND
195.57/98.74	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 
195.57/98.75	c objective function=6
195.57/98.75	c Total wall clock time (in seconds): 98.653

Verifier Data 

OK	6

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-3738309-1338755587/watcher-3738309-1338755587 -o /tmp/evaluation-result-3738309-1338755587/solver-3738309-1338755587 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3738309-1338755587.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.12 3.21 3.51 2/195 25470
/proc/meminfo: memFree=30252780/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 1277 0 0 0 0 0 0 0 20 0 2 0 341684601 98570240 979 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 24065 979 745 9 0 16771 0
[pid=25470/tid=25471] ppid=25468 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 22552 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 341684602 98570240 979 33554432000 1073741824 1073778376 140734306498400 139940133633576 259112387968 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.066201 s]
/proc/loadavg: 2.12 3.21 3.51 2/195 25470
/proc/meminfo: memFree=30252780/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 3896 0 1 0 5 1 0 0 20 0 18 0 341684601 2764726272 5616 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 674982 5616 1772 9 0 665676 0
[pid=25470/tid=25471] ppid=25468 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 22552 0 -1 4202560 2687 0 1 0 4 0 0 0 20 0 18 0 341684602 2764726272 5616 33554432000 1073741824 1073778376 140734306498400 139940133637040 259112386229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928

[startup+0.100248 s]
/proc/loadavg: 2.12 3.21 3.51 2/195 25470
/proc/meminfo: memFree=30252780/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2699928 CPUtime=0.12 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 4877 0 1 0 11 1 0 0 20 0 18 0 341684601 2764726272 6548 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 674982 6548 2153 9 0 665676 0
[pid=25470/tid=25471] ppid=25468 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 22552 0 -1 4202560 2779 0 1 0 8 0 0 0 20 0 18 0 341684602 2764726272 6548 33554432000 1073741824 1073778376 140734306498400 139940133628872 139939983415629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2699928

[startup+0.300213 s]
/proc/loadavg: 2.12 3.21 3.51 2/195 25470
/proc/meminfo: memFree=30252780/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2699928 CPUtime=0.56 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 7576 0 1 0 55 1 0 0 20 0 18 0 341684601 2764726272 10661 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 674982 10661 2217 9 0 665676 0
[pid=25470/tid=25471] ppid=25468 vsize=2699928 CPUtime=0.28 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 22552 0 -1 4202560 2791 0 1 0 28 0 0 0 20 0 18 0 341684602 2764726272 10661 33554432000 1073741824 1073778376 140734306498400 139940133638312 139939983516525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2699928

[startup+0.700226 s]
/proc/loadavg: 2.12 3.21 3.51 2/195 25470
/proc/meminfo: memFree=30252780/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2966184 CPUtime=2.03 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 18159 0 1 0 200 3 0 0 20 0 22 0 341684601 3037372416 27180 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 741546 27180 2244 9 0 732240 0
[pid=25470/tid=25471] ppid=25468 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) S 25468 25470 22552 0 -1 4202560 2814 0 1 0 38 1 0 0 20 0 22 0 341684602 3037372416 27180 33554432000 1073741824 1073778376 140734306498400 139940133639320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 2966184

[startup+1.50071 s]
/proc/loadavg: 2.12 3.21 3.51 5/217 25494
/proc/meminfo: memFree=30033688/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2966184 CPUtime=4.41 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 19246 0 1 0 432 9 0 0 20 0 22 0 341684601 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 741546 102477 2267 9 0 732240 0
[pid=25470/tid=25471] ppid=25468 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) S 25468 25470 22552 0 -1 4202560 2814 0 1 0 38 1 0 0 20 0 22 0 341684602 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139940133639320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 22552 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139940117920040 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 22552 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139940116867240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 22552 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139940115814952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139940114762152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 22552 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139940113709864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 22552 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139940112657064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 22552 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139940111604776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 22552 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139940110551976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341684604 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939980228840 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341684604 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939979174904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341684604 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939978122504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939977070992 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=2966184 CPUtime=0.91 cores=1,3,5,7
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 22552 0 -1 4202560 6088 0 0 0 91 0 0 0 20 0 22 0 341684606 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939976018616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=2966184 CPUtime=0.87 cores=1,3,5,7
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 22552 0 -1 4202560 8806 0 0 0 85 2 0 0 20 0 22 0 341684606 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939974965816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939973913720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939972861128 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25491] ppid=25468 vsize=2966184 CPUtime=1.05 cores=1,3,5,7
/proc/25470/task/25491/stat : 25491 (java) R 25468 25470 22552 0 -1 4202560 71 0 0 0 104 1 0 0 20 0 22 0 341684643 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939971803552 139939984211020 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25492] ppid=25468 vsize=2966184 CPUtime=1.05 cores=1,3,5,7
/proc/25470/task/25492/stat : 25492 (java) R 25468 25470 22552 0 -1 4202560 226 0 0 0 102 3 0 0 20 0 22 0 341684643 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939970751240 139939984258883 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25493] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25493/stat : 25493 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939969701032 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25494] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25494/stat : 25494 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 102477 33554432000 1073741824 1073778376 140734306498400 139939968648232 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 2966184

[startup+3.10081 s]
/proc/loadavg: 2.12 3.21 3.51 3/217 25496
/proc/meminfo: memFree=29664004/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2966184 CPUtime=7.87 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 19313 0 1 0 777 10 0 0 20 0 22 0 341684601 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 741546 109671 2280 9 0 732240 0
[pid=25470/tid=25471] ppid=25468 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) S 25468 25470 22552 0 -1 4202560 2814 0 1 0 38 1 0 0 20 0 22 0 341684602 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139940133639320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 22552 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 341684603 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139940117920040 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 22552 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139940116867240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 22552 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139940115814952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 22552 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 341684603 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139940114762152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 22552 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139940113709864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 22552 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139940112657064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 22552 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139940111604776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 22552 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341684603 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139940110551976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 22552 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 22 0 341684604 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939980228840 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341684604 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939979174904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341684604 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939978122504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939977070992 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 22552 0 -1 4202560 6094 0 0 0 103 0 0 0 20 0 22 0 341684606 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939976018616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 22552 0 -1 4202560 8810 0 0 0 102 2 0 0 20 0 22 0 341684606 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939974965816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939973913720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939972861128 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25491] ppid=25468 vsize=2966184 CPUtime=2.6 cores=1,3,5,7
/proc/25470/task/25491/stat : 25491 (java) R 25468 25470 22552 0 -1 4202560 71 0 0 0 259 1 0 0 20 0 22 0 341684643 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939971805576 139939984211050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25492] ppid=25468 vsize=2966184 CPUtime=2.6 cores=1,3,5,7
/proc/25470/task/25492/stat : 25492 (java) R 25468 25470 22552 0 -1 4202560 228 0 0 0 257 3 0 0 20 0 22 0 341684643 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939970751264 139939984129238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25493] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25493/stat : 25493 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939969701032 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25494] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25494/stat : 25494 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 109671 33554432000 1073741824 1073778376 140734306498400 139939968648232 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 2966184

[startup+6.30164 s]
/proc/loadavg: 2.11 3.19 3.50 5/219 25558
/proc/meminfo: memFree=29549832/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2966184 CPUtime=14.31 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 19394 0 1 0 1418 13 0 0 20 0 22 0 341684601 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 741546 131780 2280 9 0 732240 0
[pid=25470/tid=25471] ppid=25468 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) S 25468 25470 22552 0 -1 4202560 2814 0 1 0 38 1 0 0 20 0 22 0 341684602 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 139940133639320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 22552 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 341684603 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 139940117920040 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 22552 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 341684603 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 139940116867240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 341684603 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 139940115814952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 22552 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 341684603 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 139940114762152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 22552 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 341684603 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 139940113709864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 22552 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 341684603 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 139940112657064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 22552 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 341684603 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 139940111604776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 22552 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 341684603 3037372416 131780 33554432000 1073741824 1073778376 140734306498400 139940110551976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=25470/tid=25488] ppid=25468 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 22552 0 -1 4202560 5 0 0 0 0 2 0 0 20 0 22 0 341684606 3037372416 165253 33554432000 1073741824 1073778376 140734306498400 139939972861128 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25491] ppid=25468 vsize=2966184 CPUtime=89.76 cores=1,3,5,7
/proc/25470/task/25491/stat : 25491 (java) R 25468 25470 22552 0 -1 4202560 122 0 0 0 8974 2 0 0 20 0 22 0 341684643 3037372416 165253 33554432000 1073741824 1073778376 140734306498400 139939971803584 139939984057527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25492] ppid=25468 vsize=2966184 CPUtime=89.73 cores=1,3,5,7
/proc/25470/task/25492/stat : 25492 (java) R 25468 25470 22552 0 -1 4202560 317 0 0 0 8968 5 0 0 20 0 22 0 341684643 3037372416 165253 33554432000 1073741824 1073778376 140734306498400 139939970751648 139939984212138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25493] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25493/stat : 25493 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 165253 33554432000 1073741824 1073778376 140734306498400 139939969701032 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25494] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25494/stat : 25494 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 165253 33554432000 1073741824 1073778376 140734306498400 139939968648232 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 190.78
Current children cumulated vsize (KiB) 2966184

[startup+97.5008 s]
/proc/loadavg: 3.51 3.38 3.54 5/219 25558
/proc/meminfo: memFree=29105868/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2966184 CPUtime=193.83 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 19907 0 1 0 19352 31 0 0 20 0 22 0 341684601 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 741546 165258 2280 9 0 732240 0
[pid=25470/tid=25471] ppid=25468 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) S 25468 25470 22552 0 -1 4202560 2818 0 1 0 38 1 0 0 20 0 22 0 341684602 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940133639320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 22552 0 -1 4202560 49 0 0 0 45 2 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940117920040 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 22552 0 -1 4202560 62 0 0 0 44 3 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940116867240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 22552 0 -1 4202560 44 0 0 0 45 2 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940115814952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 22552 0 -1 4202560 75 0 0 0 47 3 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940114762152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=2966184 CPUtime=0.54 cores=1,3,5,7
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 22552 0 -1 4202560 64 0 0 0 51 3 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940113709864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 22552 0 -1 4202560 50 0 0 0 45 0 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940112657064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 22552 0 -1 4202560 43 0 0 0 41 2 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940111604776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 22552 0 -1 4202560 59 0 0 0 46 3 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940110551976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=2966184 CPUtime=4.49 cores=1,3,5,7
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 22552 0 -1 4202560 81 0 0 0 447 2 0 0 20 0 22 0 341684604 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939980228840 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341684604 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939979174904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341684604 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939978122504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939977070992 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 22552 0 -1 4202560 6099 0 0 0 104 0 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939976018616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 22552 0 -1 4202560 8828 0 0 0 114 2 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939974965816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939973913720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 2 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939972861128 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25491] ppid=25468 vsize=2966184 CPUtime=91.14 cores=1,3,5,7
/proc/25470/task/25491/stat : 25491 (java) R 25468 25470 22552 0 -1 4202560 123 0 0 0 9112 2 0 0 20 0 22 0 341684643 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939971805392 139939984057289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25492] ppid=25468 vsize=2966184 CPUtime=91.12 cores=1,3,5,7
/proc/25470/task/25492/stat : 25492 (java) R 25468 25470 22552 0 -1 4202560 318 0 0 0 9107 5 0 0 20 0 22 0 341684643 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939970750568 139939984261010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25493] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25493/stat : 25493 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939969701032 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25494] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25494/stat : 25494 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939968648232 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 193.83
Current children cumulated vsize (KiB) 2966184

[startup+98.3008 s]
/proc/loadavg: 3.55 3.39 3.54 4/219 25558
/proc/meminfo: memFree=29105868/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2966184 CPUtime=195.44 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 19908 0 1 0 19513 31 0 0 20 0 22 0 341684601 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 741546 165258 2280 9 0 732240 0
[pid=25470/tid=25471] ppid=25468 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) S 25468 25470 22552 0 -1 4202560 2818 0 1 0 38 1 0 0 20 0 22 0 341684602 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940133639320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 22552 0 -1 4202560 49 0 0 0 45 2 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940117920040 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 22552 0 -1 4202560 62 0 0 0 44 3 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940116867240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=2966184 CPUtime=0.48 cores=1,3,5,7
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 22552 0 -1 4202560 44 0 0 0 46 2 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940115814952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=2966184 CPUtime=0.51 cores=1,3,5,7
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 22552 0 -1 4202560 75 0 0 0 48 3 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940114762152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=2966184 CPUtime=0.55 cores=1,3,5,7
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 22552 0 -1 4202560 64 0 0 0 52 3 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940113709864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 22552 0 -1 4202560 50 0 0 0 46 0 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940112657064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 22552 0 -1 4202560 43 0 0 0 41 2 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940111604776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 22552 0 -1 4202560 59 0 0 0 47 3 0 0 20 0 22 0 341684603 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139940110551976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=2966184 CPUtime=4.49 cores=1,3,5,7
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 22552 0 -1 4202560 81 0 0 0 447 2 0 0 20 0 22 0 341684604 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939980228840 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341684604 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939979174904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341684604 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939978122504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939977070992 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 22552 0 -1 4202560 6099 0 0 0 104 0 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939976018616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 22552 0 -1 4202560 8828 0 0 0 114 2 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939974965816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939973913720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 2 0 0 20 0 22 0 341684606 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939972861128 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25491] ppid=25468 vsize=2966184 CPUtime=91.93 cores=1,3,5,7
/proc/25470/task/25491/stat : 25491 (java) R 25468 25470 22552 0 -1 4202560 123 0 0 0 9191 2 0 0 20 0 22 0 341684643 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939971803664 139939984132880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25492] ppid=25468 vsize=2966184 CPUtime=91.9 cores=1,3,5,7
/proc/25470/task/25492/stat : 25492 (java) R 25468 25470 22552 0 -1 4202560 319 0 0 0 9185 5 0 0 20 0 22 0 341684643 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939970751664 139939983954378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25493] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25493/stat : 25493 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939969701032 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25494] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25494/stat : 25494 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341684643 3037372416 165258 33554432000 1073741824 1073778376 140734306498400 139939968648232 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 195.44
Current children cumulated vsize (KiB) 2966184

[startup+98.7008 s]
/proc/loadavg: 3.55 3.39 3.54 4/219 25558
/proc/meminfo: memFree=29105868/32873648 swapFree=6860/6860
[pid=25470] ppid=25468 vsize=2966184 CPUtime=195.57 cores=1,3,5,7
/proc/25470/stat : 25470 (java) S 25468 25470 22552 0 -1 4202496 19909 0 1 0 19523 34 0 0 20 0 20 0 341684601 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 140734306489536 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25470/statm: 741546 165247 2281 9 0 732240 0
[pid=25470/tid=25471] ppid=25468 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/25470/task/25471/stat : 25471 (java) S 25468 25470 22552 0 -1 4202560 2818 0 1 0 38 1 0 0 20 0 20 0 341684602 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139940133639320 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 22552 0 -1 4202560 49 0 0 0 45 2 0 0 20 0 20 0 341684603 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139940117920040 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 22552 0 -1 4202560 62 0 0 0 44 3 0 0 20 0 20 0 341684603 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139940116867240 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=2966184 CPUtime=0.48 cores=1,3,5,7
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 22552 0 -1 4202560 44 0 0 0 46 2 0 0 20 0 20 0 341684603 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139940115814952 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=2966184 CPUtime=0.51 cores=1,3,5,7
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 22552 0 -1 4202560 75 0 0 0 48 3 0 0 20 0 20 0 341684603 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139940114762152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=2966184 CPUtime=0.55 cores=1,3,5,7
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 22552 0 -1 4202560 64 0 0 0 52 3 0 0 20 0 20 0 341684603 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139940113709864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 22552 0 -1 4202560 50 0 0 0 46 0 0 0 20 0 20 0 341684603 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139940112657064 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 22552 0 -1 4202560 43 0 0 0 41 2 0 0 20 0 20 0 341684603 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139940111604776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 22552 0 -1 4202560 59 0 0 0 47 3 0 0 20 0 20 0 341684603 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139940110551976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=2966184 CPUtime=4.49 cores=1,3,5,7
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 22552 0 -1 4202560 81 0 0 0 447 2 0 0 20 0 20 0 341684604 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939980228840 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341684604 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939979174904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341684604 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939978122504 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341684606 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939977070992 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 22552 0 -1 4202560 6099 0 0 0 104 0 0 0 20 0 20 0 341684606 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939976018616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 22552 0 -1 4202560 8828 0 0 0 114 2 0 0 20 0 20 0 341684606 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939974965816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341684606 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939973913720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 2 0 0 20 0 20 0 341684606 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939972861128 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25470/tid=25493] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25493/stat : 25493 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341684643 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939969701032 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25470/tid=25494] ppid=25468 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25470/task/25494/stat : 25494 (java) S 25468 25470 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341684643 3037372416 165247 33554432000 1073741824 1073778376 140734306498400 139939968648232 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 195.57
Current children cumulated vsize (KiB) 2966184

Child status: 30

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.170013
#  lost CPU user time (s): 0.200012
#  lost CPU system time (s): -0.03

Real time (s): 98.7671
CPU time (s): 195.904
CPU user time (s): 195.451
CPU system time (s): 0.452926
CPU usage (%): 198.35
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.251
system time used= 0.482926
maximum resident set size= 661060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19931
page faults= 1
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5933
involuntary context switches= 8774

runsolver used 0.402938 second user time and 0.945856 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 22:33:07
IDJOB=3738309
IDBENCH=71842
IDSOLVER=2324
FILE ID=node124/3738309-1338755587
RUNJOBID= node124-1338748776-22569
PBS_JOBID= 14636791
Free space on /tmp= 70708 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738309-1338755587/watcher-3738309-1338755587 -o /tmp/evaluation-result-3738309-1338755587/solver-3738309-1338755587 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3738309-1338755587.opb

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

MD5SUM BENCH= 26c9befa85d0a0769813e718015f6caa
RANDOM SEED=254569580

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30253044 kB
Buffers:          219156 kB
Cached:          1468880 kB
SwapCached:         8268 kB
Active:           577108 kB
Inactive:        1272724 kB
Active(anon):     155904 kB
Inactive(anon):     8240 kB
Active(file):     421204 kB
Inactive(file):  1264484 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              2280 kB
Writeback:             4 kB
AnonPages:        158812 kB
Mapped:            17192 kB
Shmem:                 0 kB
Slab:             633952 kB
SReclaimable:      77548 kB
SUnreclaim:       556404 kB
KernelStack:        1616 kB
PageTables:         4532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1573132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70708 MiB
End job on node124 at 2012-06-03 22:34:46