Trace number 3454530

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)-33 1800.23 927.875

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM9984e76947bf9addca42277d72ff7107
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1797.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved YES
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
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 760
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 760
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 760
Number of bits of the biggest sum of numbers10
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/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@67ee3914
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@1c691f36
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-3454530-1307189440.opb
0.10/0.11	c reading problem ... 
0.95/0.57	c ... done. Wall clock time 0.461s.
0.95/0.57	c #vars     760
0.95/0.57	c #constraints  41314
0.95/0.57	c constraints type 
0.95/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41314
0.95/0.57	c constraints type 
0.95/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41314
0.95/0.59	c  And the winner is Resolution
1.07/1.08	c SATISFIABLE
1.07/1.08	c OPTIMIZING...
1.07/1.08	c Got one! Elapsed wall clock time (in seconds):0.97
1.07/1.08	o -31
1.15/1.12	c  And the winner is CuttingPlanes
1.22/1.59	c Got one! Elapsed wall clock time (in seconds):1.478
1.22/1.59	o -32
4.30/2.68	c cleaning 2501 clauses out of 5001 with flag 5001/5001
6.61/3.74	c cleaning 4247 clauses out of 8499 with flag 11000/11000
8.97/4.99	c cleaning 5623 clauses out of 11252 with flag 18000/18000
12.13/6.57	c cleaning 6810 clauses out of 13629 with flag 26000/26000
15.62/8.37	c cleaning 7910 clauses out of 15819 with flag 35000/35000
19.51/10.33	c cleaning 8947 clauses out of 17910 with flag 45001/45001
20.98/11.14	c  And the winner is CuttingPlanes
21.07/11.25	c Got one! Elapsed wall clock time (in seconds):11.143
21.07/11.25	o -33
21.82/11.67	c cleaning 7128 clauses out of 14271 with flag 2000/50309
24.15/12.88	c cleaning 6572 clauses out of 13144 with flag 8001/56310
26.98/14.39	c cleaning 6786 clauses out of 13571 with flag 15000/63309
30.21/16.08	c cleaning 7389 clauses out of 14786 with flag 23001/71310
34.06/18.07	c cleaning 8195 clauses out of 16396 with flag 32000/80309
38.27/20.21	c cleaning 9098 clauses out of 18201 with flag 42000/90309
43.01/22.79	c cleaning 10051 clauses out of 20103 with flag 53000/101309
48.40/25.57	c cleaning 11026 clauses out of 22052 with flag 65000/113309
53.97/28.44	c cleaning 12001 clauses out of 24026 with flag 78000/126309
59.75/31.42	c cleaning 13013 clauses out of 26026 with flag 92001/140310
66.81/35.16	c cleaning 13996 clauses out of 28012 with flag 107000/155309
74.16/38.98	c cleaning 15008 clauses out of 30016 with flag 123000/171309
82.49/43.28	c cleaning 15997 clauses out of 32008 with flag 140000/188309
92.61/48.45	c cleaning 17004 clauses out of 34011 with flag 158000/206309
103.74/54.22	c cleaning 18001 clauses out of 36007 with flag 177000/225309
113.40/59.21	c cleaning 18999 clauses out of 38006 with flag 197000/245309
125.84/65.60	c cleaning 19994 clauses out of 40008 with flag 218001/266310
137.46/71.69	c cleaning 21003 clauses out of 42013 with flag 240000/288309
152.69/79.55	c cleaning 22004 clauses out of 44010 with flag 263000/311309
164.53/85.61	c cleaning 22998 clauses out of 46006 with flag 287000/335309
178.56/92.82	c cleaning 24001 clauses out of 48008 with flag 312000/360309
195.02/101.28	c cleaning 24999 clauses out of 50007 with flag 338000/386309
212.97/110.51	c cleaning 25998 clauses out of 52008 with flag 365000/413309
235.13/121.86	c cleaning 27003 clauses out of 54011 with flag 393001/441310
250.07/129.53	c cleaning 28004 clauses out of 56007 with flag 422000/470309
269.19/139.33	c cleaning 28994 clauses out of 58003 with flag 452000/500309
291.28/150.75	c cleaning 30002 clauses out of 60009 with flag 483000/531309
315.36/163.06	c cleaning 31000 clauses out of 62008 with flag 515001/563310
338.64/174.92	c cleaning 32000 clauses out of 64007 with flag 548000/596309
367.86/189.80	c cleaning 33001 clauses out of 66007 with flag 582000/630309
388.01/200.36	c cleaning 33988 clauses out of 68006 with flag 617000/665309
394.07/203.64	c cleaning 0 clauses out of 5104 with flag 0/5104
411.00/212.16	c cleaning 34999 clauses out of 70018 with flag 653000/701309
435.30/224.42	c cleaning 36007 clauses out of 72019 with flag 690000/738309
461.75/238.09	c cleaning 37002 clauses out of 74013 with flag 728001/776310
491.77/253.32	c cleaning 37992 clauses out of 76010 with flag 767000/815309
520.01/267.75	c cleaning 39004 clauses out of 78018 with flag 807000/855309
556.99/286.53	c cleaning 40006 clauses out of 80014 with flag 848000/896309
591.28/304.17	c cleaning 41004 clauses out of 82009 with flag 890001/938310
615.87/316.74	c cleaning 41494 clauses out of 83004 with flag 932000/980309
646.45/332.30	c cleaning 41748 clauses out of 83511 with flag 974001/1022310
679.35/349.17	c cleaning 41873 clauses out of 83762 with flag 1016000/1064309
716.51/368.23	c cleaning 41939 clauses out of 83889 with flag 1058000/1106309
745.38/383.02	c cleaning 41965 clauses out of 83950 with flag 1100000/1148309
778.11/399.74	c cleaning 41985 clauses out of 83985 with flag 1142000/1190309
810.94/416.58	c cleaning 41995 clauses out of 84000 with flag 1184000/1232309
851.20/437.21	c cleaning 41997 clauses out of 84006 with flag 1226001/1274310
886.43/455.22	c cleaning 41998 clauses out of 84009 with flag 1268001/1316310
924.58/474.77	c cleaning 42001 clauses out of 84011 with flag 1310001/1358310
950.53/488.15	c cleaning 41993 clauses out of 84009 with flag 1352000/1400309
977.09/502.05	c cleaning 42001 clauses out of 84016 with flag 1394000/1442309
1005.24/516.56	c cleaning 42009 clauses out of 84017 with flag 1436002/1484311
1035.49/532.06	c cleaning 41983 clauses out of 84006 with flag 1478000/1526309
1074.01/551.73	c cleaning 42006 clauses out of 84023 with flag 1520000/1568309
1108.32/569.60	c cleaning 42004 clauses out of 84018 with flag 1562001/1610310
1150.80/591.26	c cleaning 42006 clauses out of 84013 with flag 1604000/1652309
1179.70/606.17	c cleaning 41991 clauses out of 84007 with flag 1646000/1694309
1215.16/624.38	c cleaning 41999 clauses out of 84017 with flag 1688001/1736310
1251.19/643.02	c cleaning 41995 clauses out of 84018 with flag 1730001/1778310
1284.62/660.24	c cleaning 42003 clauses out of 84023 with flag 1772001/1820310
1325.10/680.95	c cleaning 42005 clauses out of 84020 with flag 1814001/1862310
1358.49/698.11	c cleaning 41997 clauses out of 84014 with flag 1856000/1904309
1395.24/717.18	c cleaning 42006 clauses out of 84018 with flag 1898001/1946310
1433.01/736.58	c cleaning 42000 clauses out of 84013 with flag 1940002/1988311
1470.81/755.91	c cleaning 41993 clauses out of 84011 with flag 1982000/2030309
1495.37/768.76	c cleaning 41991 clauses out of 84018 with flag 2024000/2072309
1522.42/783.04	c cleaning 42008 clauses out of 84027 with flag 2066000/2114309
1550.00/797.30	c cleaning 42006 clauses out of 84020 with flag 2108001/2156310
1580.13/812.92	c cleaning 41996 clauses out of 84013 with flag 2150000/2198309
1614.20/830.42	c cleaning 41998 clauses out of 84017 with flag 2192000/2240309
1653.23/850.74	c cleaning 42008 clauses out of 84020 with flag 2234001/2282310
1686.38/867.83	c cleaning 41995 clauses out of 84011 with flag 2276000/2324309
1715.47/882.94	c cleaning 42003 clauses out of 84016 with flag 2318000/2366309
1752.97/902.28	c cleaning 42002 clauses out of 84014 with flag 2360001/2408310
1781.33/917.28	c cleaning 0 clauses out of 11106 with flag 0/11106
1793.16/923.73	c cleaning 41996 clauses out of 84011 with flag 2402000/2450309
1800.02/927.72	c starts		: 38
1800.02/927.72	c conflicts		: 11161
1800.02/927.72	c decisions		: 13648
1800.02/927.72	c propagations		: 124543
1800.02/927.72	c inspects		: 488976986
1800.02/927.72	c shortcuts		: 0
1800.02/927.72	c learnt literals	: 0
1800.02/927.72	c learnt binary clauses	: 0
1800.02/927.72	c learnt ternary clauses	: 0
1800.02/927.72	c learnt constraints	: 11161
1800.02/927.72	c ignored constraints	: 0
1800.02/927.72	c root simplifications	: 0
1800.02/927.72	c removed literals (reason simplification)	: 0
1800.02/927.72	c reason swapping (by a shorter reason)	: 0
1800.02/927.72	c Calls to reduceDB	: 2
1800.02/927.72	c number of reductions to clauses (during analyze)	: 0
1800.02/927.72	c number of learned constraints concerned by reduction	: 0
1800.02/927.72	c number of learning phase by resolution	: 0
1800.02/927.72	c number of learning phase by cutting planes	: 0
1800.02/927.72	c speed (assignments/second)	: 135.89572921895117
1800.02/927.72	c non guided choices	0
1800.02/927.72	c learnt constraints type 
1800.02/927.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 160
1800.02/927.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11001
1800.02/927.72	c constraints type 
1800.02/927.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/927.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41314
1800.02/927.72	c constraints type 
1800.02/927.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41314
1800.02/927.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.02/927.72	s SATISFIABLE
1800.02/927.73	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 
1800.02/927.73	c objective function=-33
1800.02/927.73	c Total wall clock time (in seconds): 927.616

Verifier Data 

OK	-33

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-3454530-1307189440/watcher-3454530-1307189440 -o /tmp/evaluation-result-3454530-1307189440/solver-3454530-1307189440 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454530-1307189440.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.76 3.89 3.57 4/348 30055
/proc/meminfo: memFree=22066256/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 1603 0 1 0 0 0 0 0 25 0 2 0 909174571 10681323520 1305 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2607745 1316 906 9 0 2598901 0
[pid=30055/tid=30056] ppid=30053 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) R 30053 30055 27326 0 -1 4202560 537 0 1 0 0 0 0 0 25 0 2 0 909174572 10681323520 1353 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.054129 s]
/proc/loadavg: 3.76 3.89 3.57 4/348 30055
/proc/meminfo: memFree=22066256/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 11438 0 1 0 3 1 0 0 25 0 13 0 909174571 10718838784 11135 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2616904 11135 1684 9 0 2607652 0
[pid=30055/tid=30056] ppid=30053 vsize=10467616 CPUtime=0.03 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) S 30053 30055 27326 0 -1 4202560 10290 0 1 0 2 1 0 0 25 0 13 0 909174572 10718838784 11135 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032225247 0 2147483391 0 16800971 18446744071699199166 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.101131 s]
/proc/loadavg: 3.76 3.89 3.57 4/348 30055
/proc/meminfo: memFree=22066256/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10539836 CPUtime=0.1 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 13025 0 1 0 8 2 0 0 25 0 18 0 909174571 10792792064 12704 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2634959 12704 2092 9 0 2625693 0
[pid=30055/tid=30056] ppid=30053 vsize=10539836 CPUtime=0.07 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) R 30053 30055 27326 0 -1 4202560 11100 0 1 0 6 1 0 0 18 0 18 0 909174572 10792792064 12704 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 47122605848862 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539836

[startup+0.301088 s]
/proc/loadavg: 3.76 3.89 3.57 4/348 30055
/proc/meminfo: memFree=22066256/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10540928 CPUtime=0.47 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 15939 0 1 0 45 2 0 0 25 0 18 0 909174571 10793910272 15076 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2635232 15077 2199 9 0 2625966 0
[pid=30055/tid=30056] ppid=30053 vsize=10540928 CPUtime=0.28 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) R 30053 30055 27326 0 -1 4202560 12883 0 1 0 26 2 0 0 18 0 18 0 909174572 10793910272 15077 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 46912505610393 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540928

[startup+0.701048 s]
/proc/loadavg: 3.76 3.89 3.57 4/348 30055
/proc/meminfo: memFree=22066256/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10550156 CPUtime=1.07 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 39572 0 1 0 101 6 0 0 25 0 19 0 909174571 10803359744 37602 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2637539 37602 2229 9 0 2628273 0
[pid=30055/tid=30056] ppid=30053 vsize=10550156 CPUtime=0.55 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) S 30053 30055 27326 0 -1 4202560 33127 0 1 0 51 4 0 0 19 0 19 0 909174572 10803359744 37602 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 10550156

[startup+1.50087 s]
/proc/loadavg: 3.76 3.89 3.57 3/367 30077
/proc/meminfo: memFree=21923440/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10550156 CPUtime=1.22 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 39814 0 1 0 116 6 0 0 25 0 19 0 909174571 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2637539 37844 2232 9 0 2628273 0
[pid=30055/tid=30056] ppid=30053 vsize=10550156 CPUtime=0.55 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) S 30053 30055 27326 0 -1 4202560 33181 0 1 0 51 4 0 0 16 0 19 0 909174572 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30058] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30058/stat : 30058 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174574 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30059] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30059/stat : 30059 (java) S 30053 30055 27326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909174574 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30060] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30060/stat : 30060 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174574 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30061] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30061/stat : 30061 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174574 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30062] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30062/stat : 30062 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174574 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30063] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30063/stat : 30063 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174574 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30064] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30064/stat : 30064 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174574 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30065] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30065/stat : 30065 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174574 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30066] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30066/stat : 30066 (java) S 30053 30055 27326 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909174575 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 0 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30067] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30067/stat : 30067 (java) S 30053 30055 27326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909174575 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30068] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30068/stat : 30068 (java) S 30053 30055 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909174575 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30069] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30069/stat : 30069 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174577 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032219569 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30070] ppid=30053 vsize=10550156 CPUtime=0.3 cores=0,2,4,6
/proc/30055/task/30070/stat : 30070 (java) S 30053 30055 27326 0 -1 4202560 2527 0 0 0 30 0 0 0 15 0 19 0 909174577 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30071] ppid=30053 vsize=10550156 CPUtime=0.27 cores=0,2,4,6
/proc/30055/task/30071/stat : 30071 (java) S 30053 30055 27326 0 -1 4202560 2690 0 0 0 27 0 0 0 15 0 19 0 909174577 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30072] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30072/stat : 30072 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174577 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30073] ppid=30053 vsize=10550156 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30073/stat : 30073 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909174577 10803359744 37844 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10550156

[startup+3.10156 s]
/proc/loadavg: 3.76 3.89 3.57 8/370 30083
/proc/meminfo: memFree=21860796/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10565816 CPUtime=5.36 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 102960 0 1 0 522 14 0 0 25 0 22 0 909174571 10819395584 96841 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2641454 96847 2268 9 0 2632188 0
[pid=30055/tid=30056] ppid=30053 vsize=10565816 CPUtime=0.56 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) S 30053 30055 27326 0 -1 4202560 33212 0 1 0 52 4 0 0 15 0 22 0 909174572 10819395584 96849 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30058] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30058/stat : 30058 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909174574 10819395584 96849 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30059] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30059/stat : 30059 (java) S 30053 30055 27326 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909174574 10819395584 96850 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30060] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30060/stat : 30060 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909174574 10819395584 96851 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30061] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30061/stat : 30061 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909174574 10819395584 96852 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30062] ppid=30053 vsize=10565816 CPUtime=0.01 cores=0,2,4,6
/proc/30055/task/30062/stat : 30062 (java) S 30053 30055 27326 0 -1 4202560 1329 0 0 0 1 0 0 0 18 0 22 0 909174574 10819395584 96852 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30063] ppid=30053 vsize=10565816 CPUtime=0.01 cores=0,2,4,6
/proc/30055/task/30063/stat : 30063 (java) S 30053 30055 27326 0 -1 4202560 1049 0 0 0 1 0 0 0 18 0 22 0 909174574 10819395584 96853 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30064] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30064/stat : 30064 (java) S 30053 30055 27326 0 -1 4202560 2359 0 0 0 0 0 0 0 18 0 22 0 909174574 10819395584 96855 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30065] ppid=30053 vsize=10565816 CPUtime=0.01 cores=0,2,4,6
/proc/30055/task/30065/stat : 30065 (java) S 30053 30055 27326 0 -1 4202560 1428 0 0 0 1 0 0 0 18 0 22 0 909174574 10819395584 96856 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30066] ppid=30053 vsize=10565816 CPUtime=0.06 cores=0,2,4,6
/proc/30055/task/30066/stat : 30066 (java) S 30053 30055 27326 0 -1 4202560 6064 0 0 0 6 0 0 0 15 0 22 0 909174575 10819395584 96857 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 0 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30067] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30067/stat : 30067 (java) S 30053 30055 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 96858 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30068] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30068/stat : 30068 (java) S 30053 30055 27326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 96859 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30069] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30069/stat : 30069 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174577 10819395584 96860 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032219569 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30070] ppid=30053 vsize=10565816 CPUtime=0.89 cores=0,2,4,6
/proc/30055/task/30070/stat : 30070 (java) S 30053 30055 27326 0 -1 4202560 8759 0 0 0 88 1 0 0 15 0 22 0 909174577 10819395584 96860 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30071] ppid=30053 vsize=10565816 CPUtime=0.9 cores=0,2,4,6
/proc/30055/task/30071/stat : 30071 (java) S 30053 30055 27326 0 -1 4202560 6093 0 0 0 90 0 0 0 15 0 22 0 909174577 10819395584 96861 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30072] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30072/stat : 30072 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174577 10819395584 96861 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30073] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30073/stat : 30073 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909174577 10819395584 96862 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30080] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30080/stat : 30080 (java) S 30053 30055 27326 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909174681 10819395584 96863 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30081] ppid=30053 vsize=10565816 CPUtime=1.39 cores=0,2,4,6
/proc/30055/task/30081/stat : 30081 (java) R 30053 30055 27326 0 -1 4202560 3894 0 0 0 139 0 0 0 17 0 22 0 909174731 10819395584 96864 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 46912505895252 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30055/tid=30082] ppid=30053 vsize=10565816 CPUtime=1.37 cores=0,2,4,6
/proc/30055/task/30082/stat : 30082 (java) R 30053 30055 27326 0 -1 4202560 37384 0 0 0 133 4 0 0 18 0 22 0 909174731 10819395584 96865 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 46912505846357 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30055/tid=30083] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30083/stat : 30083 (java) S 30053 30055 27326 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909174731 10819395584 96866 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 10565816

[startup+6.30101 s]
/proc/loadavg: 3.78 3.89 3.58 5/370 30083
/proc/meminfo: memFree=21447500/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10565816 CPUtime=11.71 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 162439 0 1 0 1149 22 0 0 25 0 22 0 909174571 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2641454 156278 2268 9 0 2632188 0
[pid=30055/tid=30056] ppid=30053 vsize=10565816 CPUtime=0.56 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) S 30053 30055 27326 0 -1 4202560 33212 0 1 0 52 4 0 0 15 0 22 0 909174572 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30058] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30058/stat : 30058 (java) S 30053 30055 27326 0 -1 4202560 2689 0 0 0 0 0 0 0 15 0 22 0 909174574 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30059] ppid=30053 vsize=10565816 CPUtime=0.01 cores=0,2,4,6
/proc/30055/task/30059/stat : 30059 (java) S 30053 30055 27326 0 -1 4202560 1370 0 0 0 1 0 0 0 15 0 22 0 909174574 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30060] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30060/stat : 30060 (java) S 30053 30055 27326 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 22 0 909174574 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30061] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30061/stat : 30061 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909174574 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30062] ppid=30053 vsize=10565816 CPUtime=0.02 cores=0,2,4,6
/proc/30055/task/30062/stat : 30062 (java) S 30053 30055 27326 0 -1 4202560 3039 0 0 0 2 0 0 0 18 0 22 0 909174574 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30063] ppid=30053 vsize=10565816 CPUtime=0.02 cores=0,2,4,6
/proc/30055/task/30063/stat : 30063 (java) S 30053 30055 27326 0 -1 4202560 3070 0 0 0 2 0 0 0 18 0 22 0 909174574 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30064] ppid=30053 vsize=10565816 CPUtime=0.01 cores=0,2,4,6
/proc/30055/task/30064/stat : 30064 (java) S 30053 30055 27326 0 -1 4202560 2438 0 0 0 1 0 0 0 15 0 22 0 909174574 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30065] ppid=30053 vsize=10565816 CPUtime=0.02 cores=0,2,4,6
/proc/30055/task/30065/stat : 30065 (java) S 30053 30055 27326 0 -1 4202560 1484 0 0 0 2 0 0 0 16 0 22 0 909174574 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30066] ppid=30053 vsize=10565816 CPUtime=0.24 cores=0,2,4,6
/proc/30055/task/30066/stat : 30066 (java) S 30053 30055 27326 0 -1 4202560 15088 0 0 0 23 1 0 0 15 0 22 0 909174575 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 0 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30067] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30067/stat : 30067 (java) S 30053 30055 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30068] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30068/stat : 30068 (java) S 30053 30055 27326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30069] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30069/stat : 30069 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174577 10819395584 156278 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032219569 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0

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

/proc/meminfo: memFree=18428612/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10565816 CPUtime=1597.98 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 860175 0 1 0 159694 104 0 0 25 0 22 0 909174571 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2641454 853707 2269 9 0 2632188 0
[pid=30055/tid=30056] ppid=30053 vsize=10565816 CPUtime=0.56 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) S 30053 30055 27326 0 -1 4202560 33252 0 1 0 52 4 0 0 15 0 22 0 909174572 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30058] ppid=30053 vsize=10565816 CPUtime=1.11 cores=0,2,4,6
/proc/30055/task/30058/stat : 30058 (java) S 30053 30055 27326 0 -1 4202560 14002 0 0 0 109 2 0 0 16 0 22 0 909174574 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30059] ppid=30053 vsize=10565816 CPUtime=1.14 cores=0,2,4,6
/proc/30055/task/30059/stat : 30059 (java) S 30053 30055 27326 0 -1 4202560 10389 0 0 0 113 1 0 0 16 0 22 0 909174574 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30060] ppid=30053 vsize=10565816 CPUtime=0.97 cores=0,2,4,6
/proc/30055/task/30060/stat : 30060 (java) S 30053 30055 27326 0 -1 4202560 7911 0 0 0 96 1 0 0 15 0 22 0 909174574 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30061] ppid=30053 vsize=10565816 CPUtime=1.04 cores=0,2,4,6
/proc/30055/task/30061/stat : 30061 (java) S 30053 30055 27326 0 -1 4202560 5621 0 0 0 104 0 0 0 15 0 22 0 909174574 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30062] ppid=30053 vsize=10565816 CPUtime=0.88 cores=0,2,4,6
/proc/30055/task/30062/stat : 30062 (java) S 30053 30055 27326 0 -1 4202560 7415 0 0 0 87 1 0 0 16 0 22 0 909174574 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30063] ppid=30053 vsize=10565816 CPUtime=0.97 cores=0,2,4,6
/proc/30055/task/30063/stat : 30063 (java) S 30053 30055 27326 0 -1 4202560 12453 0 0 0 96 1 0 0 15 0 22 0 909174574 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30064] ppid=30053 vsize=10565816 CPUtime=0.79 cores=0,2,4,6
/proc/30055/task/30064/stat : 30064 (java) S 30053 30055 27326 0 -1 4202560 6290 0 0 0 78 1 0 0 15 0 22 0 909174574 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30065] ppid=30053 vsize=10565816 CPUtime=1.21 cores=0,2,4,6
/proc/30055/task/30065/stat : 30065 (java) S 30053 30055 27326 0 -1 4202560 6917 0 0 0 121 0 0 0 16 0 22 0 909174574 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30066] ppid=30053 vsize=10565816 CPUtime=50.28 cores=0,2,4,6
/proc/30055/task/30066/stat : 30066 (java) S 30053 30055 27326 0 -1 4202560 167913 0 0 0 5011 17 0 0 15 0 22 0 909174575 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 0 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30067] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30067/stat : 30067 (java) S 30053 30055 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30068] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30068/stat : 30068 (java) S 30053 30055 27326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30069] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30069/stat : 30069 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174577 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032219569 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30070] ppid=30053 vsize=10565816 CPUtime=1.77 cores=0,2,4,6
/proc/30055/task/30070/stat : 30070 (java) S 30053 30055 27326 0 -1 4202560 8866 0 0 0 176 1 0 0 15 0 22 0 909174577 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30071] ppid=30053 vsize=10565816 CPUtime=1.12 cores=0,2,4,6
/proc/30055/task/30071/stat : 30071 (java) S 30053 30055 27326 0 -1 4202560 6138 0 0 0 112 0 0 0 15 0 22 0 909174577 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30072] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30072/stat : 30072 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174577 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30073] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30073/stat : 30073 (java) S 30053 30055 27326 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 909174577 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30080] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30080/stat : 30080 (java) S 30053 30055 27326 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909174681 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30084] ppid=30053 vsize=10565816 CPUtime=759.14 cores=0,2,4,6
/proc/30055/task/30084/stat : 30084 (java) R 30053 30055 27326 0 -1 4202560 9715 0 0 0 75911 3 0 0 25 0 22 0 909175697 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 46912505883660 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30055/tid=30085] ppid=30053 vsize=10565816 CPUtime=759.3 cores=0,2,4,6
/proc/30055/task/30085/stat : 30085 (java) R 30053 30055 27326 0 -1 4202560 462531 0 0 0 75879 51 0 0 25 0 22 0 909175697 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 46912505859343 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30055/tid=30086] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30086/stat : 30086 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909175697 10819395584 853707 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1597.98
Current children cumulated vsize (KiB) 10565816

[startup+882.301 s]
/proc/loadavg: 3.82 3.87 3.75 5/370 30184
/proc/meminfo: memFree=18412216/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10565816 CPUtime=1714.27 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 862150 0 1 0 171322 105 0 0 25 0 22 0 909174571 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2641454 855672 2269 9 0 2632188 0
[pid=30055/tid=30056] ppid=30053 vsize=10565816 CPUtime=0.57 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) S 30053 30055 27326 0 -1 4202560 33255 0 1 0 52 5 0 0 15 0 22 0 909174572 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30058] ppid=30053 vsize=10565816 CPUtime=1.21 cores=0,2,4,6
/proc/30055/task/30058/stat : 30058 (java) S 30053 30055 27326 0 -1 4202560 14007 0 0 0 119 2 0 0 16 0 22 0 909174574 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30059] ppid=30053 vsize=10565816 CPUtime=1.22 cores=0,2,4,6
/proc/30055/task/30059/stat : 30059 (java) S 30053 30055 27326 0 -1 4202560 10416 0 0 0 121 1 0 0 16 0 22 0 909174574 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30060] ppid=30053 vsize=10565816 CPUtime=1.06 cores=0,2,4,6
/proc/30055/task/30060/stat : 30060 (java) S 30053 30055 27326 0 -1 4202560 7917 0 0 0 105 1 0 0 16 0 22 0 909174574 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30061] ppid=30053 vsize=10565816 CPUtime=1.1 cores=0,2,4,6
/proc/30055/task/30061/stat : 30061 (java) S 30053 30055 27326 0 -1 4202560 5622 0 0 0 110 0 0 0 15 0 22 0 909174574 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30062] ppid=30053 vsize=10565816 CPUtime=0.91 cores=0,2,4,6
/proc/30055/task/30062/stat : 30062 (java) S 30053 30055 27326 0 -1 4202560 7418 0 0 0 90 1 0 0 15 0 22 0 909174574 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30063] ppid=30053 vsize=10565816 CPUtime=1.01 cores=0,2,4,6
/proc/30055/task/30063/stat : 30063 (java) S 30053 30055 27326 0 -1 4202560 12461 0 0 0 100 1 0 0 15 0 22 0 909174574 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30064] ppid=30053 vsize=10565816 CPUtime=0.87 cores=0,2,4,6
/proc/30055/task/30064/stat : 30064 (java) S 30053 30055 27326 0 -1 4202560 6290 0 0 0 86 1 0 0 16 0 22 0 909174574 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30065] ppid=30053 vsize=10565816 CPUtime=1.26 cores=0,2,4,6
/proc/30055/task/30065/stat : 30065 (java) S 30053 30055 27326 0 -1 4202560 6917 0 0 0 126 0 0 0 16 0 22 0 909174574 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30066] ppid=30053 vsize=10565816 CPUtime=54.25 cores=0,2,4,6
/proc/30055/task/30066/stat : 30066 (java) S 30053 30055 27326 0 -1 4202560 169830 0 0 0 5407 18 0 0 15 0 22 0 909174575 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 0 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30067] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30067/stat : 30067 (java) S 30053 30055 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30068] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30068/stat : 30068 (java) S 30053 30055 27326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30069] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30069/stat : 30069 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174577 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032219569 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30070] ppid=30053 vsize=10565816 CPUtime=1.78 cores=0,2,4,6
/proc/30055/task/30070/stat : 30070 (java) S 30053 30055 27326 0 -1 4202560 8867 0 0 0 177 1 0 0 15 0 22 0 909174577 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30071] ppid=30053 vsize=10565816 CPUtime=1.12 cores=0,2,4,6
/proc/30055/task/30071/stat : 30071 (java) S 30053 30055 27326 0 -1 4202560 6138 0 0 0 112 0 0 0 15 0 22 0 909174577 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30072] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30072/stat : 30072 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174577 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30073] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30073/stat : 30073 (java) S 30053 30055 27326 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909174577 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30080] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30080/stat : 30080 (java) S 30053 30055 27326 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909174681 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30084] ppid=30053 vsize=10565816 CPUtime=815.03 cores=0,2,4,6
/proc/30055/task/30084/stat : 30084 (java) R 30053 30055 27326 0 -1 4202560 9715 0 0 0 81500 3 0 0 25 0 22 0 909175697 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 46912505869477 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30055/tid=30085] ppid=30053 vsize=10565816 CPUtime=815.19 cores=0,2,4,6
/proc/30055/task/30085/stat : 30085 (java) R 30053 30055 27326 0 -1 4202560 462531 0 0 0 81468 51 0 0 25 0 22 0 909175697 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 46912505797735 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30055/tid=30086] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30086/stat : 30086 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909175697 10819395584 855672 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1714.27
Current children cumulated vsize (KiB) 10565816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+927.701 s]
/proc/loadavg: 3.69 3.83 3.74 5/370 30185
/proc/meminfo: memFree=18299860/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=10565816 CPUtime=1800.02 cores=0,2,4,6
/proc/30055/stat : 30055 (java) S 30053 30055 27326 0 -1 4202496 889207 0 1 0 179895 107 0 0 25 0 22 0 909174571 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 2641454 882719 2269 9 0 2632188 0
[pid=30055/tid=30056] ppid=30053 vsize=10565816 CPUtime=0.57 cores=0,2,4,6
/proc/30055/task/30056/stat : 30056 (java) S 30053 30055 27326 0 -1 4202560 33258 0 1 0 52 5 0 0 15 0 22 0 909174572 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30058] ppid=30053 vsize=10565816 CPUtime=1.36 cores=0,2,4,6
/proc/30055/task/30058/stat : 30058 (java) S 30053 30055 27326 0 -1 4202560 14055 0 0 0 134 2 0 0 16 0 22 0 909174574 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30059] ppid=30053 vsize=10565816 CPUtime=1.31 cores=0,2,4,6
/proc/30055/task/30059/stat : 30059 (java) S 30053 30055 27326 0 -1 4202560 10416 0 0 0 130 1 0 0 15 0 22 0 909174574 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30060] ppid=30053 vsize=10565816 CPUtime=1.1 cores=0,2,4,6
/proc/30055/task/30060/stat : 30060 (java) S 30053 30055 27326 0 -1 4202560 7917 0 0 0 109 1 0 0 16 0 22 0 909174574 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30061] ppid=30053 vsize=10565816 CPUtime=1.16 cores=0,2,4,6
/proc/30055/task/30061/stat : 30061 (java) S 30053 30055 27326 0 -1 4202560 5622 0 0 0 116 0 0 0 15 0 22 0 909174574 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30062] ppid=30053 vsize=10565816 CPUtime=0.98 cores=0,2,4,6
/proc/30055/task/30062/stat : 30062 (java) S 30053 30055 27326 0 -1 4202560 7427 0 0 0 97 1 0 0 16 0 22 0 909174574 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30063] ppid=30053 vsize=10565816 CPUtime=1.1 cores=0,2,4,6
/proc/30055/task/30063/stat : 30063 (java) S 30053 30055 27326 0 -1 4202560 12462 0 0 0 109 1 0 0 16 0 22 0 909174574 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30064] ppid=30053 vsize=10565816 CPUtime=0.9 cores=0,2,4,6
/proc/30055/task/30064/stat : 30064 (java) S 30053 30055 27326 0 -1 4202560 6290 0 0 0 89 1 0 0 16 0 22 0 909174574 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30065] ppid=30053 vsize=10565816 CPUtime=1.3 cores=0,2,4,6
/proc/30055/task/30065/stat : 30065 (java) S 30053 30055 27326 0 -1 4202560 6917 0 0 0 130 0 0 0 15 0 22 0 909174574 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30066] ppid=30053 vsize=10565816 CPUtime=59.6 cores=0,2,4,6
/proc/30055/task/30066/stat : 30066 (java) S 30053 30055 27326 0 -1 4202560 196822 0 0 0 5939 21 0 0 15 0 22 0 909174575 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 0 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30067] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30067/stat : 30067 (java) S 30053 30055 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30068] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30068/stat : 30068 (java) S 30053 30055 27326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909174575 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30069] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30069/stat : 30069 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174577 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032219569 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30070] ppid=30053 vsize=10565816 CPUtime=1.78 cores=0,2,4,6
/proc/30055/task/30070/stat : 30070 (java) S 30053 30055 27326 0 -1 4202560 8867 0 0 0 177 1 0 0 15 0 22 0 909174577 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 4 0 0 0
[pid=30055/tid=30071] ppid=30053 vsize=10565816 CPUtime=1.12 cores=0,2,4,6
/proc/30055/task/30071/stat : 30071 (java) S 30053 30055 27326 0 -1 4202560 6138 0 0 0 112 0 0 0 15 0 22 0 909174577 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30072] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30072/stat : 30072 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174577 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032211865 0 4 0 16800975 18446604448657369024 0 0 -1 2 0 0 0
[pid=30055/tid=30073] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30073/stat : 30073 (java) S 30053 30055 27326 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909174577 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 0 0 0 0
[pid=30055/tid=30080] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30080/stat : 30080 (java) S 30053 30055 27326 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909174681 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
[pid=30055/tid=30084] ppid=30053 vsize=10565816 CPUtime=854.95 cores=0,2,4,6
/proc/30055/task/30084/stat : 30084 (java) R 30053 30055 27326 0 -1 4202560 9715 0 0 0 85492 3 0 0 23 0 22 0 909175697 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 46912505894529 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30055/tid=30085] ppid=30053 vsize=10565816 CPUtime=855.11 cores=0,2,4,6
/proc/30055/task/30085/stat : 30085 (java) R 30053 30055 27326 0 -1 4202560 462533 0 0 0 85460 51 0 0 23 0 22 0 909175697 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 46912505859215 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30055/tid=30086] ppid=30053 vsize=10565816 CPUtime=0 cores=0,2,4,6
/proc/30055/task/30086/stat : 30086 (java) S 30053 30055 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909175697 10819395584 882719 33554432000 1073741824 1073778376 140736066629776 18446744073709551615 260032212480 0 4 0 16800975 18446604448657369024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10565816

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

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

[startup+927.819 s]
/proc/loadavg: 3.69 3.83 3.74 5/370 30185
/proc/meminfo: memFree=18299860/32951124 swapFree=67056304/67111528
[pid=30055] ppid=30053 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/30055/stat : 30055 (java) Z 30053 30055 27326 0 -1 4203548 889236 0 1 0 179900 116 0 0 17 0 2 0 909174571 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30055/statm: 0 0 0 0 0 0 0
[pid=30055/tid=30084] ppid=30053 vsize=0 CPUtime=855.05 cores=0,2,4,6
/proc/30055/task/30084/stat : 30084 (java) R 30053 30055 27326 0 -1 4203588 9715 0 0 0 85493 12 0 0 24 0 2 0 909175697 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 927.875
CPU time (s): 1800.23
CPU user time (s): 1799.01
CPU system time (s): 1.22381
CPU usage (%): 194.017
Max. virtual memory (cumulated for all children) (KiB): 10565816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.22381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 889236
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= 23454
involuntary context switches= 19407

runsolver used 3.35449 second user time and 6.79597 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-04 14:10:40
IDJOB=3454530
IDBENCH=2243
IDSOLVER=1950
FILE ID=node110/3454530-1307189440
RUNJOBID= node110-1307187478-29524
PBS_JOBID= 13508825
Free space on /tmp= 74044 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/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454530-1307189440/watcher-3454530-1307189440 -o /tmp/evaluation-result-3454530-1307189440/solver-3454530-1307189440 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454530-1307189440.opb

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

MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107
RANDOM SEED=2035765162

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22066420 kB
Buffers:        303852 kB
Cached:        4583200 kB
SwapCached:       8652 kB
Active:        6090360 kB
Inactive:      4469136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22066420 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            1336 kB
Writeback:           0 kB
AnonPages:     5669940 kB
Mapped:          35668 kB
Slab:           229380 kB
PageTables:      31408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 85961900 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= 74044 MiB
End job on node110 at 2011-06-04 14:26:10