Trace number 3453945

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)43 1800.34 922.185

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_3.opb
MD5SUM12e000f4c238d036e0b89e0774c838fa
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.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
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 constraint108
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)75294
Sum of products size (including duplicates)150588
Number of different products75294
Sum of products size150588

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3453945-1307194594.opb
0.11/0.11	c reading problem ... 
2.17/1.16	c ... done. Wall clock time 1.056s.
2.17/1.16	c #vars     76294
2.17/1.16	c #constraints  151588
2.17/1.16	c constraints type 
2.17/1.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76294
2.17/1.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294
2.17/1.16	c constraints type 
2.17/1.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 76294
2.17/1.16	c org.sat4j.pb.constraints.pb.MaxWatchPb => 75294
2.69/1.37	c  And the winner is Resolution
2.94/1.72	c SATISFIABLE
2.94/1.72	c OPTIMIZING...
2.94/1.72	c Got one! Elapsed wall clock time (in seconds):1.614
2.94/1.72	o 50
3.14/1.88	c  And the winner is Resolution
3.60/2.27	c Got one! Elapsed wall clock time (in seconds):2.156
3.60/2.27	o 49
3.99/2.47	c  And the winner is Resolution
4.30/2.81	c Got one! Elapsed wall clock time (in seconds):2.702
4.30/2.81	o 46
8.17/4.68	c  And the winner is Resolution
8.44/4.86	c Got one! Elapsed wall clock time (in seconds):4.753
8.44/4.86	o 45
16.33/8.75	c cleaning 2925 clauses out of 5863 with flag 4000/5863
26.68/14.04	c cleaning 4468 clauses out of 8940 with flag 10002/11865
37.33/19.58	c cleaning 5732 clauses out of 11471 with flag 17001/18864
50.60/26.35	c cleaning 6868 clauses out of 13739 with flag 25001/26864
66.50/34.58	c cleaning 7930 clauses out of 15870 with flag 34000/35863
82.97/42.93	c cleaning 8959 clauses out of 17940 with flag 44000/45863
101.59/52.45	c cleaning 9988 clauses out of 19981 with flag 55000/56863
121.94/62.71	c cleaning 10991 clauses out of 21993 with flag 67000/68863
144.77/74.46	c cleaning 11995 clauses out of 24003 with flag 80001/81864
168.99/86.76	c cleaning 12999 clauses out of 26008 with flag 94001/95864
197.77/101.36	c cleaning 13994 clauses out of 28009 with flag 109001/110864
201.53/103.48	c  And the winner is CuttingPlanes
201.69/103.95	c Got one! Elapsed wall clock time (in seconds):103.844
201.69/103.95	o 44
209.87/108.05	c cleaning 9779 clauses out of 19572 with flag 4000/116421
222.04/114.45	c cleaning 7894 clauses out of 15793 with flag 10000/122421
234.95/121.13	c cleaning 7444 clauses out of 14900 with flag 17001/129422
249.88/128.82	c cleaning 7722 clauses out of 15456 with flag 25001/137422
266.99/137.61	c cleaning 8356 clauses out of 16733 with flag 34000/146421
286.62/147.81	c cleaning 9185 clauses out of 18378 with flag 44001/156422
306.72/158.10	c cleaning 10091 clauses out of 20192 with flag 55000/167421
331.21/170.61	c cleaning 11046 clauses out of 22101 with flag 67000/179421
357.92/184.27	c cleaning 12026 clauses out of 24055 with flag 80000/192421
384.55/197.95	c cleaning 13007 clauses out of 26029 with flag 94000/206421
411.84/211.88	c cleaning 14003 clauses out of 28024 with flag 109002/221423
442.30/227.39	c cleaning 15007 clauses out of 30019 with flag 125000/237421
474.36/243.60	c cleaning 16003 clauses out of 32013 with flag 142001/254422
510.31/262.01	c cleaning 16997 clauses out of 34010 with flag 160001/272422
548.50/281.47	c cleaning 17997 clauses out of 36013 with flag 179001/291422
587.46/301.25	c cleaning 18999 clauses out of 38016 with flag 199001/311422
630.62/323.16	c cleaning 20003 clauses out of 40016 with flag 220000/332421
675.10/345.88	c cleaning 20997 clauses out of 42014 with flag 242001/354422
721.02/369.11	c cleaning 22004 clauses out of 44016 with flag 265000/377421
770.60/394.20	c cleaning 22998 clauses out of 46013 with flag 289001/401422
822.92/420.70	c cleaning 24000 clauses out of 48015 with flag 314001/426422
874.71/447.12	c cleaning 24999 clauses out of 50016 with flag 340002/452423
930.29/475.33	c cleaning 25997 clauses out of 52015 with flag 367000/479421
987.53/504.34	c cleaning 27003 clauses out of 54018 with flag 395000/507421
1040.04/530.99	c cleaning 28001 clauses out of 56016 with flag 424001/536422
1099.97/561.49	c cleaning 28995 clauses out of 58014 with flag 454000/566421
1164.09/593.90	c cleaning 30001 clauses out of 60019 with flag 485000/597421
1225.50/624.84	c cleaning 30998 clauses out of 62019 with flag 517001/629422
1263.95/644.46	c  And the winner is CuttingPlanes
1264.09/644.78	c Got one! Elapsed wall clock time (in seconds):644.669
1264.09/644.78	o 43
1275.37/650.50	c cleaning 27177 clauses out of 54361 with flag 5001/652762
1288.43/657.58	c cleaning 16588 clauses out of 33184 with flag 11001/658762
1302.83/665.12	c cleaning 11791 clauses out of 23596 with flag 18001/665762
1319.03/673.67	c cleaning 9896 clauses out of 19806 with flag 26002/673763
1336.41/682.79	c cleaning 9450 clauses out of 18910 with flag 35002/682763
1355.19/692.72	c cleaning 9724 clauses out of 19458 with flag 45000/692761
1376.37/703.74	c cleaning 10365 clauses out of 20734 with flag 56000/703761
1402.73/717.33	c cleaning 11178 clauses out of 22372 with flag 68003/715764
1432.77/732.71	c cleaning 12090 clauses out of 24191 with flag 81000/728761
1461.15/747.52	c cleaning 13041 clauses out of 26101 with flag 95000/742761
1494.13/764.49	c cleaning 14022 clauses out of 28061 with flag 110001/757762
1528.27/781.90	c cleaning 15018 clauses out of 30038 with flag 126000/773761
1557.42/796.92	c cleaning 16002 clauses out of 32021 with flag 143001/790762
1589.34/813.67	c cleaning 17002 clauses out of 34019 with flag 161001/808762
1628.60/833.74	c cleaning 18005 clauses out of 36017 with flag 180001/827762
1666.69/853.22	c cleaning 19001 clauses out of 38011 with flag 200000/847761
1704.93/872.89	c cleaning 19999 clauses out of 40011 with flag 221001/868762
1745.37/893.73	c cleaning 20997 clauses out of 42014 with flag 243003/890764
1788.22/915.64	c cleaning 22000 clauses out of 44014 with flag 266000/913761
1800.11/922.02	c starts		: 21
1800.11/922.02	c conflicts		: 2765
1800.11/922.02	c decisions		: 24667
1800.11/922.02	c propagations		: 4273849
1800.11/922.02	c inspects		: 97436423
1800.11/922.02	c shortcuts		: 0
1800.11/922.02	c learnt literals	: 0
1800.11/922.02	c learnt binary clauses	: 0
1800.11/922.02	c learnt ternary clauses	: 0
1800.11/922.02	c learnt constraints	: 2763
1800.11/922.02	c ignored constraints	: 0
1800.11/922.02	c root simplifications	: 0
1800.11/922.02	c removed literals (reason simplification)	: 0
1800.11/922.02	c reason swapping (by a shorter reason)	: 0
1800.11/922.02	c Calls to reduceDB	: 0
1800.11/922.02	c number of reductions to clauses (during analyze)	: 0
1800.11/922.02	c number of learned constraints concerned by reduction	: 0
1800.11/922.02	c number of learning phase by resolution	: 0
1800.11/922.02	c number of learning phase by cutting planes	: 0
1800.11/922.02	c speed (assignments/second)	: 15415.900475044817
1800.11/922.02	c non guided choices	0
1800.11/922.02	c learnt constraints type 
1800.11/922.02	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 98
1800.11/922.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2665
1800.11/922.02	c constraints type 
1800.11/922.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76294
1800.11/922.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.11/922.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294
1800.11/922.02	c constraints type 
1800.11/922.02	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 76294
1800.11/922.02	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.11/922.02	c org.sat4j.pb.constraints.pb.MaxWatchPb => 75294
1800.11/922.02	s SATISFIABLE
1800.11/922.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.11/922.03	c objective function=43
1800.11/922.03	c Total wall clock time (in seconds): 921.919

Verifier Data 

OK	43

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-3453945-1307194594/watcher-3453945-1307194594 -o /tmp/evaluation-result-3453945-1307194594/solver-3453945-1307194594 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453945-1307194594.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: 2.74 3.51 3.70 2/387 10633
/proc/meminfo: memFree=23587124/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 1313 0 0 0 0 0 0 0 25 0 2 0 831062206 36646912 1015 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 8947 1016 781 9 0 386 0
[pid=10633/tid=10634] ppid=10630 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) R 10630 10633 10594 0 -1 4202560 4939 0 1 0 0 0 0 0 25 0 2 0 831062206 10694979584 5754 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.065569 s]
/proc/loadavg: 2.74 3.51 3.70 2/387 10633
/proc/meminfo: memFree=23587124/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 11782 0 1 0 4 1 0 0 25 0 18 0 831062206 10724302848 11479 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2618238 11479 1742 9 0 2608972 0
[pid=10633/tid=10634] ppid=10630 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) R 10630 10633 10594 0 -1 4202560 10611 0 1 0 4 1 0 0 25 0 18 0 831062206 10724302848 11482 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 47764774904579 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952

[startup+0.100581 s]
/proc/loadavg: 2.74 3.51 3.70 2/387 10633
/proc/meminfo: memFree=23587124/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10539848 CPUtime=0.11 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 13121 0 1 0 9 2 0 0 25 0 18 0 831062206 10792804352 12780 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2634962 12781 2092 9 0 2625696 0
[pid=10633/tid=10634] ppid=10630 vsize=10539848 CPUtime=0.08 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) R 10630 10633 10594 0 -1 4202560 11189 0 1 0 7 1 0 0 18 0 18 0 831062206 10792804352 12782 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 47764779400019 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539848

[startup+0.300771 s]
/proc/loadavg: 2.74 3.51 3.70 2/387 10633
/proc/meminfo: memFree=23587124/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10542492 CPUtime=0.47 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 16136 0 1 0 45 2 0 0 25 0 18 0 831062206 10795511808 15315 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2635623 15315 2208 9 0 2626357 0
[pid=10633/tid=10634] ppid=10630 vsize=10542492 CPUtime=0.28 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) R 10630 10633 10594 0 -1 4202560 12886 0 1 0 26 2 0 0 18 0 18 0 831062206 10795511808 15315 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 46912505598249 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) 10542492

[startup+0.700437 s]
/proc/loadavg: 2.74 3.51 3.70 2/387 10633
/proc/meminfo: memFree=23587124/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10555264 CPUtime=1.64 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 34562 0 1 0 159 5 0 0 25 0 18 0 831062206 10808590336 29509 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2638816 29511 2227 9 0 2629550 0
[pid=10633/tid=10634] ppid=10630 vsize=10555264 CPUtime=0.68 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) R 10630 10633 10594 0 -1 4202560 22263 0 1 0 65 3 0 0 18 0 18 0 831062206 10808590336 29513 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 46912505546599 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10555264

[startup+1.5013 s]
/proc/loadavg: 2.74 3.51 3.70 2/422 10671
/proc/meminfo: memFree=23271024/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10559376 CPUtime=2.88 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 93898 0 1 0 276 12 0 0 25 0 19 0 831062206 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2639844 88844 2237 9 0 2630578 0
[pid=10633/tid=10634] ppid=10630 vsize=10559376 CPUtime=1.15 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) S 10630 10633 10594 0 -1 4202560 74260 0 1 0 106 9 0 0 19 0 19 0 831062206 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10645] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10645/stat : 10645 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831062208 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10646] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10646/stat : 10646 (java) S 10630 10633 10594 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831062208 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10647] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10647/stat : 10647 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831062208 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10648] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10648/stat : 10648 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831062208 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10649] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10649/stat : 10649 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831062208 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10650] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10650/stat : 10650 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831062208 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10651] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10651/stat : 10651 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831062208 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10652] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10652/stat : 10652 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831062208 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10655] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10655/stat : 10655 (java) S 10630 10633 10594 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 831062209 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 0 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10656] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10656/stat : 10656 (java) S 10630 10633 10594 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831062209 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10657] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10657/stat : 10657 (java) S 10630 10633 10594 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831062209 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10663] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10663/stat : 10663 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831062211 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382780849 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10664] ppid=10630 vsize=10559376 CPUtime=0.66 cores=0,2,4,6
/proc/10633/task/10664/stat : 10664 (java) S 10630 10633 10594 0 -1 4202560 4725 0 0 0 66 0 0 0 15 0 19 0 831062212 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10665] ppid=10630 vsize=10559376 CPUtime=0.64 cores=0,2,4,6
/proc/10633/task/10665/stat : 10665 (java) S 10630 10633 10594 0 -1 4202560 6481 0 0 0 64 0 0 0 21 0 19 0 831062212 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10666] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10666/stat : 10666 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831062212 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10667] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10667/stat : 10667 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831062212 10812801024 88844 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 10559376

[startup+3.10097 s]
/proc/loadavg: 2.74 3.51 3.70 5/426 10687
/proc/meminfo: memFree=23120704/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10559376 CPUtime=5.07 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 141110 0 1 0 490 17 0 0 25 0 22 0 831062206 10812801024 132525 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2639844 132532 2243 9 0 2630578 0
[pid=10633/tid=10634] ppid=10630 vsize=10559376 CPUtime=1.28 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) S 10630 10633 10594 0 -1 4202560 75273 0 1 0 119 9 0 0 17 0 22 0 831062206 10812801024 132532 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10645] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10645/stat : 10645 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 132538 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10646] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10646/stat : 10646 (java) S 10630 10633 10594 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 132542 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10647] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10647/stat : 10647 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 132543 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10648] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10648/stat : 10648 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 132550 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10649] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10649/stat : 10649 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 132552 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10650] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10650/stat : 10650 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 132554 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10651] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10651/stat : 10651 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 132561 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10652] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10652/stat : 10652 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 132562 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10655] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10655/stat : 10655 (java) S 10630 10633 10594 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 831062209 10812801024 132566 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 0 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10656] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10656/stat : 10656 (java) S 10630 10633 10594 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831062209 10812801024 132572 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10657] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10657/stat : 10657 (java) S 10630 10633 10594 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831062209 10812801024 132572 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10663] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10663/stat : 10663 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062211 10812801024 132577 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382780849 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10664] ppid=10630 vsize=10559376 CPUtime=0.94 cores=0,2,4,6
/proc/10633/task/10664/stat : 10664 (java) S 10630 10633 10594 0 -1 4202560 4769 0 0 0 94 0 0 0 15 0 22 0 831062212 10812801024 132582 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10665] ppid=10630 vsize=10559376 CPUtime=1.06 cores=0,2,4,6
/proc/10633/task/10665/stat : 10665 (java) R 10630 10633 10594 0 -1 4202560 10461 0 0 0 105 1 0 0 15 0 22 0 831062212 10812801024 132582 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 47764775722438 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10633/tid=10666] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10666/stat : 10666 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062212 10812801024 132588 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10667] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10667/stat : 10667 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831062212 10812801024 132592 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10678] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10678/stat : 10678 (java) S 10630 10633 10594 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831062327 10812801024 132592 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 10559376

[startup+6.30137 s]
/proc/loadavg: 2.84 3.51 3.70 5/429 10696
/proc/meminfo: memFree=21710696/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10559376 CPUtime=11.42 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 376225 0 1 0 1098 44 0 0 25 0 22 0 831062206 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2639844 367232 2246 9 0 2630578 0
[pid=10633/tid=10634] ppid=10630 vsize=10559376 CPUtime=1.32 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) S 10630 10633 10594 0 -1 4202560 75604 0 1 0 123 9 0 0 15 0 22 0 831062206 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10645] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10645/stat : 10645 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10646] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10646/stat : 10646 (java) S 10630 10633 10594 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10647] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10647/stat : 10647 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10648] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10648/stat : 10648 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10649] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10649/stat : 10649 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10650] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10650/stat : 10650 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10651] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10651/stat : 10651 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10652] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10652/stat : 10652 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062208 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10655] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10655/stat : 10655 (java) S 10630 10633 10594 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 831062209 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 0 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10656] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10656/stat : 10656 (java) S 10630 10633 10594 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831062209 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10657] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10657/stat : 10657 (java) S 10630 10633 10594 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831062209 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10663] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10663/stat : 10663 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062211 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382780849 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10664] ppid=10630 vsize=10559376 CPUtime=1.02 cores=0,2,4,6
/proc/10633/task/10664/stat : 10664 (java) S 10630 10633 10594 0 -1 4202560 4799 0 0 0 102 0 0 0 15 0 22 0 831062212 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10665] ppid=10630 vsize=10559376 CPUtime=1.2 cores=0,2,4,6
/proc/10633/task/10665/stat : 10665 (java) R 10630 10633 10594 0 -1 4202560 10494 0 0 0 119 1 0 0 15 0 22 0 831062212 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 47764777790085 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10633/tid=10666] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10666/stat : 10666 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062212 10812801024 367232 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0

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

/proc/meminfo: memFree=18387000/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10559376 CPUtime=1605.79 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 1022910 0 1 0 160465 114 0 0 25 0 22 0 831062206 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2639844 1010334 2271 9 0 2630578 0
[pid=10633/tid=10634] ppid=10630 vsize=10559376 CPUtime=1.41 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) S 10630 10633 10594 0 -1 4202560 75646 0 1 0 132 9 0 0 15 0 22 0 831062206 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10645] ppid=10630 vsize=10559376 CPUtime=0.86 cores=0,2,4,6
/proc/10633/task/10645/stat : 10645 (java) S 10630 10633 10594 0 -1 4202560 15711 0 0 0 85 1 0 0 15 0 22 0 831062208 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10646] ppid=10630 vsize=10559376 CPUtime=0.84 cores=0,2,4,6
/proc/10633/task/10646/stat : 10646 (java) S 10630 10633 10594 0 -1 4202560 7138 0 0 0 84 0 0 0 16 0 22 0 831062208 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10647] ppid=10630 vsize=10559376 CPUtime=0.97 cores=0,2,4,6
/proc/10633/task/10647/stat : 10647 (java) S 10630 10633 10594 0 -1 4202560 8870 0 0 0 96 1 0 0 15 0 22 0 831062208 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10648] ppid=10630 vsize=10559376 CPUtime=1.13 cores=0,2,4,6
/proc/10633/task/10648/stat : 10648 (java) S 10630 10633 10594 0 -1 4202560 17870 0 0 0 111 2 0 0 16 0 22 0 831062208 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10649] ppid=10630 vsize=10559376 CPUtime=1.03 cores=0,2,4,6
/proc/10633/task/10649/stat : 10649 (java) S 10630 10633 10594 0 -1 4202560 22735 0 0 0 101 2 0 0 16 0 22 0 831062208 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10650] ppid=10630 vsize=10559376 CPUtime=1.03 cores=0,2,4,6
/proc/10633/task/10650/stat : 10650 (java) S 10630 10633 10594 0 -1 4202560 18241 0 0 0 101 2 0 0 15 0 22 0 831062208 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10651] ppid=10630 vsize=10559376 CPUtime=0.95 cores=0,2,4,6
/proc/10633/task/10651/stat : 10651 (java) S 10630 10633 10594 0 -1 4202560 15708 0 0 0 94 1 0 0 16 0 22 0 831062208 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10652] ppid=10630 vsize=10559376 CPUtime=1.02 cores=0,2,4,6
/proc/10633/task/10652/stat : 10652 (java) S 10630 10633 10594 0 -1 4202560 19166 0 0 0 99 3 0 0 15 0 22 0 831062208 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10655] ppid=10630 vsize=10559376 CPUtime=40.02 cores=0,2,4,6
/proc/10633/task/10655/stat : 10655 (java) S 10630 10633 10594 0 -1 4202560 90126 0 0 0 3993 9 0 0 15 0 22 0 831062209 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 0 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10656] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10656/stat : 10656 (java) S 10630 10633 10594 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831062209 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10657] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10657/stat : 10657 (java) S 10630 10633 10594 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 831062209 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10663] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10663/stat : 10663 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062211 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382780849 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10664] ppid=10630 vsize=10559376 CPUtime=1.17 cores=0,2,4,6
/proc/10633/task/10664/stat : 10664 (java) S 10630 10633 10594 0 -1 4202560 4807 0 0 0 117 0 0 0 15 0 22 0 831062212 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10665] ppid=10630 vsize=10559376 CPUtime=1.49 cores=0,2,4,6
/proc/10633/task/10665/stat : 10665 (java) S 10630 10633 10594 0 -1 4202560 10723 0 0 0 148 1 0 0 15 0 22 0 831062212 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10666] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10666/stat : 10666 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062212 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10667] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10667/stat : 10667 (java) S 10630 10633 10594 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831062212 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10696] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10696/stat : 10696 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062693 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10723] ppid=10630 vsize=10559376 CPUtime=162.84 cores=0,2,4,6
/proc/10633/task/10723/stat : 10723 (java) R 10630 10633 10594 0 -1 4202560 2 0 0 0 16284 0 0 0 25 0 22 0 831126684 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 46912506163131 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10633/tid=10724] ppid=10630 vsize=10559376 CPUtime=162.83 cores=0,2,4,6
/proc/10633/task/10724/stat : 10724 (java) R 10630 10633 10594 0 -1 4202560 4 0 0 0 16283 0 0 0 25 0 22 0 831126684 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 46912506080507 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10633/tid=10725] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10725/stat : 10725 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831126685 10812801024 1010334 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1605.79
Current children cumulated vsize (KiB) 10559376

[startup+882.301 s]
/proc/loadavg: 3.85 3.84 3.78 5/429 10731
/proc/meminfo: memFree=18383736/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10559376 CPUtime=1722.54 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 1022964 0 1 0 172139 115 0 0 25 0 22 0 831062206 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2639844 1010379 2271 9 0 2630578 0
[pid=10633/tid=10634] ppid=10630 vsize=10559376 CPUtime=1.41 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) S 10630 10633 10594 0 -1 4202560 75646 0 1 0 132 9 0 0 15 0 22 0 831062206 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10645] ppid=10630 vsize=10559376 CPUtime=0.92 cores=0,2,4,6
/proc/10633/task/10645/stat : 10645 (java) S 10630 10633 10594 0 -1 4202560 15713 0 0 0 91 1 0 0 16 0 22 0 831062208 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10646] ppid=10630 vsize=10559376 CPUtime=0.87 cores=0,2,4,6
/proc/10633/task/10646/stat : 10646 (java) S 10630 10633 10594 0 -1 4202560 7138 0 0 0 87 0 0 0 16 0 22 0 831062208 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10647] ppid=10630 vsize=10559376 CPUtime=1.05 cores=0,2,4,6
/proc/10633/task/10647/stat : 10647 (java) S 10630 10633 10594 0 -1 4202560 8877 0 0 0 104 1 0 0 15 0 22 0 831062208 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10648] ppid=10630 vsize=10559376 CPUtime=1.21 cores=0,2,4,6
/proc/10633/task/10648/stat : 10648 (java) S 10630 10633 10594 0 -1 4202560 17880 0 0 0 119 2 0 0 16 0 22 0 831062208 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10649] ppid=10630 vsize=10559376 CPUtime=1.1 cores=0,2,4,6
/proc/10633/task/10649/stat : 10649 (java) S 10630 10633 10594 0 -1 4202560 22742 0 0 0 108 2 0 0 16 0 22 0 831062208 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10650] ppid=10630 vsize=10559376 CPUtime=1.06 cores=0,2,4,6
/proc/10633/task/10650/stat : 10650 (java) S 10630 10633 10594 0 -1 4202560 18247 0 0 0 104 2 0 0 15 0 22 0 831062208 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10651] ppid=10630 vsize=10559376 CPUtime=0.95 cores=0,2,4,6
/proc/10633/task/10651/stat : 10651 (java) S 10630 10633 10594 0 -1 4202560 15708 0 0 0 94 1 0 0 15 0 22 0 831062208 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10652] ppid=10630 vsize=10559376 CPUtime=1.06 cores=0,2,4,6
/proc/10633/task/10652/stat : 10652 (java) S 10630 10633 10594 0 -1 4202560 19179 0 0 0 103 3 0 0 16 0 22 0 831062208 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10655] ppid=10630 vsize=10559376 CPUtime=43.44 cores=0,2,4,6
/proc/10633/task/10655/stat : 10655 (java) S 10630 10633 10594 0 -1 4202560 90128 0 0 0 4335 9 0 0 15 0 22 0 831062209 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 0 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10656] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10656/stat : 10656 (java) S 10630 10633 10594 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831062209 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10657] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10657/stat : 10657 (java) S 10630 10633 10594 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 831062209 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10663] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10663/stat : 10663 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062211 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382780849 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10664] ppid=10630 vsize=10559376 CPUtime=1.17 cores=0,2,4,6
/proc/10633/task/10664/stat : 10664 (java) S 10630 10633 10594 0 -1 4202560 4807 0 0 0 117 0 0 0 15 0 22 0 831062212 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10665] ppid=10630 vsize=10559376 CPUtime=1.49 cores=0,2,4,6
/proc/10633/task/10665/stat : 10665 (java) S 10630 10633 10594 0 -1 4202560 10723 0 0 0 148 1 0 0 15 0 22 0 831062212 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10666] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10666/stat : 10666 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062212 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10667] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10667/stat : 10667 (java) S 10630 10633 10594 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831062212 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10696] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10696/stat : 10696 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062693 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10723] ppid=10630 vsize=10559376 CPUtime=219.31 cores=0,2,4,6
/proc/10633/task/10723/stat : 10723 (java) R 10630 10633 10594 0 -1 4202560 5 0 0 0 21931 0 0 0 25 0 22 0 831126684 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 46912506014278 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10633/tid=10724] ppid=10630 vsize=10559376 CPUtime=219.3 cores=0,2,4,6
/proc/10633/task/10724/stat : 10724 (java) R 10630 10633 10594 0 -1 4202560 4 0 0 0 21930 0 0 0 25 0 22 0 831126684 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 46912506353820 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10633/tid=10725] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10725/stat : 10725 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831126685 10812801024 1010379 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1722.54
Current children cumulated vsize (KiB) 10559376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+922.001 s]
/proc/loadavg: 3.86 3.85 3.78 4/429 10732
/proc/meminfo: memFree=18382704/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=10559376 CPUtime=1800.11 cores=0,2,4,6
/proc/10633/stat : 10633 (java) S 10630 10633 10594 0 -1 4202496 1022985 0 1 0 179896 115 0 0 25 0 22 0 831062206 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 2639844 1010391 2271 9 0 2630578 0
[pid=10633/tid=10634] ppid=10630 vsize=10559376 CPUtime=1.41 cores=0,2,4,6
/proc/10633/task/10634/stat : 10634 (java) S 10630 10633 10594 0 -1 4202560 75646 0 1 0 132 9 0 0 15 0 22 0 831062206 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10645] ppid=10630 vsize=10559376 CPUtime=0.95 cores=0,2,4,6
/proc/10633/task/10645/stat : 10645 (java) S 10630 10633 10594 0 -1 4202560 15717 0 0 0 94 1 0 0 16 0 22 0 831062208 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10646] ppid=10630 vsize=10559376 CPUtime=0.92 cores=0,2,4,6
/proc/10633/task/10646/stat : 10646 (java) S 10630 10633 10594 0 -1 4202560 7138 0 0 0 92 0 0 0 16 0 22 0 831062208 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10647] ppid=10630 vsize=10559376 CPUtime=1.09 cores=0,2,4,6
/proc/10633/task/10647/stat : 10647 (java) S 10630 10633 10594 0 -1 4202560 8877 0 0 0 108 1 0 0 16 0 22 0 831062208 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10648] ppid=10630 vsize=10559376 CPUtime=1.23 cores=0,2,4,6
/proc/10633/task/10648/stat : 10648 (java) S 10630 10633 10594 0 -1 4202560 17881 0 0 0 121 2 0 0 16 0 22 0 831062208 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10649] ppid=10630 vsize=10559376 CPUtime=1.14 cores=0,2,4,6
/proc/10633/task/10649/stat : 10649 (java) S 10630 10633 10594 0 -1 4202560 22743 0 0 0 112 2 0 0 16 0 22 0 831062208 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10650] ppid=10630 vsize=10559376 CPUtime=1.1 cores=0,2,4,6
/proc/10633/task/10650/stat : 10650 (java) S 10630 10633 10594 0 -1 4202560 18249 0 0 0 108 2 0 0 15 0 22 0 831062208 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10651] ppid=10630 vsize=10559376 CPUtime=0.97 cores=0,2,4,6
/proc/10633/task/10651/stat : 10651 (java) S 10630 10633 10594 0 -1 4202560 15708 0 0 0 96 1 0 0 15 0 22 0 831062208 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 6 0 0 0
[pid=10633/tid=10652] ppid=10630 vsize=10559376 CPUtime=1.09 cores=0,2,4,6
/proc/10633/task/10652/stat : 10652 (java) S 10630 10633 10594 0 -1 4202560 19183 0 0 0 106 3 0 0 15 0 22 0 831062208 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10655] ppid=10630 vsize=10559376 CPUtime=45.41 cores=0,2,4,6
/proc/10633/task/10655/stat : 10655 (java) S 10630 10633 10594 0 -1 4202560 90132 0 0 0 4532 9 0 0 15 0 22 0 831062209 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 0 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10656] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10656/stat : 10656 (java) S 10630 10633 10594 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831062209 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10657] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10657/stat : 10657 (java) S 10630 10633 10594 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 831062209 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10663] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10663/stat : 10663 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062211 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382780849 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10664] ppid=10630 vsize=10559376 CPUtime=1.17 cores=0,2,4,6
/proc/10633/task/10664/stat : 10664 (java) S 10630 10633 10594 0 -1 4202560 4807 0 0 0 117 0 0 0 15 0 22 0 831062212 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10665] ppid=10630 vsize=10559376 CPUtime=1.49 cores=0,2,4,6
/proc/10633/task/10665/stat : 10665 (java) S 10630 10633 10594 0 -1 4202560 10723 0 0 0 148 1 0 0 15 0 22 0 831062212 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10666] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10666/stat : 10666 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831062212 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773145 0 4 0 16800975 18446604451738325312 0 0 -1 4 0 0 0
[pid=10633/tid=10667] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10667/stat : 10667 (java) S 10630 10633 10594 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831062212 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
[pid=10633/tid=10696] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10696/stat : 10696 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831062693 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 0 0 0 0
[pid=10633/tid=10723] ppid=10630 vsize=10559376 CPUtime=256.99 cores=0,2,4,6
/proc/10633/task/10723/stat : 10723 (java) R 10630 10633 10594 0 -1 4202560 7 0 0 0 25699 0 0 0 25 0 22 0 831126684 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 46912506062282 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10633/tid=10724] ppid=10630 vsize=10559376 CPUtime=256.97 cores=0,2,4,6
/proc/10633/task/10724/stat : 10724 (java) R 10630 10633 10594 0 -1 4202560 5 0 0 0 25697 0 0 0 25 0 22 0 831126684 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 46912506080500 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10633/tid=10725] ppid=10630 vsize=10559376 CPUtime=0 cores=0,2,4,6
/proc/10633/task/10725/stat : 10725 (java) S 10630 10633 10594 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831126685 10812801024 1010391 33554432000 1073741824 1073778376 140733241655280 18446744073709551615 218382773760 0 4 0 16800975 18446604451738325312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10559376

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

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

[startup+922.121 s]
/proc/loadavg: 3.86 3.85 3.78 4/429 10732
/proc/meminfo: memFree=18382704/32951124 swapFree=49244120/67111528
[pid=10633] ppid=10630 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/10633/stat : 10633 (java) Z 10630 10633 10594 0 -1 4203548 1023012 0 1 0 179902 124 0 0 17 0 2 0 831062206 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10633/statm: 0 0 0 0 0 0 0
[pid=10633/tid=10723] ppid=10630 vsize=0 CPUtime=257.09 cores=0,2,4,6
/proc/10633/task/10723/stat : 10723 (java) R 10630 10633 10594 0 -1 4203588 7 0 0 0 25701 8 0 0 25 0 2 0 831126684 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 922.185
CPU time (s): 1800.34
CPU user time (s): 1799.02
CPU system time (s): 1.3128
CPU usage (%): 195.225
Max. virtual memory (cumulated for all children) (KiB): 10559376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.3128
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1023012
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= 23717
involuntary context switches= 17251

runsolver used 3.9304 second user time and 7.8578 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-04 15:36:34
IDJOB=3453945
IDBENCH=48149
IDSOLVER=1950
FILE ID=node101/3453945-1307194594
RUNJOBID= node101-1307194594-10612
PBS_JOBID= 13508865
Free space on /tmp= 74004 MiB

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

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

MD5SUM BENCH= 12e000f4c238d036e0b89e0774c838fa
RANDOM SEED=1134023645

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.83
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.841
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.841
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.841
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.841
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:     32951124 kB
MemFree:      23592752 kB
Buffers:        291932 kB
Cached:         641172 kB
SwapCached:      27120 kB
Active:        8508652 kB
Inactive:       570392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23592752 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:            1604 kB
Writeback:           0 kB
AnonPages:     8140784 kB
Mapped:          20056 kB
Slab:           137092 kB
PageTables:      74320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88862456 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= 74004 MiB
End job on node101 at 2011-06-04 15:51:58