Trace number 3454373

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)-44 1800.46 929.374

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM09bf68c118cd38b954800f61edb04c4b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1797.42
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints110038
Number of constraints which are clauses110038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
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 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454373-1307189487.opb
0.10/0.11	c reading problem ... 
1.24/0.85	c ... done. Wall clock time 0.74s.
1.24/0.85	c #vars     1400
1.24/0.85	c #constraints  110038
1.24/0.85	c constraints type 
1.24/0.85	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 110038
1.24/0.85	c constraints type 
1.24/0.85	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 110038
1.24/0.88	c  And the winner is Resolution
1.42/1.36	c SATISFIABLE
1.42/1.36	c OPTIMIZING...
1.42/1.36	c Got one! Elapsed wall clock time (in seconds):1.251
1.42/1.36	o -36
1.42/1.39	c  And the winner is Resolution
1.55/1.87	c Got one! Elapsed wall clock time (in seconds):1.761
1.55/1.87	o -37
1.76/1.95	c  And the winner is Resolution
2.12/2.38	c Got one! Elapsed wall clock time (in seconds):2.269
2.12/2.38	o -38
2.12/2.39	c  And the winner is Resolution
2.25/2.89	c Got one! Elapsed wall clock time (in seconds):2.78
2.25/2.89	o -39
2.64/3.03	c  And the winner is Resolution
2.88/3.40	c Got one! Elapsed wall clock time (in seconds):3.288
2.88/3.40	o -40
3.10/3.57	c  And the winner is Resolution
3.31/3.91	c Got one! Elapsed wall clock time (in seconds):3.794
3.31/3.91	o -41
3.91/4.22	c  And the winner is Resolution
4.03/4.41	c Got one! Elapsed wall clock time (in seconds):4.302
4.03/4.41	o -42
7.29/6.05	c cleaning 3508 clauses out of 7016 with flag 5000/7016
11.45/8.13	c cleaning 4752 clauses out of 9509 with flag 11001/13017
16.13/10.52	c cleaning 5878 clauses out of 11757 with flag 18001/20017
21.59/13.35	c cleaning 6940 clauses out of 13879 with flag 26001/28017
24.98/15.16	c  And the winner is Resolution
25.77/15.86	c Got one! Elapsed wall clock time (in seconds):15.747
25.77/15.86	o -43
26.47/16.22	c cleaning 6144 clauses out of 12291 with flag 1001/33369
30.74/18.43	c cleaning 6074 clauses out of 12147 with flag 7001/39369
31.71/19.08	c  And the winner is Resolution
31.90/19.19	c Got one! Elapsed wall clock time (in seconds):19.074
31.90/19.19	o -44
34.60/20.57	c cleaning 5638 clauses out of 11275 with flag 4000/44571
39.46/23.05	c cleaning 5815 clauses out of 11637 with flag 10000/50571
44.08/25.57	c cleaning 6410 clauses out of 12823 with flag 17001/57572
50.06/28.65	c cleaning 7205 clauses out of 14412 with flag 25000/65571
56.97/32.26	c cleaning 8104 clauses out of 16207 with flag 34000/74571
63.70/35.79	c cleaning 9048 clauses out of 18103 with flag 44000/84571
71.87/40.05	c cleaning 10023 clauses out of 20055 with flag 55000/95571
81.15/44.80	c cleaning 11015 clauses out of 22033 with flag 67001/107572
91.24/50.04	c cleaning 12006 clauses out of 24017 with flag 80000/120571
102.10/55.62	c cleaning 12996 clauses out of 26012 with flag 94001/134572
114.38/62.04	c cleaning 14008 clauses out of 28015 with flag 109000/149571
127.81/68.97	c cleaning 15004 clauses out of 30007 with flag 125000/165571
141.79/76.14	c cleaning 15998 clauses out of 32003 with flag 142000/182571
155.96/83.46	c cleaning 17001 clauses out of 34005 with flag 160000/200571
172.15/91.83	c cleaning 17995 clauses out of 36004 with flag 179000/219571
190.64/101.31	c cleaning 19003 clauses out of 38009 with flag 199000/239571
210.87/111.79	c cleaning 19994 clauses out of 40006 with flag 220000/260571
227.31/120.28	c cleaning 21007 clauses out of 42013 with flag 242001/282572
246.87/130.44	c cleaning 21999 clauses out of 44005 with flag 265000/305571
267.93/141.24	c cleaning 23004 clauses out of 46007 with flag 289001/329572
293.28/154.29	c cleaning 23997 clauses out of 48002 with flag 314000/354571
320.19/168.09	c cleaning 24991 clauses out of 50005 with flag 340000/380571
343.32/180.16	c cleaning 26006 clauses out of 52014 with flag 367000/407571
366.28/191.99	c cleaning 26999 clauses out of 54008 with flag 395000/435571
391.83/205.11	c cleaning 28005 clauses out of 56009 with flag 424000/464571
418.91/219.15	c cleaning 29000 clauses out of 58004 with flag 454000/494571
451.16/235.89	c cleaning 29996 clauses out of 60004 with flag 485000/525571
485.72/253.60	c cleaning 30998 clauses out of 62008 with flag 517000/557571
522.42/272.31	c cleaning 31995 clauses out of 64011 with flag 550001/590572
551.12/287.15	c cleaning 33008 clauses out of 66015 with flag 584000/624571
584.06/304.20	c cleaning 33997 clauses out of 68007 with flag 619000/659571
618.84/322.11	c cleaning 35005 clauses out of 70010 with flag 655000/695571
656.29/341.38	c cleaning 35997 clauses out of 72007 with flag 692002/732573
701.62/364.55	c cleaning 36997 clauses out of 74008 with flag 730000/770571
742.17/385.67	c cleaning 38003 clauses out of 76011 with flag 769000/809571
788.52/409.33	c cleaning 39000 clauses out of 78008 with flag 809000/849571
838.30/434.86	c cleaning 39989 clauses out of 80008 with flag 850000/890571
872.08/452.30	c cleaning 0 clauses out of 6026 with flag 0/6029
877.37/455.73	c cleaning 41010 clauses out of 82020 with flag 892001/932572
922.32/478.82	c cleaning 41991 clauses out of 84010 with flag 935001/975572
970.24/503.49	c cleaning 42996 clauses out of 86018 with flag 979000/1019571
1027.93/532.85	c cleaning 44004 clauses out of 88022 with flag 1024000/1064571
1080.34/559.96	c cleaning 45000 clauses out of 90018 with flag 1070000/1110571
1140.65/590.50	c cleaning 46003 clauses out of 92018 with flag 1117000/1157571
1191.90/616.81	c cleaning 47008 clauses out of 94016 with flag 1165001/1205572
1250.25/646.50	c cleaning 48001 clauses out of 96007 with flag 1214000/1254571
1326.45/685.69	c cleaning 48996 clauses out of 98006 with flag 1264000/1304571
1382.36/714.18	c cleaning 49993 clauses out of 100011 with flag 1315001/1355572
1432.66/740.05	c cleaning 51009 clauses out of 102017 with flag 1367000/1407571
1494.86/771.86	c cleaning 52005 clauses out of 104009 with flag 1420001/1460572
1561.70/806.33	c cleaning 52996 clauses out of 106005 with flag 1474002/1514573
1627.13/839.83	c cleaning 53998 clauses out of 108007 with flag 1529000/1569571
1705.27/879.68	c cleaning 55002 clauses out of 110009 with flag 1585000/1625571
1782.50/919.07	c cleaning 55998 clauses out of 112007 with flag 1642000/1682571
1800.10/929.12	c starts		: 218
1800.10/929.12	c conflicts		: 1696800
1800.10/929.12	c decisions		: 1845957
1800.10/929.12	c propagations		: 10278181
1800.10/929.12	c inspects		: 1958602926
1800.10/929.12	c shortcuts		: 0
1800.10/929.12	c learnt literals	: 0
1800.10/929.12	c learnt binary clauses	: 0
1800.10/929.12	c learnt ternary clauses	: 0
1800.10/929.12	c learnt constraints	: 1696800
1800.10/929.12	c ignored constraints	: 0
1800.10/929.12	c root simplifications	: 0
1800.10/929.12	c removed literals (reason simplification)	: 20552572
1800.10/929.12	c reason swapping (by a shorter reason)	: 0
1800.10/929.12	c Calls to reduceDB	: 59
1800.10/929.12	c number of reductions to clauses (during analyze)	: 0
1800.10/929.12	c number of learned constraints concerned by reduction	: 0
1800.10/929.12	c number of learning phase by resolution	: 0
1800.10/929.12	c number of learning phase by cutting planes	: 0
1800.10/929.12	c speed (assignments/second)	: 11295.514514773035
1800.10/929.12	c non guided choices	0
1800.10/929.15	c learnt constraints type 
1800.10/929.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70283
1800.10/929.15	c constraints type 
1800.10/929.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/929.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 110038
1800.10/929.15	c constraints type 
1800.10/929.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 110038
1800.10/929.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.10/929.15	s SATISFIABLE
1800.10/929.15	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 
1800.10/929.16	c objective function=-44
1800.10/929.16	c Total wall clock time (in seconds): 929.044

Verifier Data 

OK	-44

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

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

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


[startup+0 s]
/proc/loadavg: 3.53 3.73 3.71 3/476 28322
/proc/meminfo: memFree=22438940/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 4150 0 1 0 0 0 0 0 25 0 2 0 811364613 10694979584 3852 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2611079 3866 917 9 0 2602235 0
[pid=28322/tid=28323] ppid=28320 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) R 28320 28322 23562 0 -1 4202560 4341 0 1 0 0 0 0 0 25 0 2 0 811364613 10694979584 5158 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.023552 s]
/proc/loadavg: 3.53 3.73 3.71 3/476 28322
/proc/meminfo: memFree=22438940/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 9381 0 1 0 0 1 0 0 25 0 2 0 811364613 10694979584 9083 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2611079 9100 917 9 0 2602235 0
[pid=28322/tid=28323] ppid=28320 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) R 28320 28322 23562 0 -1 4202560 8294 0 1 0 0 0 0 0 25 0 2 0 811364613 10694979584 9110 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316

[startup+0.106561 s]
/proc/loadavg: 3.53 3.73 3.71 3/476 28322
/proc/meminfo: memFree=22438940/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10539956 CPUtime=0.1 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 13113 0 1 0 9 1 0 0 25 0 18 0 811364613 10792914944 12810 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2634989 12811 2093 9 0 2625723 0
[pid=28322/tid=28323] ppid=28320 vsize=10539956 CPUtime=0.09 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) R 28320 28322 23562 0 -1 4202560 11233 0 1 0 8 1 0 0 18 0 18 0 811364613 10792914944 12811 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 47349208581656 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539956

[startup+0.300525 s]
/proc/loadavg: 3.53 3.73 3.71 3/476 28322
/proc/meminfo: memFree=22438940/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10541812 CPUtime=0.47 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 15925 0 1 0 46 1 0 0 25 0 18 0 811364613 10794815488 15253 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2635453 15254 2199 9 0 2626187 0
[pid=28322/tid=28323] ppid=28320 vsize=10541812 CPUtime=0.28 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) R 28320 28322 23562 0 -1 4202560 13034 0 1 0 27 1 0 0 18 0 18 0 811364613 10794815488 15255 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 46912505574346 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) 10541812

[startup+0.700447 s]
/proc/loadavg: 3.53 3.73 3.71 3/476 28322
/proc/meminfo: memFree=22438940/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10547276 CPUtime=1.13 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 56278 0 1 0 106 7 0 0 25 0 18 0 811364613 10800410624 54722 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2636819 54727 2214 9 0 2627553 0
[pid=28322/tid=28323] ppid=28320 vsize=10547276 CPUtime=0.68 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) R 28320 28322 23562 0 -1 4202560 50506 0 1 0 62 6 0 0 18 0 18 0 811364613 10800410624 54729 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 46912505655244 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 10547276

[startup+1.50134 s]
/proc/loadavg: 3.53 3.73 3.71 3/495 28344
/proc/meminfo: memFree=22149436/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10551356 CPUtime=1.55 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 76159 0 1 0 145 10 0 0 25 0 20 0 811364613 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2637839 74306 2230 9 0 2628573 0
[pid=28322/tid=28323] ppid=28320 vsize=10551356 CPUtime=0.85 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) S 28320 28322 23562 0 -1 4202560 69588 0 1 0 76 9 0 0 17 0 20 0 811364613 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28325] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28325/stat : 28325 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811364615 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28326] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28326/stat : 28326 (java) S 28320 28322 23562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 811364615 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28327] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28327/stat : 28327 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811364615 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28328] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28328/stat : 28328 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811364615 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28329] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28329/stat : 28329 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811364615 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28330] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28330/stat : 28330 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811364615 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28331] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28331/stat : 28331 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811364615 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28332] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28332/stat : 28332 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811364615 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28333] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28333/stat : 28333 (java) S 28320 28322 23562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 811364616 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 0 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28334] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28334/stat : 28334 (java) S 28320 28322 23562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 811364617 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28335] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28335/stat : 28335 (java) S 28320 28322 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 811364617 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28336] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28336/stat : 28336 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811364619 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828060081 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28337] ppid=28320 vsize=10551356 CPUtime=0.25 cores=0,2,4,6
/proc/28322/task/28337/stat : 28337 (java) S 28320 28322 23562 0 -1 4202560 2275 0 0 0 25 0 0 0 16 0 20 0 811364619 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28338] ppid=28320 vsize=10551356 CPUtime=0.33 cores=0,2,4,6
/proc/28322/task/28338/stat : 28338 (java) S 28320 28322 23562 0 -1 4202560 2700 0 0 0 33 0 0 0 17 0 20 0 811364619 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28339] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28339/stat : 28339 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811364619 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28340] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28340/stat : 28340 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 811364619 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28343] ppid=28320 vsize=10551356 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28343/stat : 28343 (java) S 28320 28322 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 811364700 10804588544 74306 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10551356

[startup+3.10104 s]
/proc/loadavg: 3.53 3.73 3.71 4/495 28349
/proc/meminfo: memFree=22139888/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10558020 CPUtime=2.88 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 83472 0 1 0 278 10 0 0 25 0 19 0 811364613 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2639505 80067 2240 9 0 2630239 0
[pid=28322/tid=28323] ppid=28320 vsize=10558020 CPUtime=0.86 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) S 28320 28322 23562 0 -1 4202560 69754 0 1 0 77 9 0 0 16 0 19 0 811364613 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28325] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28325/stat : 28325 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811364615 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28326] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28326/stat : 28326 (java) S 28320 28322 23562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811364615 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28327] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28327/stat : 28327 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811364615 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28328] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28328/stat : 28328 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811364615 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28329] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28329/stat : 28329 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811364615 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28330] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28330/stat : 28330 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811364615 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28331] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28331/stat : 28331 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811364615 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28332] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28332/stat : 28332 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811364615 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28333] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28333/stat : 28333 (java) S 28320 28322 23562 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 811364616 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 0 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
[pid=28322/tid=28334] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28334/stat : 28334 (java) S 28320 28322 23562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811364617 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28335] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28335/stat : 28335 (java) S 28320 28322 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811364617 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28336] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28336/stat : 28336 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811364619 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828060081 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28337] ppid=28320 vsize=10558020 CPUtime=0.65 cores=0,2,4,6
/proc/28322/task/28337/stat : 28337 (java) S 28320 28322 23562 0 -1 4202560 2496 0 0 0 65 0 0 0 16 0 19 0 811364619 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28338] ppid=28320 vsize=10558020 CPUtime=0.81 cores=0,2,4,6
/proc/28322/task/28338/stat : 28338 (java) S 28320 28322 23562 0 -1 4202560 5858 0 0 0 81 0 0 0 16 0 19 0 811364619 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28339] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28339/stat : 28339 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811364619 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28340] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28340/stat : 28340 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811364619 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
[pid=28322/tid=28343] ppid=28320 vsize=10558020 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28343/stat : 28343 (java) S 28320 28322 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811364700 10811412480 80067 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 10558020

[startup+6.30138 s]
/proc/loadavg: 3.40 3.70 3.70 6/498 28364
/proc/meminfo: memFree=21862308/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10551484 CPUtime=7.8 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 212171 0 1 0 755 25 0 0 25 0 22 0 811364613 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2637871 206929 2268 9 0 2628605 0
[pid=28322/tid=28323] ppid=28320 vsize=10551484 CPUtime=0.87 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) S 28320 28322 23562 0 -1 4202560 69919 0 1 0 78 9 0 0 15 0 22 0 811364613 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28325] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28325/stat : 28325 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811364615 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28326] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28326/stat : 28326 (java) S 28320 28322 23562 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 811364615 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28327] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28327/stat : 28327 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811364615 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28328] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28328/stat : 28328 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811364615 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28329] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28329/stat : 28329 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811364615 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28330] ppid=28320 vsize=10551484 CPUtime=0.03 cores=0,2,4,6
/proc/28322/task/28330/stat : 28330 (java) S 28320 28322 23562 0 -1 4202560 6078 0 0 0 3 0 0 0 18 0 22 0 811364615 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
[pid=28322/tid=28331] ppid=28320 vsize=10551484 CPUtime=0.04 cores=0,2,4,6
/proc/28322/task/28331/stat : 28331 (java) S 28320 28322 23562 0 -1 4202560 4422 0 0 0 4 0 0 0 18 0 22 0 811364615 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28332] ppid=28320 vsize=10551484 CPUtime=0.04 cores=0,2,4,6
/proc/28322/task/28332/stat : 28332 (java) S 28320 28322 23562 0 -1 4202560 4619 0 0 0 4 0 0 0 17 0 22 0 811364615 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28333] ppid=28320 vsize=10551484 CPUtime=0.16 cores=0,2,4,6
/proc/28322/task/28333/stat : 28333 (java) S 28320 28322 23562 0 -1 4202560 16405 0 0 0 15 1 0 0 16 0 22 0 811364616 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 0 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28334] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28334/stat : 28334 (java) S 28320 28322 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811364617 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28335] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28335/stat : 28335 (java) S 28320 28322 23562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811364617 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28336] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28336/stat : 28336 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811364619 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828060081 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28337] ppid=28320 vsize=10551484 CPUtime=0.69 cores=0,2,4,6
/proc/28322/task/28337/stat : 28337 (java) S 28320 28322 23562 0 -1 4202560 2523 0 0 0 69 0 0 0 16 0 22 0 811364619 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28338] ppid=28320 vsize=10551484 CPUtime=0.98 cores=0,2,4,6
/proc/28322/task/28338/stat : 28338 (java) S 28320 28322 23562 0 -1 4202560 7020 0 0 0 98 0 0 0 16 0 22 0 811364619 10804719616 206929 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0

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

[startup+822.301 s]
/proc/loadavg: 1.91 2.73 3.32 3/472 28415
/proc/meminfo: memFree=19922896/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10551484 CPUtime=1591.95 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 1178461 0 1 0 159045 150 0 0 25 0 22 0 811364613 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2637871 1156843 2269 9 0 2628605 0
[pid=28322/tid=28323] ppid=28320 vsize=10551484 CPUtime=0.88 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) S 28320 28322 23562 0 -1 4202560 69972 0 1 0 79 9 0 0 15 0 22 0 811364613 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28325] ppid=28320 vsize=10551484 CPUtime=1.51 cores=0,2,4,6
/proc/28322/task/28325/stat : 28325 (java) S 28320 28322 23562 0 -1 4202560 17339 0 0 0 149 2 0 0 15 0 22 0 811364615 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28326] ppid=28320 vsize=10551484 CPUtime=1.25 cores=0,2,4,6
/proc/28322/task/28326/stat : 28326 (java) S 28320 28322 23562 0 -1 4202560 15238 0 0 0 123 2 0 0 16 0 22 0 811364615 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28327] ppid=28320 vsize=10551484 CPUtime=1.39 cores=0,2,4,6
/proc/28322/task/28327/stat : 28327 (java) S 28320 28322 23562 0 -1 4202560 32932 0 0 0 134 5 0 0 16 0 22 0 811364615 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28328] ppid=28320 vsize=10551484 CPUtime=1.59 cores=0,2,4,6
/proc/28322/task/28328/stat : 28328 (java) S 28320 28322 23562 0 -1 4202560 38050 0 0 0 153 6 0 0 16 0 22 0 811364615 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28329] ppid=28320 vsize=10551484 CPUtime=1.41 cores=0,2,4,6
/proc/28322/task/28329/stat : 28329 (java) S 28320 28322 23562 0 -1 4202560 21307 0 0 0 138 3 0 0 16 0 22 0 811364615 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28330] ppid=28320 vsize=10551484 CPUtime=1.6 cores=0,2,4,6
/proc/28322/task/28330/stat : 28330 (java) S 28320 28322 23562 0 -1 4202560 50489 0 0 0 152 8 0 0 16 0 22 0 811364615 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28331] ppid=28320 vsize=10551484 CPUtime=1.47 cores=0,2,4,6
/proc/28322/task/28331/stat : 28331 (java) S 28320 28322 23562 0 -1 4202560 24931 0 0 0 144 3 0 0 15 0 22 0 811364615 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28332] ppid=28320 vsize=10551484 CPUtime=1.59 cores=0,2,4,6
/proc/28322/task/28332/stat : 28332 (java) S 28320 28322 23562 0 -1 4202560 20996 0 0 0 156 3 0 0 15 0 22 0 811364615 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28333] ppid=28320 vsize=10551484 CPUtime=53.37 cores=0,2,4,6
/proc/28322/task/28333/stat : 28333 (java) S 28320 28322 23562 0 -1 4202560 288784 0 0 0 5308 29 0 0 18 0 22 0 811364616 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 0 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
[pid=28322/tid=28334] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28334/stat : 28334 (java) S 28320 28322 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811364617 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28335] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28335/stat : 28335 (java) S 28320 28322 23562 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 811364617 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28336] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28336/stat : 28336 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811364619 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828060081 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28337] ppid=28320 vsize=10551484 CPUtime=1.51 cores=0,2,4,6
/proc/28322/task/28337/stat : 28337 (java) S 28320 28322 23562 0 -1 4202560 8876 0 0 0 150 1 0 0 16 0 22 0 811364619 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28338] ppid=28320 vsize=10551484 CPUtime=1.13 cores=0,2,4,6
/proc/28322/task/28338/stat : 28338 (java) S 28320 28322 23562 0 -1 4202560 7099 0 0 0 113 0 0 0 15 0 22 0 811364619 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28339] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28339/stat : 28339 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811364619 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28340] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28340/stat : 28340 (java) S 28320 28322 23562 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 811364619 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28343] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28343/stat : 28343 (java) S 28320 28322 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811364700 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
[pid=28322/tid=28369] ppid=28320 vsize=10551484 CPUtime=747.86 cores=0,2,4,6
/proc/28322/task/28369/stat : 28369 (java) R 28320 28322 23562 0 -1 4202560 24322 0 0 0 74782 4 0 0 25 0 22 0 811366532 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 46912505945384 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28322/tid=28370] ppid=28320 vsize=10551484 CPUtime=747.77 cores=0,2,4,6
/proc/28322/task/28370/stat : 28370 (java) R 28320 28322 23562 0 -1 4202560 404053 0 0 0 74728 49 0 0 25 0 22 0 811366532 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 46912506097524 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28322/tid=28371] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28371/stat : 28371 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811366532 10804719616 1156843 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1591.95
Current children cumulated vsize (KiB) 10551484

[startup+882.318 s]
/proc/loadavg: 1.96 2.59 3.24 3/471 28417
/proc/meminfo: memFree=19507188/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10551484 CPUtime=1708.96 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 1314186 0 1 0 170713 183 0 0 25 0 22 0 811364613 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2637871 1260700 2269 9 0 2628605 0
[pid=28322/tid=28323] ppid=28320 vsize=10551484 CPUtime=0.88 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) S 28320 28322 23562 0 -1 4202560 69973 0 1 0 79 9 0 0 15 0 22 0 811364613 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28325] ppid=28320 vsize=10551484 CPUtime=1.74 cores=0,2,4,6
/proc/28322/task/28325/stat : 28325 (java) S 28320 28322 23562 0 -1 4202560 40815 0 0 0 166 8 0 0 16 0 22 0 811364615 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28326] ppid=28320 vsize=10551484 CPUtime=1.42 cores=0,2,4,6
/proc/28322/task/28326/stat : 28326 (java) S 28320 28322 23562 0 -1 4202560 25717 0 0 0 139 3 0 0 16 0 22 0 811364615 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28327] ppid=28320 vsize=10551484 CPUtime=1.52 cores=0,2,4,6
/proc/28322/task/28327/stat : 28327 (java) S 28320 28322 23562 0 -1 4202560 50866 0 0 0 143 9 0 0 16 0 22 0 811364615 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28328] ppid=28320 vsize=10551484 CPUtime=1.92 cores=0,2,4,6
/proc/28322/task/28328/stat : 28328 (java) S 28320 28322 23562 0 -1 4202560 58358 0 0 0 180 12 0 0 16 0 22 0 811364615 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28329] ppid=28320 vsize=10551484 CPUtime=1.56 cores=0,2,4,6
/proc/28322/task/28329/stat : 28329 (java) S 28320 28322 23562 0 -1 4202560 28925 0 0 0 152 4 0 0 15 0 22 0 811364615 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28330] ppid=28320 vsize=10551484 CPUtime=1.87 cores=0,2,4,6
/proc/28322/task/28330/stat : 28330 (java) S 28320 28322 23562 0 -1 4202560 57555 0 0 0 176 11 0 0 16 0 22 0 811364615 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28331] ppid=28320 vsize=10551484 CPUtime=1.75 cores=0,2,4,6
/proc/28322/task/28331/stat : 28331 (java) S 28320 28322 23562 0 -1 4202560 62791 0 0 0 164 11 0 0 16 0 22 0 811364615 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28332] ppid=28320 vsize=10551484 CPUtime=1.67 cores=0,2,4,6
/proc/28322/task/28332/stat : 28332 (java) S 28320 28322 23562 0 -1 4202560 31968 0 0 0 161 6 0 0 15 0 22 0 811364615 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28333] ppid=28320 vsize=10551484 CPUtime=57.19 cores=0,2,4,6
/proc/28322/task/28333/stat : 28333 (java) S 28320 28322 23562 0 -1 4202560 288788 0 0 0 5690 29 0 0 18 0 22 0 811364616 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 0 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
[pid=28322/tid=28334] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28334/stat : 28334 (java) S 28320 28322 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811364617 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28335] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28335/stat : 28335 (java) S 28320 28322 23562 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 811364617 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28336] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28336/stat : 28336 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811364619 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828060081 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28337] ppid=28320 vsize=10551484 CPUtime=1.51 cores=0,2,4,6
/proc/28322/task/28337/stat : 28337 (java) S 28320 28322 23562 0 -1 4202560 8876 0 0 0 150 1 0 0 16 0 22 0 811364619 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28338] ppid=28320 vsize=10551484 CPUtime=1.13 cores=0,2,4,6
/proc/28322/task/28338/stat : 28338 (java) S 28320 28322 23562 0 -1 4202560 7099 0 0 0 113 0 0 0 15 0 22 0 811364619 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28339] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28339/stat : 28339 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811364619 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28340] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28340/stat : 28340 (java) S 28320 28322 23562 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 811364619 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28343] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28343/stat : 28343 (java) S 28320 28322 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811364700 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
[pid=28322/tid=28369] ppid=28320 vsize=10551484 CPUtime=803.62 cores=0,2,4,6
/proc/28322/task/28369/stat : 28369 (java) R 28320 28322 23562 0 -1 4202560 24325 0 0 0 80358 4 0 0 18 0 22 0 811366532 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 46912505916177 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28322/tid=28370] ppid=28320 vsize=10551484 CPUtime=803.53 cores=0,2,4,6
/proc/28322/task/28370/stat : 28370 (java) R 28320 28322 23562 0 -1 4202560 404053 0 0 0 80304 49 0 0 18 0 22 0 811366532 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 46912506097725 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28322/tid=28371] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28371/stat : 28371 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811366532 10804719616 1260700 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1708.96
Current children cumulated vsize (KiB) 10551484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+929.101 s]
/proc/loadavg: 1.98 2.50 3.17 3/471 28418
/proc/meminfo: memFree=19476676/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=10551484 CPUtime=1800.1 cores=0,2,4,6
/proc/28322/stat : 28322 (java) S 28320 28322 23562 0 -1 4202496 1324165 0 1 0 179826 184 0 0 25 0 22 0 811364613 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 2637871 1268275 2269 9 0 2628605 0
[pid=28322/tid=28323] ppid=28320 vsize=10551484 CPUtime=0.88 cores=0,2,4,6
/proc/28322/task/28323/stat : 28323 (java) S 28320 28322 23562 0 -1 4202560 69973 0 1 0 79 9 0 0 15 0 22 0 811364613 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28325] ppid=28320 vsize=10551484 CPUtime=1.75 cores=0,2,4,6
/proc/28322/task/28325/stat : 28325 (java) S 28320 28322 23562 0 -1 4202560 40815 0 0 0 167 8 0 0 15 0 22 0 811364615 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28326] ppid=28320 vsize=10551484 CPUtime=1.61 cores=0,2,4,6
/proc/28322/task/28326/stat : 28326 (java) S 28320 28322 23562 0 -1 4202560 28142 0 0 0 157 4 0 0 16 0 22 0 811364615 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28327] ppid=28320 vsize=10551484 CPUtime=1.6 cores=0,2,4,6
/proc/28322/task/28327/stat : 28327 (java) S 28320 28322 23562 0 -1 4202560 50866 0 0 0 151 9 0 0 16 0 22 0 811364615 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28328] ppid=28320 vsize=10551484 CPUtime=1.92 cores=0,2,4,6
/proc/28322/task/28328/stat : 28328 (java) S 28320 28322 23562 0 -1 4202560 58358 0 0 0 180 12 0 0 15 0 22 0 811364615 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28329] ppid=28320 vsize=10551484 CPUtime=1.7 cores=0,2,4,6
/proc/28322/task/28329/stat : 28329 (java) S 28320 28322 23562 0 -1 4202560 32911 0 0 0 165 5 0 0 16 0 22 0 811364615 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28330] ppid=28320 vsize=10551484 CPUtime=2.06 cores=0,2,4,6
/proc/28322/task/28330/stat : 28330 (java) S 28320 28322 23562 0 -1 4202560 58466 0 0 0 194 12 0 0 16 0 22 0 811364615 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28331] ppid=28320 vsize=10551484 CPUtime=1.8 cores=0,2,4,6
/proc/28322/task/28331/stat : 28331 (java) S 28320 28322 23562 0 -1 4202560 62791 0 0 0 169 11 0 0 15 0 22 0 811364615 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28332] ppid=28320 vsize=10551484 CPUtime=1.76 cores=0,2,4,6
/proc/28322/task/28332/stat : 28332 (java) S 28320 28322 23562 0 -1 4202560 34618 0 0 0 170 6 0 0 16 0 22 0 811364615 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28333] ppid=28320 vsize=10551484 CPUtime=60.01 cores=0,2,4,6
/proc/28322/task/28333/stat : 28333 (java) S 28320 28322 23562 0 -1 4202560 288789 0 0 0 5972 29 0 0 18 0 22 0 811364616 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 0 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28334] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28334/stat : 28334 (java) S 28320 28322 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811364617 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28335] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28335/stat : 28335 (java) S 28320 28322 23562 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 811364617 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28336] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28336/stat : 28336 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811364619 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828060081 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28337] ppid=28320 vsize=10551484 CPUtime=1.52 cores=0,2,4,6
/proc/28322/task/28337/stat : 28337 (java) S 28320 28322 23562 0 -1 4202560 8878 0 0 0 151 1 0 0 15 0 22 0 811364619 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28338] ppid=28320 vsize=10551484 CPUtime=1.13 cores=0,2,4,6
/proc/28322/task/28338/stat : 28338 (java) S 28320 28322 23562 0 -1 4202560 7099 0 0 0 113 0 0 0 15 0 22 0 811364619 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 2 0 0 0
[pid=28322/tid=28339] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28339/stat : 28339 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811364619 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052377 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
[pid=28322/tid=28340] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28340/stat : 28340 (java) S 28320 28322 23562 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811364619 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 0 0 0 0
[pid=28322/tid=28343] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28343/stat : 28343 (java) S 28320 28322 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811364700 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 4 0 0 0
[pid=28322/tid=28369] ppid=28320 vsize=10551484 CPUtime=847.41 cores=0,2,4,6
/proc/28322/task/28369/stat : 28369 (java) R 28320 28322 23562 0 -1 4202560 24327 0 0 0 84737 4 0 0 25 0 22 0 811366532 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 46912505920137 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28322/tid=28370] ppid=28320 vsize=10551484 CPUtime=847.33 cores=0,2,4,6
/proc/28322/task/28370/stat : 28370 (java) R 28320 28322 23562 0 -1 4202560 404053 0 0 0 84684 49 0 0 25 0 22 0 811366532 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 46912506098157 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28322/tid=28371] ppid=28320 vsize=10551484 CPUtime=0 cores=0,2,4,6
/proc/28322/task/28371/stat : 28371 (java) S 28320 28322 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811366532 10804719616 1268275 33554432000 1073741824 1073778376 140736845858192 18446744073709551615 220828052992 0 4 0 16800975 18446604444344313664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10551484

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

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

[startup+929.301 s]
/proc/loadavg: 1.98 2.50 3.17 3/471 28418
/proc/meminfo: memFree=19476676/32951124 swapFree=60476376/67111528
[pid=28322] ppid=28320 vsize=0 CPUtime=1800.37 cores=0,2,4,6
/proc/28322/stat : 28322 (java) R 28320 28322 23562 0 -1 4203524 1324193 0 1 0 179839 198 0 0 17 0 1 0 811364613 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28322/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 929.374
CPU time (s): 1800.46
CPU user time (s): 1798.39
CPU system time (s): 2.06069
CPU usage (%): 193.728
Max. virtual memory (cumulated for all children) (KiB): 10558020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 2.06069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1324193
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= 23209
involuntary context switches= 22272

runsolver used 4.66229 second user time and 9.74552 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-04 14:11:27
IDJOB=3454373
IDBENCH=2246
IDSOLVER=1950
FILE ID=node147/3454373-1307189487
RUNJOBID= node147-1307186255-27060
PBS_JOBID= 13508849
Free space on /tmp= 73696 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454373-1307189487/watcher-3454373-1307189487 -o /tmp/evaluation-result-3454373-1307189487/solver-3454373-1307189487 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454373-1307189487.opb

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

MD5SUM BENCH= 09bf68c118cd38b954800f61edb04c4b
RANDOM SEED=61376579

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22439228 kB
Buffers:        325756 kB
Cached:        1492172 kB
SwapCached:      11188 kB
Active:        8888624 kB
Inactive:      1359732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22439228 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:            2804 kB
Writeback:           0 kB
AnonPages:     8427164 kB
Mapped:          30960 kB
Slab:           133972 kB
PageTables:      62352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 131159560 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= 73696 MiB
End job on node147 at 2011-06-04 14:26:58