Trace number 3458313

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 Resolution 2.3.0SAT (TO)86 1800.16 1797.18

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_5.opb
MD5SUMd79bd0f7d6fceec4ec599aa8716e2601
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark58
Best CPU time to get the best result obtained on this benchmark1797.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31590
Sum of products size (including duplicates)63180
Number of different products31590
Sum of products size63180

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3458313-1307158754.opb
0.10/0.12	c reading problem ... 
1.34/0.69	c ... done. Wall clock time 0.578s.
1.34/0.69	c #vars     32590
1.34/0.69	c #constraints  64180
1.34/0.69	c constraints type 
1.34/0.69	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 32590
1.34/0.69	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31590
1.78/0.84	c SATISFIABLE
1.78/0.84	c OPTIMIZING...
1.78/0.84	c Got one! Elapsed wall clock time (in seconds):0.73
1.78/0.84	o 92
1.99/0.94	c Got one! Elapsed wall clock time (in seconds):0.824
1.99/0.94	o 91
2.23/1.02	c Got one! Elapsed wall clock time (in seconds):0.892
2.23/1.02	o 90
2.23/1.05	c Got one! Elapsed wall clock time (in seconds):0.935
2.23/1.05	o 89
2.44/1.22	c Got one! Elapsed wall clock time (in seconds):1.107
2.44/1.22	o 88
5.34/4.03	c cleaning 2623 clauses out of 5252 with flag 5001/5252
8.35/6.99	c cleaning 4306 clauses out of 8628 with flag 11000/11251
11.96/10.50	c cleaning 5656 clauses out of 11322 with flag 18000/18251
13.77/12.39	c Got one! Elapsed wall clock time (in seconds):12.271
13.77/12.39	o 87
14.70/13.27	c cleaning 5563 clauses out of 11139 with flag 2001/23724
17.71/16.25	c cleaning 5782 clauses out of 11575 with flag 8000/29723
21.52/20.03	c cleaning 6390 clauses out of 12793 with flag 15000/36723
25.53/24.11	c cleaning 7192 clauses out of 14404 with flag 23001/44724
30.43/28.92	c cleaning 8099 clauses out of 16211 with flag 32000/53723
35.13/33.63	c cleaning 9046 clauses out of 18113 with flag 42001/63724
40.94/39.42	c cleaning 10032 clauses out of 20069 with flag 53003/74726
47.05/45.53	c cleaning 11010 clauses out of 22034 with flag 65000/86723
53.17/51.62	c cleaning 12004 clauses out of 24024 with flag 78000/99723
60.66/59.14	c Got one! Elapsed wall clock time (in seconds):59.021
60.66/59.14	o 86
62.46/60.92	c cleaning 15163 clauses out of 30346 with flag 5001/118049
64.58/63.06	c cleaning 10580 clauses out of 21182 with flag 11000/124048
68.09/66.55	c cleaning 8797 clauses out of 17603 with flag 18001/131049
72.09/70.54	c cleaning 8393 clauses out of 16807 with flag 26002/139050
76.90/75.39	c cleaning 8701 clauses out of 17413 with flag 35001/148049
82.41/80.86	c cleaning 9347 clauses out of 18711 with flag 45000/158048
88.43/86.82	c cleaning 10179 clauses out of 20364 with flag 56000/169048
95.92/94.35	c cleaning 11085 clauses out of 22187 with flag 68002/181050
103.13/101.50	c cleaning 12044 clauses out of 24100 with flag 81000/194048
110.74/109.11	c cleaning 13016 clauses out of 26056 with flag 95000/208048
118.75/117.18	c cleaning 14015 clauses out of 28040 with flag 110000/223048
126.66/125.06	c cleaning 15005 clauses out of 30026 with flag 126001/239049
136.16/134.52	c cleaning 16002 clauses out of 32022 with flag 143002/256050
146.47/144.81	c cleaning 17005 clauses out of 34019 with flag 161001/274049
156.08/154.49	c cleaning 17999 clauses out of 36014 with flag 180001/293049
165.79/164.18	c cleaning 19003 clauses out of 38015 with flag 200001/313049
176.21/174.53	c cleaning 20000 clauses out of 40012 with flag 221001/334049
188.52/186.82	c cleaning 20994 clauses out of 42011 with flag 243000/356048
202.43/200.79	c cleaning 22001 clauses out of 44017 with flag 266000/379048
218.54/216.81	c cleaning 23006 clauses out of 46016 with flag 290000/403048
231.76/230.05	c cleaning 23994 clauses out of 48010 with flag 315000/428048
245.88/244.18	c cleaning 25001 clauses out of 50017 with flag 341001/454049
259.10/257.37	c cleaning 26001 clauses out of 52015 with flag 368000/481048
273.41/271.69	c cleaning 27000 clauses out of 54014 with flag 396000/509048
288.61/286.87	c cleaning 27997 clauses out of 56015 with flag 425001/538049
306.12/304.37	c cleaning 29000 clauses out of 58017 with flag 455000/568048
323.93/322.14	c cleaning 29998 clauses out of 60017 with flag 486000/599048
340.74/338.94	c cleaning 31006 clauses out of 62019 with flag 518000/631048
359.95/358.10	c cleaning 31997 clauses out of 64013 with flag 551000/664048
377.77/375.95	c cleaning 32997 clauses out of 66016 with flag 585000/698048
396.19/394.34	c cleaning 33999 clauses out of 68020 with flag 620001/733049
414.33/412.44	c cleaning 35000 clauses out of 70022 with flag 656002/769050
433.74/431.81	c cleaning 36001 clauses out of 72020 with flag 693000/806048
456.27/454.33	c cleaning 37001 clauses out of 74019 with flag 731000/844048
479.77/477.85	c cleaning 37999 clauses out of 76018 with flag 770000/883048
501.08/499.11	c cleaning 39005 clauses out of 78019 with flag 810000/923048
521.69/519.77	c cleaning 39998 clauses out of 80015 with flag 851001/964049
544.82/542.82	c cleaning 40996 clauses out of 82016 with flag 893000/1006048
569.66/567.67	c cleaning 42003 clauses out of 84021 with flag 936001/1049049
598.66/596.63	c cleaning 43003 clauses out of 86018 with flag 980001/1093049
627.90/625.89	c cleaning 43998 clauses out of 88015 with flag 1025001/1138049
659.40/657.31	c cleaning 44998 clauses out of 90016 with flag 1071000/1184048
687.72/685.70	c cleaning 45997 clauses out of 92018 with flag 1118000/1231048
716.07/713.98	c cleaning 46996 clauses out of 94022 with flag 1166001/1279049
745.96/743.82	c cleaning 48006 clauses out of 96026 with flag 1215001/1328049
772.20/770.07	c cleaning 49005 clauses out of 98019 with flag 1265000/1378048
800.29/798.18	c cleaning 50000 clauses out of 100015 with flag 1316001/1429049
829.22/827.07	c cleaning 50998 clauses out of 102015 with flag 1368001/1481049
866.64/864.44	c cleaning 51997 clauses out of 104017 with flag 1421001/1534049
895.58/893.36	c cleaning 53000 clauses out of 106019 with flag 1475000/1588048
926.39/924.12	c cleaning 54005 clauses out of 108020 with flag 1530001/1643049
958.64/956.36	c cleaning 54996 clauses out of 110014 with flag 1586000/1699048
992.56/990.21	c cleaning 55999 clauses out of 112018 with flag 1643000/1756048
1022.27/1019.90	c cleaning 56999 clauses out of 114019 with flag 1701000/1814048
1054.60/1052.23	c cleaning 58005 clauses out of 116021 with flag 1760001/1873049
1086.83/1084.51	c cleaning 58997 clauses out of 118016 with flag 1820001/1933049
1118.86/1116.46	c cleaning 59997 clauses out of 120018 with flag 1881000/1994048
1152.36/1149.93	c cleaning 61003 clauses out of 122022 with flag 1943001/2056049
1185.99/1183.59	c cleaning 61997 clauses out of 124018 with flag 2006000/2119048
1222.11/1219.64	c cleaning 63002 clauses out of 126022 with flag 2070001/2183049
1261.14/1258.66	c cleaning 64005 clauses out of 128021 with flag 2135002/2248050
1300.17/1297.62	c cleaning 64498 clauses out of 129015 with flag 2200001/2313049
1340.23/1337.62	c cleaning 64746 clauses out of 129517 with flag 2265001/2378049
1379.35/1376.74	c cleaning 64874 clauses out of 129771 with flag 2330001/2443049
1417.87/1415.22	c cleaning 64942 clauses out of 129897 with flag 2395001/2508049
1458.60/1455.92	c cleaning 64967 clauses out of 129956 with flag 2460002/2573050
1499.63/1496.97	c cleaning 64984 clauses out of 129988 with flag 2525001/2638049
1537.94/1535.27	c cleaning 64994 clauses out of 130003 with flag 2590000/2703048
1578.37/1575.61	c cleaning 64996 clauses out of 130010 with flag 2655001/2768049
1619.19/1616.45	c cleaning 64995 clauses out of 130013 with flag 2720000/2833048
1661.42/1658.61	c cleaning 64996 clauses out of 130021 with flag 2785003/2898051
1700.05/1697.23	c cleaning 65005 clauses out of 130023 with flag 2850001/2963049
1735.67/1732.82	c cleaning 65000 clauses out of 130017 with flag 2915000/3028048
1769.88/1767.09	c cleaning 64998 clauses out of 130017 with flag 2980000/3093048
1800.03/1797.12	c starts		: 255
1800.03/1797.12	c conflicts		: 3143187
1800.03/1797.12	c decisions		: 5076275
1800.03/1797.12	c propagations		: 775966362
1800.03/1797.12	c inspects		: 9935902504
1800.03/1797.12	c shortcuts		: 0
1800.03/1797.12	c learnt literals	: 0
1800.03/1797.12	c learnt binary clauses	: 0
1800.03/1797.12	c learnt ternary clauses	: 0
1800.03/1797.12	c learnt constraints	: 3143187
1800.03/1797.12	c ignored constraints	: 0
1800.03/1797.12	c root simplifications	: 0
1800.03/1797.12	c removed literals (reason simplification)	: 4109183
1800.03/1797.12	c reason swapping (by a shorter reason)	: 0
1800.03/1797.12	c Calls to reduceDB	: 86
1800.03/1797.12	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.12	c number of learned constraints concerned by reduction	: 0
1800.03/1797.12	c number of learning phase by resolution	: 0
1800.03/1797.12	c number of learning phase by cutting planes	: 0
1800.03/1797.12	c speed (assignments/second)	: 446474.39135045314
1800.03/1797.12	c non guided choices	14534
1800.03/1797.15	c learnt constraints type 
1800.03/1797.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 115209
1800.03/1797.15	c constraints type 
1800.03/1797.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 32590
1800.03/1797.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/1797.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31590
1800.03/1797.15	s SATISFIABLE
1800.03/1797.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 
1800.03/1797.15	c objective function=86
1800.03/1797.15	c Total wall clock time (in seconds): 1797.04

Verifier Data 

OK	86

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-3458313-1307158754/watcher-3458313-1307158754 -o /tmp/evaluation-result-3458313-1307158754/solver-3458313-1307158754 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458313-1307158754.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.03 1.98 2/535 15245
/proc/meminfo: memFree=21451584/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 1512 0 1 0 0 0 0 0 23 0 2 0 827472047 13833195520 1213 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3377245 1226 906 9 0 3368401 0
[pid=15245/tid=15246] ppid=15243 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 4819 0 1 0 0 0 0 0 18 0 2 0 827472048 13850947584 5635 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0605269 s]
/proc/loadavg: 2.01 2.03 1.98 2/535 15245
/proc/meminfo: memFree=21451584/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13549616 CPUtime=0.05 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 13955 0 1 0 3 2 0 0 23 0 13 0 827472047 13874806784 13651 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3387404 13651 1685 9 0 3378152 0
[pid=15245/tid=15246] ppid=15243 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 12808 0 1 0 3 1 0 0 18 0 13 0 827472048 13874806784 13651 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512518603 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13549616

[startup+0.1005 s]
/proc/loadavg: 2.01 2.03 1.98 2/535 15245
/proc/meminfo: memFree=21451584/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13622000 CPUtime=0.1 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 15445 0 1 0 8 2 0 0 23 0 18 0 827472047 13948928000 15141 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3405500 15141 2092 9 0 3396234 0
[pid=15245/tid=15246] ppid=15243 vsize=13622000 CPUtime=0.08 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 13524 0 1 0 6 2 0 0 22 0 18 0 827472048 13948928000 15142 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512520571 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622000

[startup+0.316236 s]
/proc/loadavg: 2.01 2.03 1.98 2/535 15245
/proc/meminfo: memFree=21451584/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13622752 CPUtime=0.5 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 18200 0 1 0 47 3 0 0 23 0 18 0 827472047 13949698048 17607 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3405688 17607 2220 9 0 3396422 0
[pid=15245/tid=15246] ppid=15243 vsize=13622752 CPUtime=0.3 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 15423 0 1 0 28 2 0 0 22 0 18 0 827472048 13949698048 17607 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13622752

[startup+0.700322 s]
/proc/loadavg: 2.01 2.03 1.98 2/535 15245
/proc/meminfo: memFree=21451584/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13636392 CPUtime=1.52 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 43338 0 1 0 146 6 0 0 23 0 18 0 827472047 13963665408 39342 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3409098 39342 2228 9 0 3399832 0
[pid=15245/tid=15246] ppid=15243 vsize=13636392 CPUtime=0.68 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 32203 0 1 0 64 4 0 0 24 0 18 0 827472048 13963665408 39342 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 46912505547692 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 13636392

[startup+1.50124 s]
/proc/loadavg: 2.01 2.03 1.98 3/554 15264
/proc/meminfo: memFree=21294492/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13637420 CPUtime=2.82 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 47243 0 1 0 275 7 0 0 23 0 19 0 827472047 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3409355 42766 2242 9 0 3400089 0
[pid=15245/tid=15246] ppid=15243 vsize=13637420 CPUtime=1.48 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 35492 0 1 0 143 5 0 0 25 0 19 0 827472048 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 46912506012489 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15245/tid=15248] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827472050 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15249] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827472050 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15250] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827472050 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15251] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827472050 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15252] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827472050 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15253] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472050 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15254] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472050 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15255] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472050 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15256] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15245 7151 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 0 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15257] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15245 7151 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827472051 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15258] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15245 7151 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827472051 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15259] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827472054 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512515505 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15260] ppid=15243 vsize=13637420 CPUtime=0.67 cores=1,3,5,7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15245 7151 0 -1 4202560 5410 0 0 0 67 0 0 0 15 0 19 0 827472054 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15261] ppid=15243 vsize=13637420 CPUtime=0.65 cores=1,3,5,7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15245 7151 0 -1 4202560 5177 0 0 0 64 1 0 0 15 0 19 0 827472054 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15262] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472054 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15263] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827472054 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15264] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15245 7151 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 827472119 13964718080 42766 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 13637420

[startup+3.10093 s]
/proc/loadavg: 2.01 2.03 1.98 3/554 15264
/proc/meminfo: memFree=21285816/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13637420 CPUtime=4.43 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 47873 0 1 0 435 8 0 0 23 0 19 0 827472047 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3409355 43395 2242 9 0 3400089 0
[pid=15245/tid=15246] ppid=15243 vsize=13637420 CPUtime=3.08 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 36121 0 1 0 303 5 0 0 25 0 19 0 827472048 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 46912506033943 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15245/tid=15248] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827472050 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15249] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827472050 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15250] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827472050 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15251] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827472050 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15252] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827472050 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15253] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472050 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15254] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472050 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15255] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472050 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15256] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15245 7151 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 0 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15257] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15245 7151 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827472051 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15258] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15245 7151 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827472051 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15259] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827472054 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512515505 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15260] ppid=15243 vsize=13637420 CPUtime=0.67 cores=1,3,5,7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15245 7151 0 -1 4202560 5410 0 0 0 67 0 0 0 15 0 19 0 827472054 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15261] ppid=15243 vsize=13637420 CPUtime=0.65 cores=1,3,5,7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15245 7151 0 -1 4202560 5177 0 0 0 64 1 0 0 15 0 19 0 827472054 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15262] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472054 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15263] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827472054 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15264] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15245 7151 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 827472119 13964718080 43395 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 13637420

[startup+6.30128 s]
/proc/loadavg: 2.01 2.03 1.98 3/554 15264
/proc/meminfo: memFree=21224768/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13637420 CPUtime=7.73 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 62750 0 1 0 763 10 0 0 23 0 19 0 827472047 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3409355 58248 2267 9 0 3400089 0
[pid=15245/tid=15246] ppid=15243 vsize=13637420 CPUtime=6.13 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 36535 0 1 0 608 5 0 0 25 0 19 0 827472048 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 46912505937203 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15245/tid=15248] ppid=15243 vsize=13637420 CPUtime=0.03 cores=1,3,5,7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15245 7151 0 -1 4202560 2582 0 0 0 3 0 0 0 18 0 19 0 827472050 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15249] ppid=15243 vsize=13637420 CPUtime=0.03 cores=1,3,5,7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15245 7151 0 -1 4202560 2248 0 0 0 3 0 0 0 18 0 19 0 827472050 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15250] ppid=15243 vsize=13637420 CPUtime=0.02 cores=1,3,5,7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15245 7151 0 -1 4202560 2303 0 0 0 2 0 0 0 18 0 19 0 827472050 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15251] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827472050 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15252] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15245 7151 0 -1 4202560 102 0 0 0 0 0 0 0 18 0 19 0 827472050 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15253] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827472050 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15254] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827472050 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15255] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827472050 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15256] ppid=15243 vsize=13637420 CPUtime=0.1 cores=1,3,5,7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15245 7151 0 -1 4202560 7226 0 0 0 9 1 0 0 15 0 19 0 827472051 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 0 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15257] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15245 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15258] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15245 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15259] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827472054 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512515505 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15260] ppid=15243 vsize=13637420 CPUtime=0.7 cores=1,3,5,7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15245 7151 0 -1 4202560 5416 0 0 0 70 0 0 0 15 0 19 0 827472054 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15261] ppid=15243 vsize=13637420 CPUtime=0.66 cores=1,3,5,7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15245 7151 0 -1 4202560 5179 0 0 0 65 1 0 0 15 0 19 0 827472054 13964718080 58248 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0

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

[pid=15245/tid=15253] ppid=15243 vsize=13637420 CPUtime=0.3 cores=1,3,5,7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15245 7151 0 -1 4202560 2310 0 0 0 30 0 0 0 16 0 19 0 827472050 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15254] ppid=15243 vsize=13637420 CPUtime=0.21 cores=1,3,5,7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15245 7151 0 -1 4202560 2264 0 0 0 21 0 0 0 16 0 19 0 827472050 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15255] ppid=15243 vsize=13637420 CPUtime=0.25 cores=1,3,5,7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15245 7151 0 -1 4202560 3570 0 0 0 25 0 0 0 15 0 19 0 827472050 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15256] ppid=15243 vsize=13637420 CPUtime=9.85 cores=1,3,5,7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15245 7151 0 -1 4202560 24676 0 0 0 981 4 0 0 15 0 19 0 827472051 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 0 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15257] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15245 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15258] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15245 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15259] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827472054 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512515505 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15260] ppid=15243 vsize=13637420 CPUtime=0.76 cores=1,3,5,7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15245 7151 0 -1 4202560 5435 0 0 0 76 0 0 0 15 0 19 0 827472054 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15261] ppid=15243 vsize=13637420 CPUtime=0.68 cores=1,3,5,7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15245 7151 0 -1 4202560 5181 0 0 0 67 1 0 0 15 0 19 0 827472054 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15262] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472054 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15263] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15245 7151 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827472054 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15264] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15245 7151 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 827472119 13964718080 94006 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.16
Current children cumulated vsize (KiB) 13637420

[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/554 15377
/proc/meminfo: memFree=20763868/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13637420 CPUtime=1785.21 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 98808 0 1 0 178505 16 0 0 23 0 19 0 827472047 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3409355 94007 2268 9 0 3400089 0
[pid=15245/tid=15246] ppid=15243 vsize=13637420 CPUtime=1771.33 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 36620 0 1 0 177127 6 0 0 25 0 19 0 827472048 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 46912505937357 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15245/tid=15248] ppid=15243 vsize=13637420 CPUtime=0.31 cores=1,3,5,7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15245 7151 0 -1 4202560 5790 0 0 0 31 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15249] ppid=15243 vsize=13637420 CPUtime=0.31 cores=1,3,5,7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15245 7151 0 -1 4202560 4451 0 0 0 31 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15250] ppid=15243 vsize=13637420 CPUtime=0.34 cores=1,3,5,7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15245 7151 0 -1 4202560 3575 0 0 0 34 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15251] ppid=15243 vsize=13637420 CPUtime=0.21 cores=1,3,5,7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15245 7151 0 -1 4202560 1804 0 0 0 21 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15252] ppid=15243 vsize=13637420 CPUtime=0.29 cores=1,3,5,7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15245 7151 0 -1 4202560 1871 0 0 0 29 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15253] ppid=15243 vsize=13637420 CPUtime=0.3 cores=1,3,5,7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15245 7151 0 -1 4202560 2310 0 0 0 30 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15254] ppid=15243 vsize=13637420 CPUtime=0.22 cores=1,3,5,7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15245 7151 0 -1 4202560 2264 0 0 0 22 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15255] ppid=15243 vsize=13637420 CPUtime=0.25 cores=1,3,5,7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15245 7151 0 -1 4202560 3570 0 0 0 25 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15256] ppid=15243 vsize=13637420 CPUtime=10.1 cores=1,3,5,7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15245 7151 0 -1 4202560 24680 0 0 0 1006 4 0 0 15 0 19 0 827472051 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 0 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15257] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15245 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15258] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15245 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15259] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512515505 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15260] ppid=15243 vsize=13637420 CPUtime=0.76 cores=1,3,5,7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15245 7151 0 -1 4202560 5435 0 0 0 76 0 0 0 15 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15261] ppid=15243 vsize=13637420 CPUtime=0.68 cores=1,3,5,7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15245 7151 0 -1 4202560 5181 0 0 0 67 1 0 0 15 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15262] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15263] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15245 7151 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15264] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15245 7151 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 827472119 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 13637420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.10 2.07 2.01 3/554 15377
/proc/meminfo: memFree=20763852/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13637420 CPUtime=1800.03 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 98810 0 1 0 179987 16 0 0 23 0 19 0 827472047 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3409355 94007 2268 9 0 3400089 0
[pid=15245/tid=15246] ppid=15243 vsize=13637420 CPUtime=1786.15 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 36620 0 1 0 178609 6 0 0 25 0 19 0 827472048 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 46912506122334 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15245/tid=15248] ppid=15243 vsize=13637420 CPUtime=0.31 cores=1,3,5,7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15245 7151 0 -1 4202560 5790 0 0 0 31 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15249] ppid=15243 vsize=13637420 CPUtime=0.31 cores=1,3,5,7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15245 7151 0 -1 4202560 4451 0 0 0 31 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15250] ppid=15243 vsize=13637420 CPUtime=0.34 cores=1,3,5,7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15245 7151 0 -1 4202560 3575 0 0 0 34 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15251] ppid=15243 vsize=13637420 CPUtime=0.21 cores=1,3,5,7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15245 7151 0 -1 4202560 1804 0 0 0 21 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15252] ppid=15243 vsize=13637420 CPUtime=0.29 cores=1,3,5,7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15245 7151 0 -1 4202560 1871 0 0 0 29 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15253] ppid=15243 vsize=13637420 CPUtime=0.3 cores=1,3,5,7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15245 7151 0 -1 4202560 2310 0 0 0 30 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15254] ppid=15243 vsize=13637420 CPUtime=0.22 cores=1,3,5,7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15245 7151 0 -1 4202560 2264 0 0 0 22 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15255] ppid=15243 vsize=13637420 CPUtime=0.25 cores=1,3,5,7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15245 7151 0 -1 4202560 3570 0 0 0 25 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15256] ppid=15243 vsize=13637420 CPUtime=10.1 cores=1,3,5,7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15245 7151 0 -1 4202560 24680 0 0 0 1006 4 0 0 15 0 19 0 827472051 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 0 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15257] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15245 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15258] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15245 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15259] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512515505 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15260] ppid=15243 vsize=13637420 CPUtime=0.76 cores=1,3,5,7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15245 7151 0 -1 4202560 5435 0 0 0 76 0 0 0 15 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15261] ppid=15243 vsize=13637420 CPUtime=0.68 cores=1,3,5,7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15245 7151 0 -1 4202560 5181 0 0 0 67 1 0 0 15 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15262] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15263] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15245 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15264] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15245 7151 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 827472119 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13637420

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

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

[startup+1797.1 s]
/proc/loadavg: 2.10 2.07 2.01 3/554 15377
/proc/meminfo: memFree=20763852/32950928 swapFree=34259960/67111528
[pid=15245] ppid=15243 vsize=13637420 CPUtime=1800.03 cores=1,3,5,7
/proc/15245/stat : 15245 (java) S 15243 15245 7151 0 -1 4202496 98810 0 1 0 179987 16 0 0 23 0 19 0 827472047 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15245/statm: 3409355 94007 2268 9 0 3400089 0
[pid=15245/tid=15246] ppid=15243 vsize=13637420 CPUtime=1786.15 cores=1,3,5,7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15245 7151 0 -1 4202560 36620 0 1 0 178609 6 0 0 25 0 19 0 827472048 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 46912506122334 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15245/tid=15248] ppid=15243 vsize=13637420 CPUtime=0.31 cores=1,3,5,7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15245 7151 0 -1 4202560 5790 0 0 0 31 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15249] ppid=15243 vsize=13637420 CPUtime=0.31 cores=1,3,5,7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15245 7151 0 -1 4202560 4451 0 0 0 31 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15250] ppid=15243 vsize=13637420 CPUtime=0.34 cores=1,3,5,7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15245 7151 0 -1 4202560 3575 0 0 0 34 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15251] ppid=15243 vsize=13637420 CPUtime=0.21 cores=1,3,5,7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15245 7151 0 -1 4202560 1804 0 0 0 21 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15252] ppid=15243 vsize=13637420 CPUtime=0.29 cores=1,3,5,7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15245 7151 0 -1 4202560 1871 0 0 0 29 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15253] ppid=15243 vsize=13637420 CPUtime=0.3 cores=1,3,5,7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15245 7151 0 -1 4202560 2310 0 0 0 30 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15254] ppid=15243 vsize=13637420 CPUtime=0.22 cores=1,3,5,7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15245 7151 0 -1 4202560 2264 0 0 0 22 0 0 0 16 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15255] ppid=15243 vsize=13637420 CPUtime=0.25 cores=1,3,5,7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15245 7151 0 -1 4202560 3570 0 0 0 25 0 0 0 15 0 19 0 827472050 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15256] ppid=15243 vsize=13637420 CPUtime=10.1 cores=1,3,5,7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15245 7151 0 -1 4202560 24680 0 0 0 1006 4 0 0 15 0 19 0 827472051 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 0 0 16800975 18446604470737277184 0 0 -1 1 0 0 0
[pid=15245/tid=15257] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15245 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15258] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15245 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827472051 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15259] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512515505 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15260] ppid=15243 vsize=13637420 CPUtime=0.76 cores=1,3,5,7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15245 7151 0 -1 4202560 5435 0 0 0 76 0 0 0 15 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
[pid=15245/tid=15261] ppid=15243 vsize=13637420 CPUtime=0.68 cores=1,3,5,7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15245 7151 0 -1 4202560 5181 0 0 0 67 1 0 0 15 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15262] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15245 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512507801 0 4 0 16800975 18446604470737277184 0 0 -1 5 0 0 0
[pid=15245/tid=15263] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15245 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827472054 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 3 0 0 0
[pid=15245/tid=15264] ppid=15243 vsize=13637420 CPUtime=0 cores=1,3,5,7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15245 7151 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 827472119 13964718080 94007 33554432000 1073741824 1073778376 140736021872656 18446744073709551615 254512508416 0 4 0 16800975 18446604470737277184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13637420

Child status: 143
Real time (s): 1797.18
CPU time (s): 1800.16
CPU user time (s): 1799.97
CPU system time (s): 0.183972
CPU usage (%): 100.166
Max. virtual memory (cumulated for all children) (KiB): 13637420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98862
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= 38900
involuntary context switches= 40933

runsolver used 9.31958 second user time and 21.7787 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-04 05:39:14
IDJOB=3458313
IDBENCH=48133
IDSOLVER=1952
FILE ID=node149/3458313-1307158754
RUNJOBID= node149-1307156022-13968
PBS_JOBID= 13508767
Free space on /tmp= 73764 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_5.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458313-1307158754/watcher-3458313-1307158754 -o /tmp/evaluation-result-3458313-1307158754/solver-3458313-1307158754 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458313-1307158754.opb

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

MD5SUM BENCH= d79bd0f7d6fceec4ec599aa8716e2601
RANDOM SEED=1197716364

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.83
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.806
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.73
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.806
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.806
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.75
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.806
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.806
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:     32950928 kB
MemFree:      21451864 kB
Buffers:        334460 kB
Cached:        3253456 kB
SwapCached:     123196 kB
Active:         445816 kB
Inactive:     10716516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21451864 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:             860 kB
Writeback:           0 kB
AnonPages:     7475588 kB
Mapped:          26216 kB
Slab:           147828 kB
PageTables:     117800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 186531028 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= 73764 MiB
End job on node149 at 2011-06-04 06:09:13