Trace number 3453946

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 Res//CP 2.3.0SAT (TO)42 1800.27 916.187

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_2.opb
MD5SUMcb610107b772b4f0726736eafa902b12
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark1797.4
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint61
Maximum length of a constraint110
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
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)75286
Sum of products size (including duplicates)150572
Number of different products75286
Sum of products size150572

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c ManyCore solver with 2 solvers running in parallel
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.00/0.11	c No reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3453946-1307194607.opb
0.00/0.11	c reading problem ... 
2.11/1.13	c ... done. Wall clock time 1.02s.
2.11/1.13	c #vars     76286
2.11/1.13	c #constraints  151572
2.11/1.13	c constraints type 
2.11/1.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76286
2.11/1.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75286
2.11/1.13	c constraints type 
2.11/1.13	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 76286
2.11/1.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 75286
2.68/1.33	c  And the winner is Resolution
2.78/1.68	c SATISFIABLE
2.78/1.68	c OPTIMIZING...
2.78/1.68	c Got one! Elapsed wall clock time (in seconds):1.577
2.78/1.68	o 49
3.22/1.80	c  And the winner is Resolution
3.32/2.23	c Got one! Elapsed wall clock time (in seconds):2.118
3.32/2.23	o 48
3.32/2.31	c  And the winner is Resolution
3.58/2.77	c Got one! Elapsed wall clock time (in seconds):2.665
3.58/2.77	o 47
3.68/2.86	c  And the winner is Resolution
4.02/3.32	c Got one! Elapsed wall clock time (in seconds):3.207
4.02/3.32	o 46
14.99/8.51	c cleaning 2519 clauses out of 5048 with flag 5000/5048
21.67/12.05	c  And the winner is Resolution
21.85/12.20	c Got one! Elapsed wall clock time (in seconds):12.093
21.85/12.20	o 45
25.39/13.92	c cleaning 4034 clauses out of 8078 with flag 2001/10597
35.70/19.21	c cleaning 5018 clauses out of 10043 with flag 8000/16596
47.36/25.23	c cleaning 6005 clauses out of 12026 with flag 15001/23597
63.29/33.33	c cleaning 7002 clauses out of 14020 with flag 23000/31596
78.73/41.22	c cleaning 8004 clauses out of 16019 with flag 32001/40597
95.59/49.88	c cleaning 9002 clauses out of 18014 with flag 42000/50596
114.69/59.58	c cleaning 10002 clauses out of 20014 with flag 53002/61598
134.50/69.75	c cleaning 10999 clauses out of 22011 with flag 65001/73597
156.48/80.97	c cleaning 11999 clauses out of 24012 with flag 78001/86597
180.13/92.98	c cleaning 13001 clauses out of 26013 with flag 92001/100597
206.95/106.52	c cleaning 14000 clauses out of 28012 with flag 107001/115597
233.77/120.27	c cleaning 14996 clauses out of 30012 with flag 123001/131597
266.79/136.93	c cleaning 16002 clauses out of 32016 with flag 140001/148597
299.00/153.28	c cleaning 16999 clauses out of 34014 with flag 158001/166597
331.39/169.65	c cleaning 18002 clauses out of 36015 with flag 177001/185597
366.94/187.71	c cleaning 18995 clauses out of 38012 with flag 197000/205596
406.95/207.96	c cleaning 20000 clauses out of 40018 with flag 218001/226597
448.09/228.78	c cleaning 21002 clauses out of 42019 with flag 240002/248598
458.60/234.28	c  And the winner is CuttingPlanes
458.79/234.39	c Got one! Elapsed wall clock time (in seconds):234.28
458.79/234.39	o 42
469.93/239.94	c cleaning 15684 clauses out of 31378 with flag 5000/258959
484.09/247.45	c cleaning 10842 clauses out of 21695 with flag 11001/264960
499.35/255.39	c cleaning 8919 clauses out of 17854 with flag 18002/271961
515.33/263.68	c cleaning 8461 clauses out of 16933 with flag 26000/279959
533.97/273.21	c cleaning 8730 clauses out of 17473 with flag 35001/288960
554.33/283.86	c cleaning 9362 clauses out of 18743 with flag 45001/298960
577.28/295.64	c cleaning 10183 clauses out of 20381 with flag 56001/309960
602.69/308.70	c cleaning 11092 clauses out of 22197 with flag 68000/321959
633.24/324.29	c cleaning 12048 clauses out of 24106 with flag 81001/334960
666.35/341.20	c cleaning 13019 clauses out of 26058 with flag 95001/348960
701.57/359.12	c cleaning 14012 clauses out of 28038 with flag 110000/363959
735.56/376.47	c cleaning 15009 clauses out of 30026 with flag 126000/379959
771.97/395.00	c cleaning 16001 clauses out of 32018 with flag 143001/396960
815.17/417.03	c cleaning 17000 clauses out of 34016 with flag 161000/414959
859.84/439.78	c cleaning 18000 clauses out of 36016 with flag 180000/433959
903.35/461.80	c cleaning 19005 clauses out of 38017 with flag 200001/453960
957.46/489.22	c cleaning 19999 clauses out of 40012 with flag 221001/474960
1016.01/519.03	c cleaning 20994 clauses out of 42012 with flag 243000/496959
1070.75/546.72	c cleaning 22004 clauses out of 44018 with flag 266000/519959
1127.75/575.59	c cleaning 23003 clauses out of 46015 with flag 290001/543960
1184.36/604.13	c cleaning 23998 clauses out of 48011 with flag 315000/568959
1236.04/630.48	c cleaning 24999 clauses out of 50013 with flag 341000/594959
1298.96/662.30	c cleaning 25998 clauses out of 52014 with flag 368000/621959
1363.20/694.72	c cleaning 27004 clauses out of 54017 with flag 396001/649960
1429.49/728.30	c cleaning 28001 clauses out of 56013 with flag 425001/678960
1499.01/763.59	c cleaning 28997 clauses out of 58012 with flag 455001/708960
1573.98/801.42	c cleaning 29997 clauses out of 60014 with flag 486000/739959
1656.76/843.22	c cleaning 30996 clauses out of 62018 with flag 518001/771960
1734.89/882.70	c cleaning 32001 clauses out of 64022 with flag 551001/804960
1800.06/916.02	c starts		: 21
1800.06/916.02	c conflicts		: 2942
1800.06/916.02	c decisions		: 24975
1800.06/916.02	c propagations		: 5693774
1800.06/916.02	c inspects		: 105373124
1800.06/916.02	c shortcuts		: 0
1800.06/916.02	c learnt literals	: 0
1800.06/916.02	c learnt binary clauses	: 0
1800.06/916.02	c learnt ternary clauses	: 0
1800.06/916.02	c learnt constraints	: 2940
1800.06/916.02	c ignored constraints	: 0
1800.06/916.02	c root simplifications	: 0
1800.06/916.02	c removed literals (reason simplification)	: 0
1800.06/916.02	c reason swapping (by a shorter reason)	: 0
1800.06/916.02	c Calls to reduceDB	: 0
1800.06/916.02	c number of reductions to clauses (during analyze)	: 0
1800.06/916.02	c number of learned constraints concerned by reduction	: 0
1800.06/916.02	c number of learning phase by resolution	: 0
1800.06/916.02	c number of learning phase by cutting planes	: 0
1800.06/916.02	c speed (assignments/second)	: 8353.174009359916
1800.06/916.02	c non guided choices	0
1800.06/916.02	c learnt constraints type 
1800.06/916.02	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 65
1800.06/916.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2875
1800.06/916.02	c constraints type 
1800.06/916.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76286
1800.06/916.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/916.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75286
1800.06/916.02	c constraints type 
1800.06/916.02	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 76286
1800.06/916.02	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.06/916.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 75286
1800.06/916.02	s SATISFIABLE
1800.06/916.03	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.06/916.03	c objective function=42
1800.06/916.03	c Total wall clock time (in seconds): 915.922

Verifier Data 

OK	42

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-3453946-1307194607/watcher-3453946-1307194607 -o /tmp/evaluation-result-3453946-1307194607/solver-3453946-1307194607 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453946-1307194607.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: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 5775 0 1 0 0 0 0 0 25 0 2 0 831060339 10694979584 5477 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2611079 5489 917 9 0 2602235 0
[pid=21674/tid=21675] ppid=21672 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 7174 0 1 0 0 0 0 0 25 0 2 0 831060339 10694979584 7989 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.116335 s]
/proc/loadavg: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10539868 CPUtime=0.13 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 13373 0 1 0 12 1 0 0 25 0 18 0 831060339 10792824832 13035 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2634967 13035 2133 9 0 2625701 0
[pid=21674/tid=21675] ppid=21672 vsize=10539868 CPUtime=0.1 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 11362 0 1 0 9 1 0 0 18 0 18 0 831060339 10792824832 13036 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 47128348844803 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539868

[startup+0.200328 s]
/proc/loadavg: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10539868 CPUtime=0.26 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 14098 0 1 0 25 1 0 0 25 0 18 0 831060339 10792824832 13729 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2634967 13729 2181 9 0 2625701 0
[pid=21674/tid=21675] ppid=21672 vsize=10539868 CPUtime=0.19 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 11921 0 1 0 18 1 0 0 18 0 18 0 831060339 10792824832 13729 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 47128353340212 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10539868

[startup+0.300335 s]
/proc/loadavg: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10542272 CPUtime=0.47 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 16444 0 1 0 46 1 0 0 25 0 18 0 831060339 10795286528 15412 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2635568 15413 2209 9 0 2626302 0
[pid=21674/tid=21675] ppid=21672 vsize=10542272 CPUtime=0.28 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 12912 0 1 0 27 1 0 0 18 0 18 0 831060339 10795286528 15413 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542272

[startup+0.700222 s]
/proc/loadavg: 3.83 3.70 3.65 3/519 21674
/proc/meminfo: memFree=27473212/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10548236 CPUtime=1.63 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 34571 0 1 0 158 5 0 0 25 0 18 0 831060339 10801393664 31007 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2637059 31010 2228 9 0 2627793 0
[pid=21674/tid=21675] ppid=21672 vsize=10548236 CPUtime=0.68 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) R 21672 21674 16811 0 -1 4202560 23632 0 1 0 65 3 0 0 18 0 18 0 831060339 10801393664 31012 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912505734077 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10548236

[startup+1.50114 s]
/proc/loadavg: 3.83 3.70 3.65 5/537 21692
/proc/meminfo: memFree=27167668/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10552348 CPUtime=2.78 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 92549 0 1 0 266 12 0 0 25 0 19 0 831060339 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638087 88984 2236 9 0 2628821 0
[pid=21674/tid=21675] ppid=21672 vsize=10552348 CPUtime=1.11 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 74279 0 1 0 102 9 0 0 19 0 19 0 831060339 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 831060342 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831060342 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831060342 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10552348 CPUtime=0.64 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4373 0 0 0 64 0 0 0 21 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10552348 CPUtime=0.6 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5466 0 0 0 59 1 0 0 21 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831060345 10805604352 88984 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10552348

[startup+3.10088 s]
/proc/loadavg: 3.83 3.70 3.65 4/538 21699
/proc/meminfo: memFree=27099832/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10552348 CPUtime=3.99 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 109936 0 1 0 384 15 0 0 25 0 19 0 831060339 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638087 106369 2242 9 0 2628821 0
[pid=21674/tid=21675] ppid=21672 vsize=10552348 CPUtime=1.25 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75292 0 1 0 116 9 0 0 17 0 19 0 831060339 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060341 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831060342 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831060342 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831060342 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10552348 CPUtime=0.91 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4396 0 0 0 91 0 0 0 15 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10552348 CPUtime=0.75 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5486 0 0 0 74 1 0 0 16 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831060345 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21696] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21696/stat : 21696 (java) S 21672 21674 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831060456 10805604352 106369 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10552348

[startup+6.30133 s]
/proc/loadavg: 4.01 3.74 3.66 5/541 21708
/proc/meminfo: memFree=26236216/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10552348 CPUtime=10.37 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 395940 0 1 0 991 46 0 0 25 0 22 0 831060339 10805604352 392370 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638087 392376 2244 9 0 2628821 0
[pid=21674/tid=21675] ppid=21672 vsize=10552348 CPUtime=1.28 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75622 0 1 0 119 9 0 0 15 0 22 0 831060339 10805604352 392381 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392381 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392383 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392390 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392393 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392393 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392398 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392404 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060341 10805604352 392405 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831060342 10805604352 392405 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831060342 10805604352 392412 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831060342 10805604352 392416 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10805604352 392416 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10552348 CPUtime=1.09 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4424 0 0 0 109 0 0 0 15 0 22 0 831060345 10805604352 392420 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10552348 CPUtime=0.98 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5512 0 0 0 97 1 0 0 15 0 22 0 831060345 10805604352 392427 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10552348 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10805604352 392428 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0

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

/proc/meminfo: memFree=21916084/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10553052 CPUtime=1614.85 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 1023473 0 1 0 161337 148 0 0 25 0 22 0 831060339 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638263 1014961 2269 9 0 2628997 0
[pid=21674/tid=21675] ppid=21672 vsize=10553052 CPUtime=1.37 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75628 0 1 0 128 9 0 0 15 0 22 0 831060339 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10553052 CPUtime=1 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 31548 0 0 0 96 4 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10553052 CPUtime=0.72 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 10407 0 0 0 71 1 0 0 15 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10553052 CPUtime=0.76 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 13325 0 0 0 75 1 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10553052 CPUtime=1.11 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 27543 0 0 0 108 3 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10553052 CPUtime=0.96 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 18307 0 0 0 94 2 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10553052 CPUtime=0.96 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 26068 0 0 0 92 4 0 0 16 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10553052 CPUtime=0.88 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 26117 0 0 0 85 3 0 0 15 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10553052 CPUtime=0.84 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 21574 0 0 0 81 3 0 0 15 0 22 0 831060341 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10553052 CPUtime=31.08 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 84345 0 0 0 3097 11 0 0 15 0 22 0 831060342 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10553052 CPUtime=1.39 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4474 0 0 0 139 0 0 0 15 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10553052 CPUtime=1.21 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5656 0 0 0 120 1 0 0 15 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831060345 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21711] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21711/stat : 21711 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831061560 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21721] ppid=21672 vsize=10553052 CPUtime=564.95 cores=0,2,4,6
/proc/21674/task/21721/stat : 21721 (java) R 21672 21674 16811 0 -1 4202560 33 0 0 0 56493 2 0 0 25 0 22 0 831083778 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506041493 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21674/tid=21722] ppid=21672 vsize=10553052 CPUtime=564.95 cores=0,2,4,6
/proc/21674/task/21722/stat : 21722 (java) R 21672 21674 16811 0 -1 4202560 9 0 0 0 56483 12 0 0 25 0 22 0 831083778 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506181592 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21674/tid=21723] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21723/stat : 21723 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831083779 10806325248 1014961 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1614.85
Current children cumulated vsize (KiB) 10553052

[startup+882.32 s]
/proc/loadavg: 3.87 3.94 3.81 3/514 21764
/proc/meminfo: memFree=24909252/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10553052 CPUtime=1734.13 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 1043661 0 1 0 173260 153 0 0 25 0 22 0 831060339 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638263 1034175 2269 9 0 2628997 0
[pid=21674/tid=21675] ppid=21672 vsize=10553052 CPUtime=1.37 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75629 0 1 0 128 9 0 0 15 0 22 0 831060339 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10553052 CPUtime=1.03 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 32948 0 0 0 99 4 0 0 16 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10553052 CPUtime=0.8 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 14019 0 0 0 78 2 0 0 16 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10553052 CPUtime=0.83 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 15455 0 0 0 81 2 0 0 16 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10553052 CPUtime=1.17 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 27543 0 0 0 114 3 0 0 15 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10553052 CPUtime=1.04 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 22131 0 0 0 102 2 0 0 16 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10553052 CPUtime=1.03 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 26537 0 0 0 99 4 0 0 15 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10553052 CPUtime=0.97 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 30155 0 0 0 93 4 0 0 15 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10553052 CPUtime=0.95 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 24685 0 0 0 92 3 0 0 15 0 22 0 831060341 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10553052 CPUtime=32.1 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 85942 0 0 0 3198 12 0 0 15 0 22 0 831060342 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10553052 CPUtime=1.39 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4474 0 0 0 139 0 0 0 15 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10553052 CPUtime=1.21 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5656 0 0 0 120 1 0 0 15 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831060345 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21711] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21711/stat : 21711 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831061560 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21721] ppid=21672 vsize=10553052 CPUtime=623.78 cores=0,2,4,6
/proc/21674/task/21721/stat : 21721 (java) R 21672 21674 16811 0 -1 4202560 35 0 0 0 62376 2 0 0 25 0 22 0 831083778 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506158288 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21674/tid=21722] ppid=21672 vsize=10553052 CPUtime=623.78 cores=0,2,4,6
/proc/21674/task/21722/stat : 21722 (java) R 21672 21674 16811 0 -1 4202560 11 0 0 0 62365 13 0 0 25 0 22 0 831083778 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912505599153 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21674/tid=21723] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21723/stat : 21723 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831083779 10806325248 1034175 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1734.13
Current children cumulated vsize (KiB) 10553052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+916.001 s]
/proc/loadavg: 2.99 3.71 3.74 3/514 21764
/proc/meminfo: memFree=24879352/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=10553052 CPUtime=1800.06 cores=0,2,4,6
/proc/21674/stat : 21674 (java) S 21672 21674 16811 0 -1 4202496 1051640 0 1 0 179850 156 0 0 25 0 22 0 831060339 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 2638263 1041676 2270 9 0 2628997 0
[pid=21674/tid=21675] ppid=21672 vsize=10553052 CPUtime=1.37 cores=0,2,4,6
/proc/21674/task/21675/stat : 21675 (java) S 21672 21674 16811 0 -1 4202560 75629 0 1 0 128 9 0 0 15 0 22 0 831060339 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21677] ppid=21672 vsize=10553052 CPUtime=1.05 cores=0,2,4,6
/proc/21674/task/21677/stat : 21677 (java) S 21672 21674 16811 0 -1 4202560 34153 0 0 0 101 4 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21678] ppid=21672 vsize=10553052 CPUtime=0.84 cores=0,2,4,6
/proc/21674/task/21678/stat : 21678 (java) S 21672 21674 16811 0 -1 4202560 17040 0 0 0 81 3 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21679] ppid=21672 vsize=10553052 CPUtime=0.88 cores=0,2,4,6
/proc/21674/task/21679/stat : 21679 (java) S 21672 21674 16811 0 -1 4202560 15455 0 0 0 86 2 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21680] ppid=21672 vsize=10553052 CPUtime=1.22 cores=0,2,4,6
/proc/21674/task/21680/stat : 21680 (java) S 21672 21674 16811 0 -1 4202560 27753 0 0 0 119 3 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21681] ppid=21672 vsize=10553052 CPUtime=1.08 cores=0,2,4,6
/proc/21674/task/21681/stat : 21681 (java) S 21672 21674 16811 0 -1 4202560 23329 0 0 0 106 2 0 0 15 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21682] ppid=21672 vsize=10553052 CPUtime=1.08 cores=0,2,4,6
/proc/21674/task/21682/stat : 21682 (java) S 21672 21674 16811 0 -1 4202560 28872 0 0 0 104 4 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21683] ppid=21672 vsize=10553052 CPUtime=1 cores=0,2,4,6
/proc/21674/task/21683/stat : 21683 (java) S 21672 21674 16811 0 -1 4202560 30155 0 0 0 96 4 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21684] ppid=21672 vsize=10553052 CPUtime=0.97 cores=0,2,4,6
/proc/21674/task/21684/stat : 21684 (java) S 21672 21674 16811 0 -1 4202560 24685 0 0 0 94 3 0 0 16 0 22 0 831060341 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21685] ppid=21672 vsize=10553052 CPUtime=33.73 cores=0,2,4,6
/proc/21674/task/21685/stat : 21685 (java) S 21672 21674 16811 0 -1 4202560 85944 0 0 0 3361 12 0 0 15 0 22 0 831060342 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 0 0 16800975 18446604449910109184 0 0 -1 0 0 0 0
[pid=21674/tid=21686] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21686/stat : 21686 (java) S 21672 21674 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21687] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21687/stat : 21687 (java) S 21672 21674 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831060342 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21688] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21688/stat : 21688 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658970033 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21689] ppid=21672 vsize=10553052 CPUtime=1.41 cores=0,2,4,6
/proc/21674/task/21689/stat : 21689 (java) S 21672 21674 16811 0 -1 4202560 4477 0 0 0 141 0 0 0 15 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21690] ppid=21672 vsize=10553052 CPUtime=1.21 cores=0,2,4,6
/proc/21674/task/21690/stat : 21690 (java) S 21672 21674 16811 0 -1 4202560 5656 0 0 0 120 1 0 0 15 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21691] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21691/stat : 21691 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962329 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
[pid=21674/tid=21692] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21692/stat : 21692 (java) S 21672 21674 16811 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831060345 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 4 0 0 0
[pid=21674/tid=21711] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21711/stat : 21711 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831061560 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 2 0 0 0
[pid=21674/tid=21721] ppid=21672 vsize=10553052 CPUtime=655.78 cores=0,2,4,6
/proc/21674/task/21721/stat : 21721 (java) R 21672 21674 16811 0 -1 4202560 37 0 0 0 65576 2 0 0 25 0 22 0 831083778 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506158288 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21674/tid=21722] ppid=21672 vsize=10553052 CPUtime=655.78 cores=0,2,4,6
/proc/21674/task/21722/stat : 21722 (java) R 21672 21674 16811 0 -1 4202560 12 0 0 0 65563 15 0 0 25 0 22 0 831083778 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 46912506338695 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21674/tid=21723] ppid=21672 vsize=10553052 CPUtime=0 cores=0,2,4,6
/proc/21674/task/21723/stat : 21723 (java) S 21672 21674 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831083779 10806325248 1041676 33554432000 1073741824 1073778376 140735383249296 18446744073709551615 210658962944 0 4 0 16800975 18446604449910109184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10553052

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

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

[startup+916.126 s]
/proc/loadavg: 2.99 3.71 3.74 3/514 21764
/proc/meminfo: memFree=24879352/32951132 swapFree=57925096/67111528
[pid=21674] ppid=21672 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/21674/stat : 21674 (java) Z 21672 21674 16811 0 -1 4203548 1051668 0 1 0 179855 165 0 0 17 0 2 0 831060339 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21674/statm: 0 0 0 0 0 0 0
[pid=21674/tid=21722] ppid=21672 vsize=0 CPUtime=655.89 cores=0,2,4,6
/proc/21674/task/21722/stat : 21722 (java) R 21672 21674 16811 0 -1 4203588 12 0 0 0 65565 24 0 0 25 0 2 0 831083778 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 916.187
CPU time (s): 1800.27
CPU user time (s): 1798.56
CPU system time (s): 1.71174
CPU usage (%): 196.496
Max. virtual memory (cumulated for all children) (KiB): 10553052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.71174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1051668
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= 23704
involuntary context switches= 9036

runsolver used 5.04523 second user time and 10.7124 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-04 15:36:47
IDJOB=3453946
IDBENCH=48150
IDSOLVER=1950
FILE ID=node129/3453946-1307194607
RUNJOBID= node129-1307194055-21152
PBS_JOBID= 13508828
Free space on /tmp= 73880 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453946-1307194607/watcher-3453946-1307194607 -o /tmp/evaluation-result-3453946-1307194607/solver-3453946-1307194607 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453946-1307194607.opb

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

MD5SUM BENCH= cb610107b772b4f0726736eafa902b12
RANDOM SEED=646676936

node129.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.831
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.66
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.831
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.83
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.831
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.75
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.831
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.82
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.831
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.74
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.831
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.83
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.831
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.831
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	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      27473500 kB
Buffers:        323300 kB
Cached:        2146964 kB
SwapCached:      49348 kB
Active:        2018048 kB
Inactive:      3175148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      27473500 kB
SwapTotal:    67111528 kB
SwapFree:     57925096 kB
Dirty:            1252 kB
Writeback:           0 kB
AnonPages:     2684620 kB
Mapped:          23200 kB
Slab:           154276 kB
PageTables:      62480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 157681524 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73880 MiB
End job on node129 at 2011-06-04 15:52:05