Trace number 3453911

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)82 1800.32 913.684

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_2.opb
MD5SUM4286ef8a2349cd557f37fdb755cd5234
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark57
Best CPU time to get the best result obtained on this benchmark1797.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 75
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 constraint26
Maximum length of a constraint51
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)31544
Sum of products size (including duplicates)63088
Number of different products31544
Sum of products size63088

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3453911-1307194419.opb
0.10/0.12	c reading problem ... 
1.80/0.85	c ... done. Wall clock time 0.729s.
1.80/0.85	c #vars     32544
1.80/0.85	c #constraints  64088
1.80/0.85	c constraints type 
1.80/0.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 32544
1.80/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31544
1.80/0.85	c constraints type 
1.80/0.85	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 32544
1.80/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31544
2.04/0.99	c  And the winner is Resolution
2.38/1.38	c SATISFIABLE
2.38/1.38	c OPTIMIZING...
2.38/1.38	c Got one! Elapsed wall clock time (in seconds):1.265
2.38/1.38	o 92
2.46/1.42	c  And the winner is Resolution
2.58/1.90	c Got one! Elapsed wall clock time (in seconds):1.786
2.58/1.90	o 91
2.92/2.06	c  And the winner is Resolution
3.11/2.43	c Got one! Elapsed wall clock time (in seconds):2.31
3.11/2.43	o 90
3.37/2.52	c  And the winner is Resolution
3.49/2.95	c Got one! Elapsed wall clock time (in seconds):2.829
3.49/2.95	o 84
9.64/5.92	c cleaning 2598 clauses out of 5208 with flag 5000/5208
15.77/9.05	c cleaning 4301 clauses out of 8611 with flag 11001/11209
22.24/12.37	c cleaning 5652 clauses out of 11309 with flag 18000/18208
29.74/16.18	c cleaning 6824 clauses out of 13657 with flag 26000/26208
38.36/20.56	c cleaning 7910 clauses out of 15834 with flag 35001/35209
47.65/25.28	c cleaning 8952 clauses out of 17924 with flag 45001/45209
56.87/29.94	c  And the winner is CuttingPlanes
56.97/30.01	c Got one! Elapsed wall clock time (in seconds):29.895
56.97/30.01	o 83
61.78/32.48	c cleaning 11647 clauses out of 23311 with flag 5000/59548
67.61/35.41	c cleaning 8829 clauses out of 17664 with flag 11000/65548
74.34/38.93	c cleaning 7911 clauses out of 15835 with flag 18000/72548
82.03/42.90	c cleaning 7960 clauses out of 15925 with flag 26001/80549
90.87/47.38	c cleaning 8478 clauses out of 16965 with flag 35001/89549
100.23/52.11	c cleaning 9238 clauses out of 18486 with flag 45000/99548
111.34/57.88	c cleaning 10121 clauses out of 20249 with flag 56001/110549
123.34/63.93	c cleaning 11057 clauses out of 22128 with flag 68001/122549
135.73/70.23	c cleaning 12026 clauses out of 24070 with flag 81000/135548
149.51/77.21	c cleaning 13015 clauses out of 26044 with flag 95000/149548
151.58/78.46	c  And the winner is CuttingPlanes
151.70/78.59	c Got one! Elapsed wall clock time (in seconds):78.47
151.70/78.59	o 82
155.76/80.67	c cleaning 9487 clauses out of 18980 with flag 4001/155499
161.73/83.74	c cleaning 7740 clauses out of 15492 with flag 10000/161498
168.69/87.36	c cleaning 7369 clauses out of 14752 with flag 17000/168498
176.50/91.32	c cleaning 7688 clauses out of 15384 with flag 25001/176499
185.90/96.28	c cleaning 8340 clauses out of 16695 with flag 34000/185498
196.86/101.86	c cleaning 9173 clauses out of 18355 with flag 44000/195498
207.81/107.49	c cleaning 10088 clauses out of 20182 with flag 55000/206498
220.38/113.81	c cleaning 11043 clauses out of 22094 with flag 67000/218498
233.20/120.43	c cleaning 12023 clauses out of 24052 with flag 80001/231499
245.92/126.98	c cleaning 13011 clauses out of 26029 with flag 94001/245499
260.07/134.18	c cleaning 13995 clauses out of 28018 with flag 109001/260499
276.75/142.67	c cleaning 15007 clauses out of 30022 with flag 125000/276498
293.91/151.45	c cleaning 16002 clauses out of 32015 with flag 142000/293498
313.21/161.29	c cleaning 17001 clauses out of 34015 with flag 160002/311500
332.71/171.20	c cleaning 18002 clauses out of 36012 with flag 179000/330498
353.58/181.75	c cleaning 19001 clauses out of 38011 with flag 199001/350499
374.28/192.36	c cleaning 19999 clauses out of 40010 with flag 220001/371499
395.34/203.04	c cleaning 20996 clauses out of 42010 with flag 242000/393498
421.37/216.24	c cleaning 22003 clauses out of 44015 with flag 265001/416499
447.80/229.60	c cleaning 23002 clauses out of 46011 with flag 289000/440498
476.50/244.29	c cleaning 23998 clauses out of 48009 with flag 314000/465498
507.31/259.89	c cleaning 25001 clauses out of 50011 with flag 340000/491498
535.53/274.16	c cleaning 25990 clauses out of 52010 with flag 367000/518498
564.60/288.82	c cleaning 27003 clauses out of 54021 with flag 395001/546499
595.05/304.37	c cleaning 28000 clauses out of 56017 with flag 424000/575498
628.08/321.08	c cleaning 29006 clauses out of 58017 with flag 454000/605498
661.88/338.18	c cleaning 29998 clauses out of 60011 with flag 485000/636498
699.48/357.19	c cleaning 30997 clauses out of 62013 with flag 517000/668498
736.87/376.20	c cleaning 31996 clauses out of 64016 with flag 550000/701498
776.02/395.96	c cleaning 33001 clauses out of 66020 with flag 584000/735498
811.94/414.19	c cleaning 34002 clauses out of 68019 with flag 619000/770498
850.88/433.80	c cleaning 35001 clauses out of 70017 with flag 655000/806498
890.50/453.96	c cleaning 35997 clauses out of 72016 with flag 692000/843498
932.07/474.99	c cleaning 37001 clauses out of 74019 with flag 730000/881498
979.05/498.64	c cleaning 38002 clauses out of 76020 with flag 769002/920500
1023.99/521.32	c cleaning 38993 clauses out of 78016 with flag 809000/960498
1070.78/545.10	c cleaning 40007 clauses out of 80023 with flag 850000/1001498
1117.07/568.56	c cleaning 41003 clauses out of 82018 with flag 892002/1043500
1161.96/591.27	c cleaning 41996 clauses out of 84014 with flag 935001/1086499
1207.66/614.30	c cleaning 42999 clauses out of 86018 with flag 979001/1130499
1264.05/642.99	c cleaning 44001 clauses out of 88018 with flag 1024000/1175498
1323.97/673.16	c cleaning 44999 clauses out of 90018 with flag 1070001/1221499
1379.59/701.29	c cleaning 46000 clauses out of 92018 with flag 1117000/1268498
1437.88/730.66	c cleaning 46998 clauses out of 94019 with flag 1165001/1316499
1500.10/762.12	c cleaning 48004 clauses out of 96020 with flag 1214000/1365498
1568.43/796.53	c cleaning 48999 clauses out of 98017 with flag 1264001/1415499
1641.49/833.33	c cleaning 49999 clauses out of 100018 with flag 1315001/1466499
1697.81/861.71	c cleaning 50997 clauses out of 102018 with flag 1367000/1518498
1758.07/892.28	c cleaning 52003 clauses out of 104021 with flag 1420000/1571498
1800.11/913.52	c starts		: 20
1800.11/913.52	c conflicts		: 2635
1800.11/913.52	c decisions		: 28238
1800.11/913.52	c propagations		: 6199499
1800.11/913.52	c inspects		: 183364301
1800.11/913.52	c shortcuts		: 0
1800.11/913.52	c learnt literals	: 0
1800.11/913.52	c learnt binary clauses	: 0
1800.11/913.52	c learnt ternary clauses	: 0
1800.11/913.52	c learnt constraints	: 2633
1800.11/913.52	c ignored constraints	: 0
1800.11/913.52	c root simplifications	: 0
1800.11/913.52	c removed literals (reason simplification)	: 0
1800.11/913.52	c reason swapping (by a shorter reason)	: 0
1800.11/913.52	c Calls to reduceDB	: 0
1800.11/913.52	c number of reductions to clauses (during analyze)	: 0
1800.11/913.52	c number of learned constraints concerned by reduction	: 0
1800.11/913.52	c number of learning phase by resolution	: 0
1800.11/913.52	c number of learning phase by cutting planes	: 0
1800.11/913.52	c speed (assignments/second)	: 7425.145490716021
1800.11/913.52	c non guided choices	0
1800.11/913.53	c learnt constraints type 
1800.11/913.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 67
1800.11/913.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2566
1800.11/913.53	c constraints type 
1800.11/913.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 32544
1800.11/913.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.11/913.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31544
1800.11/913.53	c constraints type 
1800.11/913.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 32544
1800.11/913.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.11/913.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31544
1800.11/913.53	s SATISFIABLE
1800.11/913.53	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.11/913.53	c objective function=82
1800.11/913.53	c Total wall clock time (in seconds): 913.413

Verifier Data 

OK	82

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-3453911-1307194419/watcher-3453911-1307194419 -o /tmp/evaluation-result-3453911-1307194419/solver-3453911-1307194419 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453911-1307194419.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 1452 0 1 0 0 0 0 0 25 0 2 0 909672607 88928256 1154 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2607745 1160 906 9 0 2598901 0
[pid=21136/tid=21137] ppid=21134 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 3083 0 1 0 0 0 0 0 25 0 2 0 909672608 10694979584 3899 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.022999 s]
/proc/loadavg: 3.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 6578 0 1 0 0 0 0 0 25 0 2 0 909672607 10694979584 6280 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2611079 6300 917 9 0 2602235 0
[pid=21136/tid=21137] ppid=21134 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 5497 0 1 0 0 0 0 0 25 0 2 0 909672608 10694979584 6313 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.106041 s]
/proc/loadavg: 3.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10539768 CPUtime=0.1 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 12994 0 1 0 9 1 0 0 25 0 18 0 909672607 10792722432 12691 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2634942 12692 2092 9 0 2625676 0
[pid=21136/tid=21137] ppid=21134 vsize=10539768 CPUtime=0.08 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 11096 0 1 0 7 1 0 0 22 0 18 0 909672608 10792722432 12692 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 47348802646787 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539768

[startup+0.30463 s]
/proc/loadavg: 3.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10541440 CPUtime=0.44 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 15631 0 1 0 43 1 0 0 25 0 18 0 909672607 10794434560 15051 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2635360 15052 2208 9 0 2626094 0
[pid=21136/tid=21137] ppid=21134 vsize=10541440 CPUtime=0.28 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 12822 0 1 0 27 1 0 0 22 0 18 0 909672608 10794434560 15052 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912505592676 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10541440

[startup+0.70089 s]
/proc/loadavg: 3.90 3.88 3.76 3/536 21136
/proc/meminfo: memFree=22308640/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10556304 CPUtime=1.6 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 35334 0 1 0 155 5 0 0 25 0 18 0 909672607 10809655296 29756 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2639076 29759 2227 9 0 2629810 0
[pid=21136/tid=21137] ppid=21134 vsize=10556304 CPUtime=0.67 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) R 21134 21136 16455 0 -1 4202560 22629 0 1 0 64 3 0 0 18 0 18 0 909672608 10809655296 29761 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912505661427 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10556304

[startup+1.50076 s]
/proc/loadavg: 3.75 3.85 3.75 6/556 21158
/proc/meminfo: memFree=22119684/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=2.58 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 57569 0 1 0 251 7 0 0 25 0 19 0 909672607 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 51580 2238 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.86 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 38799 0 1 0 81 5 0 0 17 0 19 0 909672608 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909672610 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 909672611 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 14 0 0 0 0 0 0 0 18 0 19 0 909672611 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 19 0 909672611 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=0.69 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 5750 0 0 0 69 0 0 0 16 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=0.64 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6269 0 0 0 64 0 0 0 15 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909672614 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21157] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21157/stat : 21157 (java) S 21134 21136 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909672695 10813865984 51580 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10560416

[startup+3.10139 s]
/proc/loadavg: 3.75 3.85 3.75 4/555 21164
/proc/meminfo: memFree=22094336/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=3.93 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 72339 0 1 0 384 9 0 0 25 0 22 0 909672607 10813865984 66084 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 66092 2244 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.91 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39375 0 1 0 86 5 0 0 17 0 22 0 909672608 10813865984 66092 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66099 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66100 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66105 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66107 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66111 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66115 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66117 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909672610 10813865984 66122 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 909672611 10813865984 66123 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 14 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 66129 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 22 0 909672611 10813865984 66130 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 66135 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=0.95 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6048 0 0 0 94 1 0 0 15 0 22 0 909672614 10813865984 66137 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=0.88 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6308 0 0 0 88 0 0 0 15 0 22 0 909672614 10813865984 66141 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909672614 10813865984 66145 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909672614 10813865984 66147 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21157] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21157/stat : 21157 (java) S 21134 21136 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909672695 10813865984 66152 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 10560416

[startup+6.30078 s]
/proc/loadavg: 3.75 3.85 3.75 7/558 21170
/proc/meminfo: memFree=21205540/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=10.32 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 361485 0 1 0 991 41 0 0 25 0 22 0 909672607 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 355207 2268 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.91 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39375 0 1 0 86 5 0 0 15 0 22 0 909672608 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 451 0 0 0 0 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0.04 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 2883 0 0 0 4 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0.04 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 3327 0 0 0 4 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0.03 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 3424 0 0 0 3 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0.02 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 2264 0 0 0 2 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0.01 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 932 0 0 0 1 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909672610 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=0.22 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 15598 0 0 0 21 1 0 0 16 0 22 0 909672611 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=0.97 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6049 0 0 0 96 1 0 0 15 0 22 0 909672614 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=1.01 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6346 0 0 0 101 0 0 0 15 0 22 0 909672614 10813865984 355207 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0

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

/proc/meminfo: memFree=18089820/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=1619.46 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 989473 0 1 0 161839 107 0 0 25 0 22 0 909672607 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 979852 2270 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.95 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39387 0 1 0 90 5 0 0 15 0 22 0 909672608 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0.59 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 4635 0 0 0 59 0 0 0 15 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0.69 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 16178 0 0 0 67 2 0 0 15 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0.77 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 8522 0 0 0 76 1 0 0 15 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0.81 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 13754 0 0 0 80 1 0 0 16 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0.7 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 9325 0 0 0 69 1 0 0 16 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0.67 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 12924 0 0 0 67 0 0 0 16 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0.7 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 4281 0 0 0 70 0 0 0 16 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0.74 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 10214 0 0 0 73 1 0 0 15 0 22 0 909672610 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=25.61 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 62908 0 0 0 2554 7 0 0 15 0 22 0 909672611 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=1.22 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6375 0 0 0 121 1 0 0 15 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=1.19 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6360 0 0 0 119 0 0 0 15 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 909672614 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21170] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21170/stat : 21170 (java) S 21134 21136 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909672903 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21176] ppid=21134 vsize=10560416 CPUtime=720.34 cores=1,3,5,7
/proc/21136/task/21176/stat : 21176 (java) R 21134 21136 16455 0 -1 4202560 919 0 0 0 72034 0 0 0 25 0 22 0 909680466 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506041796 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21136/tid=21177] ppid=21134 vsize=10560416 CPUtime=720.35 cores=1,3,5,7
/proc/21136/task/21177/stat : 21177 (java) R 21134 21136 16455 0 -1 4202560 180696 0 0 0 72017 18 0 0 25 0 22 0 909680467 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506072604 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21136/tid=21178] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21178/stat : 21178 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909680467 10813865984 979852 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1619.46
Current children cumulated vsize (KiB) 10560416

[startup+882.301 s]
/proc/loadavg: 3.99 3.95 3.84 4/558 21269
/proc/meminfo: memFree=18020836/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=1738.2 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 1002750 0 1 0 173711 109 0 0 25 0 22 0 909672607 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 992549 2270 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.95 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39387 0 1 0 90 5 0 0 15 0 22 0 909672608 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0.64 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 8139 0 0 0 63 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0.72 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 17115 0 0 0 70 2 0 0 15 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0.86 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 10737 0 0 0 85 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0.87 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 16016 0 0 0 86 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0.71 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 9325 0 0 0 70 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0.76 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 13991 0 0 0 76 0 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0.8 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 6605 0 0 0 79 1 0 0 15 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0.79 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 10244 0 0 0 78 1 0 0 16 0 22 0 909672610 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=27.08 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 63837 0 0 0 2701 7 0 0 15 0 22 0 909672611 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=1.22 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6375 0 0 0 121 1 0 0 15 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=1.19 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6360 0 0 0 119 0 0 0 15 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909672614 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21170] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21170/stat : 21170 (java) S 21134 21136 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909672903 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21176] ppid=21134 vsize=10560416 CPUtime=778.73 cores=1,3,5,7
/proc/21136/task/21176/stat : 21176 (java) R 21134 21136 16455 0 -1 4202560 923 0 0 0 77873 0 0 0 25 0 22 0 909680466 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506200535 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21136/tid=21177] ppid=21134 vsize=10560416 CPUtime=778.74 cores=1,3,5,7
/proc/21136/task/21177/stat : 21177 (java) R 21134 21136 16455 0 -1 4202560 180697 0 0 0 77856 18 0 0 25 0 22 0 909680467 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506433621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21136/tid=21178] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21178/stat : 21178 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909680467 10813865984 992549 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1738.2
Current children cumulated vsize (KiB) 10560416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+913.501 s]
/proc/loadavg: 3.99 3.95 3.85 4/558 21270
/proc/meminfo: memFree=18015492/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=10560416 CPUtime=1800.11 cores=1,3,5,7
/proc/21136/stat : 21136 (java) S 21134 21136 16455 0 -1 4202496 1002765 0 1 0 179902 109 0 0 25 0 22 0 909672607 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 2640104 992560 2270 9 0 2630838 0
[pid=21136/tid=21137] ppid=21134 vsize=10560416 CPUtime=0.95 cores=1,3,5,7
/proc/21136/task/21137/stat : 21137 (java) S 21134 21136 16455 0 -1 4202560 39389 0 1 0 90 5 0 0 15 0 22 0 909672608 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21139] ppid=21134 vsize=10560416 CPUtime=0.66 cores=1,3,5,7
/proc/21136/task/21139/stat : 21139 (java) S 21134 21136 16455 0 -1 4202560 8139 0 0 0 65 1 0 0 16 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21140] ppid=21134 vsize=10560416 CPUtime=0.74 cores=1,3,5,7
/proc/21136/task/21140/stat : 21140 (java) S 21134 21136 16455 0 -1 4202560 17116 0 0 0 72 2 0 0 16 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21141] ppid=21134 vsize=10560416 CPUtime=0.88 cores=1,3,5,7
/proc/21136/task/21141/stat : 21141 (java) S 21134 21136 16455 0 -1 4202560 10737 0 0 0 87 1 0 0 16 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21142] ppid=21134 vsize=10560416 CPUtime=0.91 cores=1,3,5,7
/proc/21136/task/21142/stat : 21142 (java) S 21134 21136 16455 0 -1 4202560 16016 0 0 0 90 1 0 0 15 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21143] ppid=21134 vsize=10560416 CPUtime=0.73 cores=1,3,5,7
/proc/21136/task/21143/stat : 21143 (java) S 21134 21136 16455 0 -1 4202560 9325 0 0 0 72 1 0 0 16 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21144] ppid=21134 vsize=10560416 CPUtime=0.79 cores=1,3,5,7
/proc/21136/task/21144/stat : 21144 (java) S 21134 21136 16455 0 -1 4202560 13991 0 0 0 79 0 0 0 15 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21145] ppid=21134 vsize=10560416 CPUtime=0.84 cores=1,3,5,7
/proc/21136/task/21145/stat : 21145 (java) S 21134 21136 16455 0 -1 4202560 6615 0 0 0 83 1 0 0 15 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21146] ppid=21134 vsize=10560416 CPUtime=0.82 cores=1,3,5,7
/proc/21136/task/21146/stat : 21146 (java) S 21134 21136 16455 0 -1 4202560 10244 0 0 0 81 1 0 0 15 0 22 0 909672610 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21147] ppid=21134 vsize=10560416 CPUtime=27.68 cores=1,3,5,7
/proc/21136/task/21147/stat : 21147 (java) S 21134 21136 16455 0 -1 4202560 63837 0 0 0 2761 7 0 0 15 0 22 0 909672611 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 0 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21148] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21148/stat : 21148 (java) S 21134 21136 16455 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21149] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21149/stat : 21149 (java) S 21134 21136 16455 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909672611 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21150] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21150/stat : 21150 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427215281 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21151] ppid=21134 vsize=10560416 CPUtime=1.22 cores=1,3,5,7
/proc/21136/task/21151/stat : 21151 (java) S 21134 21136 16455 0 -1 4202560 6375 0 0 0 121 1 0 0 15 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 7 0 0 0
[pid=21136/tid=21152] ppid=21134 vsize=10560416 CPUtime=1.19 cores=1,3,5,7
/proc/21136/task/21152/stat : 21152 (java) S 21134 21136 16455 0 -1 4202560 6360 0 0 0 119 0 0 0 15 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21153] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21153/stat : 21153 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427207577 0 4 0 16800975 18446604459754203136 0 0 -1 3 0 0 0
[pid=21136/tid=21154] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21154/stat : 21154 (java) S 21134 21136 16455 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909672614 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 5 0 0 0
[pid=21136/tid=21170] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21170/stat : 21170 (java) S 21134 21136 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909672903 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
[pid=21136/tid=21176] ppid=21134 vsize=10560416 CPUtime=809.28 cores=1,3,5,7
/proc/21136/task/21176/stat : 21176 (java) R 21134 21136 16455 0 -1 4202560 923 0 0 0 80928 0 0 0 25 0 22 0 909680466 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912505881831 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21136/tid=21177] ppid=21134 vsize=10560416 CPUtime=809.29 cores=1,3,5,7
/proc/21136/task/21177/stat : 21177 (java) R 21134 21136 16455 0 -1 4202560 180697 0 0 0 80911 18 0 0 25 0 22 0 909680467 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 46912506326621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21136/tid=21178] ppid=21134 vsize=10560416 CPUtime=0 cores=1,3,5,7
/proc/21136/task/21178/stat : 21178 (java) S 21134 21136 16455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909680467 10813865984 992560 33554432000 1073741824 1073778376 140735518816576 18446744073709551615 256427208192 0 4 0 16800975 18446604459754203136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10560416

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

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

[startup+913.626 s]
/proc/loadavg: 3.99 3.95 3.85 4/558 21270
/proc/meminfo: memFree=18015492/32950928 swapFree=58671692/67111528
[pid=21136] ppid=21134 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/21136/stat : 21136 (java) Z 21134 21136 16455 0 -1 4203548 1002795 0 1 0 179907 118 0 0 17 0 2 0 909672607 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21136/statm: 0 0 0 0 0 0 0
[pid=21136/tid=21177] ppid=21134 vsize=0 CPUtime=809.39 cores=1,3,5,7
/proc/21136/task/21177/stat : 21177 (java) R 21134 21136 16455 0 -1 4203588 180697 0 0 0 80912 27 0 0 25 0 2 0 909680467 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 913.684
CPU time (s): 1800.32
CPU user time (s): 1799.07
CPU system time (s): 1.24481
CPU usage (%): 197.039
Max. virtual memory (cumulated for all children) (KiB): 10560416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.24481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1002795
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= 23919
involuntary context switches= 11502

runsolver used 4.92825 second user time and 11.5682 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 15:33:39
IDJOB=3453911
IDBENCH=48115
IDSOLVER=1950
FILE ID=node115/3453911-1307194419
RUNJOBID= node115-1307194194-20871
PBS_JOBID= 13508831
Free space on /tmp= 73840 MiB

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

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

MD5SUM BENCH= 4286ef8a2349cd557f37fdb755cd5234
RANDOM SEED=918547421

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.77
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.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22308928 kB
Buffers:        205840 kB
Cached:         328684 kB
SwapCached:      65828 kB
Active:        1879484 kB
Inactive:      8519412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22308928 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:             852 kB
Writeback:           0 kB
AnonPages:     9802168 kB
Mapped:          35784 kB
Slab:            97100 kB
PageTables:      77152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 162209460 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73836 MiB
End job on node115 at 2011-06-04 15:48:55