Trace number 3454553

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)-42 1800.45 938.124

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM1a88750537364c45876077f809191628
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-47
Best CPU time to get the best result obtained on this benchmark1800.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
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 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		9996466904
0.08/0.09	c Max memory 		10048897024
0.08/0.09	c Total memory 		10048897024
0.08/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-3454553-1307189644.opb
0.10/0.11	c reading problem ... 
1.26/0.80	c ... done. Wall clock time 0.691s.
1.26/0.80	c #vars     1272
1.26/0.80	c #constraints  94308
1.26/0.80	c constraints type 
1.26/0.80	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94308
1.26/0.80	c constraints type 
1.26/0.80	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94308
1.26/0.83	c  And the winner is CuttingPlanes
1.40/1.31	c SATISFIABLE
1.40/1.31	c OPTIMIZING...
1.40/1.31	c Got one! Elapsed wall clock time (in seconds):1.2
1.40/1.31	o -36
1.72/1.41	c  And the winner is Resolution
2.15/1.82	c Got one! Elapsed wall clock time (in seconds):1.709
2.15/1.82	o -37
2.15/1.83	c  And the winner is Resolution
2.26/2.33	c Got one! Elapsed wall clock time (in seconds):2.217
2.26/2.33	o -38
2.48/2.46	c  And the winner is Resolution
2.83/2.84	c Got one! Elapsed wall clock time (in seconds):2.727
2.83/2.84	o -39
4.29/3.53	c  And the winner is Resolution
4.43/3.85	c Got one! Elapsed wall clock time (in seconds):3.735
4.43/3.85	o -40
6.16/4.72	c cleaning 2989 clauses out of 5977 with flag 3001/5977
7.38/5.35	c  And the winner is Resolution
7.54/5.43	c Got one! Elapsed wall clock time (in seconds):5.314
7.54/5.43	o -41
9.56/6.48	c cleaning 4448 clauses out of 8896 with flag 4000/11885
13.06/8.21	c cleaning 5225 clauses out of 10449 with flag 10001/17886
17.17/10.37	c cleaning 6107 clauses out of 12223 with flag 17000/24885
22.24/12.98	c cleaning 7057 clauses out of 14116 with flag 25000/32885
27.69/15.72	c cleaning 8028 clauses out of 16060 with flag 34001/41886
34.39/19.10	c cleaning 8999 clauses out of 18031 with flag 44000/51885
41.02/22.55	c cleaning 10016 clauses out of 20032 with flag 55000/62885
49.38/26.81	c cleaning 11003 clauses out of 22016 with flag 67000/74885
57.35/30.98	c cleaning 12002 clauses out of 24013 with flag 80000/87885
67.48/36.15	c cleaning 13005 clauses out of 26012 with flag 94001/101886
79.20/42.17	c cleaning 13990 clauses out of 28006 with flag 109000/116885
90.10/47.80	c cleaning 15007 clauses out of 30016 with flag 125000/132885
102.56/54.29	c cleaning 16003 clauses out of 32011 with flag 142002/149887
116.80/61.61	c cleaning 16999 clauses out of 34006 with flag 160000/167885
129.84/68.26	c cleaning 18003 clauses out of 36007 with flag 179000/186885
144.78/76.05	c cleaning 19002 clauses out of 38004 with flag 199000/206885
162.15/84.98	c cleaning 19991 clauses out of 40002 with flag 220000/227885
182.63/95.45	c cleaning 21000 clauses out of 42011 with flag 242000/249885
199.12/103.98	c cleaning 21998 clauses out of 44011 with flag 265000/272885
217.53/113.55	c cleaning 23002 clauses out of 46013 with flag 289000/296885
238.13/124.14	c cleaning 24000 clauses out of 48012 with flag 314001/321886
262.53/136.69	c cleaning 25001 clauses out of 50011 with flag 340000/347885
287.49/149.41	c cleaning 26002 clauses out of 52010 with flag 367000/374885
310.33/161.37	c cleaning 26995 clauses out of 54008 with flag 395000/402885
332.14/172.61	c cleaning 28005 clauses out of 56014 with flag 424001/431886
358.03/185.85	c cleaning 29005 clauses out of 58009 with flag 454001/461886
385.05/199.73	c cleaning 30003 clauses out of 60005 with flag 485002/492887
418.13/216.85	c cleaning 30996 clauses out of 62000 with flag 517000/524885
429.93/223.20	c  And the winner is Resolution
434.54/227.65	c Got one! Elapsed wall clock time (in seconds):227.537
434.54/227.65	o -42
438.05/229.40	c cleaning 24831 clauses out of 49682 with flag 5000/543563
443.10/232.34	c cleaning 15409 clauses out of 30851 with flag 11000/549563
449.09/235.76	c cleaning 11206 clauses out of 22442 with flag 18000/556563
456.31/239.94	c cleaning 9607 clauses out of 19236 with flag 26000/564563
463.65/244.05	c cleaning 9301 clauses out of 18629 with flag 35000/573563
471.46/248.38	c cleaning 9657 clauses out of 19328 with flag 45000/583563
481.15/253.54	c cleaning 10331 clauses out of 20673 with flag 56002/594565
491.57/259.39	c cleaning 11168 clauses out of 22340 with flag 68000/606563
500.51/264.26	c cleaning 12087 clauses out of 24173 with flag 81001/619564
511.11/269.94	c cleaning 13042 clauses out of 26087 with flag 95002/633565
523.13/276.33	c cleaning 14015 clauses out of 28043 with flag 110000/648563
536.91/283.85	c cleaning 15011 clauses out of 30028 with flag 126000/664563
552.38/292.09	c cleaning 16007 clauses out of 32017 with flag 143000/681563
567.22/299.87	c cleaning 17004 clauses out of 34011 with flag 161001/699564
584.51/308.90	c cleaning 18002 clauses out of 36006 with flag 180000/718563
603.78/319.11	c cleaning 19001 clauses out of 38006 with flag 200002/738565
623.26/329.32	c cleaning 19991 clauses out of 40003 with flag 221000/759563
643.91/340.01	c cleaning 21001 clauses out of 42012 with flag 243000/781563
664.98/351.04	c cleaning 22001 clauses out of 44011 with flag 266000/804563
687.42/362.91	c cleaning 23003 clauses out of 46011 with flag 290001/828564
712.67/376.09	c cleaning 24003 clauses out of 48007 with flag 315000/853563
735.46/387.87	c cleaning 0 clauses out of 5536 with flag 0/5538
738.96/389.97	c cleaning 24996 clauses out of 50005 with flag 341001/879564
763.91/403.15	c cleaning 25995 clauses out of 52008 with flag 368000/906563
784.45/413.83	c cleaning 27003 clauses out of 54013 with flag 396000/934563
807.82/426.09	c cleaning 27994 clauses out of 56011 with flag 425001/963564
837.07/441.16	c cleaning 29000 clauses out of 58017 with flag 455001/993564
868.32/457.54	c cleaning 30006 clauses out of 60016 with flag 486000/1024563
898.38/473.10	c cleaning 31005 clauses out of 62011 with flag 518001/1056564
934.27/491.57	c cleaning 32003 clauses out of 64006 with flag 551001/1089564
968.84/509.39	c cleaning 32985 clauses out of 66002 with flag 585000/1123563
1007.40/529.42	c cleaning 34005 clauses out of 68018 with flag 620001/1158564
1047.38/549.96	c cleaning 35004 clauses out of 70013 with flag 656001/1194564
1085.77/569.73	c cleaning 35997 clauses out of 72008 with flag 693000/1231563
1125.57/590.21	c cleaning 37000 clauses out of 74011 with flag 731000/1269563
1169.74/613.20	c cleaning 38006 clauses out of 76013 with flag 770002/1308565
1213.26/635.54	c cleaning 38990 clauses out of 78005 with flag 810000/1348563
1245.40/652.25	c cleaning 40000 clauses out of 80015 with flag 851000/1389563
1283.67/672.03	c cleaning 41003 clauses out of 82016 with flag 893001/1431564
1334.89/698.63	c cleaning 42005 clauses out of 84012 with flag 936000/1474563
1388.01/725.83	c cleaning 43001 clauses out of 86008 with flag 980001/1518564
1430.20/747.62	c cleaning 43991 clauses out of 88006 with flag 1025000/1563563
1491.59/778.86	c cleaning 44997 clauses out of 90015 with flag 1071000/1609563
1536.99/802.56	c cleaning 46001 clauses out of 92018 with flag 1118000/1656563
1589.08/829.28	c cleaning 47009 clauses out of 94018 with flag 1166001/1704564
1644.52/857.68	c cleaning 48001 clauses out of 96009 with flag 1215001/1753564
1695.52/883.85	c cleaning 48998 clauses out of 98008 with flag 1265001/1803564
1753.07/913.69	c cleaning 49996 clauses out of 100010 with flag 1316001/1854564
1800.14/937.92	c starts		: 217
1800.14/937.92	c conflicts		: 1895016
1800.14/937.92	c decisions		: 2057981
1800.14/937.92	c propagations		: 11524659
1800.14/937.92	c inspects		: 1966330865
1800.14/937.92	c shortcuts		: 0
1800.14/937.92	c learnt literals	: 0
1800.14/937.92	c learnt binary clauses	: 0
1800.14/937.92	c learnt ternary clauses	: 0
1800.14/937.92	c learnt constraints	: 1895016
1800.14/937.92	c ignored constraints	: 0
1800.14/937.92	c root simplifications	: 0
1800.14/937.92	c removed literals (reason simplification)	: 24505705
1800.14/937.92	c reason swapping (by a shorter reason)	: 0
1800.14/937.92	c Calls to reduceDB	: 76
1800.14/937.92	c number of reductions to clauses (during analyze)	: 0
1800.14/937.92	c number of learned constraints concerned by reduction	: 0
1800.14/937.92	c number of learning phase by resolution	: 0
1800.14/937.92	c number of learning phase by cutting planes	: 0
1800.14/937.92	c speed (assignments/second)	: 16225.77220743127
1800.14/937.92	c non guided choices	0
1800.14/937.95	c learnt constraints type 
1800.14/937.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 90496
1800.14/937.95	c constraints type 
1800.14/937.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.14/937.95	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94308
1800.14/937.95	c constraints type 
1800.14/937.95	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94308
1800.14/937.95	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.14/937.95	s SATISFIABLE
1800.14/937.95	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
1800.14/937.95	c objective function=-42
1800.14/937.95	c Total wall clock time (in seconds): 937.841

Verifier Data 

OK	-42

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

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

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


[startup+0 s]
/proc/loadavg: 3.06 3.30 3.18 2/436 9598
/proc/meminfo: memFree=25196220/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 1369 0 1 0 0 0 0 0 17 0 2 0 286573814 37810176 1072 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 9231 1072 832 9 0 387 0
[pid=9598/tid=9599] ppid=9596 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) R 9596 9598 6914 0 -1 4202560 3022 0 1 0 0 0 0 0 17 0 2 0 286573815 10694979584 3838 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0913229 s]
/proc/loadavg: 3.06 3.30 3.18 2/436 9598
/proc/meminfo: memFree=25196220/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=10539520 CPUtime=0.08 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 12813 0 1 0 7 1 0 0 17 0 18 0 286573814 10792468480 12510 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 2634880 12510 2065 9 0 2625614 0
[pid=9598/tid=9599] ppid=9596 vsize=10539520 CPUtime=0.06 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) R 9596 9598 6914 0 -1 4202560 10945 0 1 0 6 0 0 0 22 0 18 0 286573815 10792468480 12510 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 46912505201612 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539520

[startup+0.100319 s]
/proc/loadavg: 3.06 3.30 3.18 2/436 9598
/proc/meminfo: memFree=25196220/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=10539520 CPUtime=0.1 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 12976 0 1 0 9 1 0 0 17 0 18 0 286573814 10792468480 12673 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 2634880 12673 2095 9 0 2625614 0
[pid=9598/tid=9599] ppid=9596 vsize=10539520 CPUtime=0.07 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) R 9596 9598 6914 0 -1 4202560 11055 0 1 0 7 0 0 0 22 0 18 0 286573815 10792468480 12673 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 47615022769468 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539520

[startup+0.300285 s]
/proc/loadavg: 3.06 3.30 3.18 2/436 9598
/proc/meminfo: memFree=25196220/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=10540040 CPUtime=0.47 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 15846 0 1 0 45 2 0 0 17 0 18 0 286573814 10793000960 15077 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 2635010 15077 2201 9 0 2625744 0
[pid=9598/tid=9599] ppid=9596 vsize=10540040 CPUtime=0.28 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) R 9596 9598 6914 0 -1 4202560 12856 0 1 0 27 1 0 0 22 0 18 0 286573815 10793000960 15077 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 46912505579811 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540040

[startup+0.700216 s]
/proc/loadavg: 3.06 3.30 3.18 2/436 9598
/proc/meminfo: memFree=25196220/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=10545140 CPUtime=1.16 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 54282 0 1 0 109 7 0 0 17 0 18 0 286573814 10798223360 52477 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 2636285 52477 2216 9 0 2627019 0
[pid=9598/tid=9599] ppid=9596 vsize=10545140 CPUtime=0.68 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) R 9596 9598 6914 0 -1 4202560 48058 0 1 0 62 6 0 0 24 0 18 0 286573815 10798223360 52477 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 46912505613529 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10545140

[startup+1.50115 s]
/proc/loadavg: 3.06 3.30 3.18 2/455 9620
/proc/meminfo: memFree=24941444/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=10560940 CPUtime=1.92 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 72719 0 1 0 182 10 0 0 17 0 19 0 286573814 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 2640235 68663 2235 9 0 2630969 0
[pid=9598/tid=9599] ppid=9596 vsize=10560940 CPUtime=0.79 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) S 9596 9598 6914 0 -1 4202560 60911 0 1 0 72 7 0 0 21 0 19 0 286573815 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9601/stat : 9601 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 286573817 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9602/stat : 9602 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 286573817 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9603/stat : 9603 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 286573817 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9604/stat : 9604 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 286573817 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9605/stat : 9605 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 286573817 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9606/stat : 9606 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 286573817 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9607/stat : 9607 (java) S 9596 9598 6914 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 286573817 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9608/stat : 9608 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 286573817 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9609/stat : 9609 (java) S 9596 9598 6914 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 286573818 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 0 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9610/stat : 9610 (java) S 9596 9598 6914 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 19 0 286573818 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9611/stat : 9611 (java) S 9596 9598 6914 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 286573818 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9612/stat : 9612 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 286573820 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892388785 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=10560940 CPUtime=0.47 cores=1,3,5,7
/proc/9598/task/9613/stat : 9613 (java) R 9596 9598 6914 0 -1 4202560 7345 0 0 0 46 1 0 0 16 0 19 0 286573820 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218880256598 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9598/tid=9614] ppid=9596 vsize=10560940 CPUtime=0.38 cores=1,3,5,7
/proc/9598/task/9614/stat : 9614 (java) S 9596 9598 6914 0 -1 4202560 2663 0 0 0 38 0 0 0 16 0 19 0 286573820 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9615] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9615/stat : 9615 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 286573820 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9616] ppid=9596 vsize=10560940 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9616/stat : 9616 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 286573820 10814402560 68663 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 10560940

[startup+3.10079 s]
/proc/loadavg: 2.89 3.26 3.17 2/455 9626
/proc/meminfo: memFree=24922600/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=10563704 CPUtime=3.46 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 90425 0 1 0 334 12 0 0 17 0 22 0 286573814 10817232896 84654 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 2640926 84654 2240 9 0 2631660 0
[pid=9598/tid=9599] ppid=9596 vsize=10563704 CPUtime=0.8 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) S 9596 9598 6914 0 -1 4202560 61064 0 1 0 73 7 0 0 16 0 22 0 286573815 10817232896 84655 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9601/stat : 9601 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 286573817 10817232896 84655 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9602/stat : 9602 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573817 10817232896 84655 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9603/stat : 9603 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573817 10817232896 84655 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9604/stat : 9604 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573817 10817232896 84656 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9605/stat : 9605 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573817 10817232896 84656 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9606/stat : 9606 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573817 10817232896 84656 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9607/stat : 9607 (java) S 9596 9598 6914 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 286573817 10817232896 84656 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9608/stat : 9608 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573817 10817232896 84656 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9609/stat : 9609 (java) S 9596 9598 6914 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 286573818 10817232896 84657 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 0 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9610/stat : 9610 (java) S 9596 9598 6914 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 22 0 286573818 10817232896 84657 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9611/stat : 9611 (java) S 9596 9598 6914 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 286573818 10817232896 84657 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9612/stat : 9612 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573820 10817232896 84657 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892388785 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=10563704 CPUtime=0.93 cores=1,3,5,7
/proc/9598/task/9613/stat : 9613 (java) S 9596 9598 6914 0 -1 4202560 8293 0 0 0 92 1 0 0 15 0 22 0 286573820 10817232896 84657 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9614] ppid=9596 vsize=10563704 CPUtime=0.65 cores=1,3,5,7
/proc/9598/task/9614/stat : 9614 (java) S 9596 9598 6914 0 -1 4202560 4408 0 0 0 65 0 0 0 15 0 22 0 286573820 10817232896 84657 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9615] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9615/stat : 9615 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286573820 10817232896 84658 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9616] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9616/stat : 9616 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 286573820 10817232896 84658 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9623] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9623/stat : 9623 (java) S 9596 9598 6914 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 22 0 286573947 10817232896 84658 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 10563704

[startup+6.30123 s]
/proc/loadavg: 2.89 3.26 3.17 3/456 9635
/proc/meminfo: memFree=24515500/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=10563704 CPUtime=9.36 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 218309 0 1 0 910 26 0 0 17 0 22 0 286573814 10817232896 212013 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 2640926 212015 2268 9 0 2631660 0
[pid=9598/tid=9599] ppid=9596 vsize=10563704 CPUtime=0.81 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) S 9596 9598 6914 0 -1 4202560 61115 0 1 0 74 7 0 0 15 0 22 0 286573815 10817232896 212015 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=10563704 CPUtime=0.02 cores=1,3,5,7
/proc/9598/task/9601/stat : 9601 (java) S 9596 9598 6914 0 -1 4202560 1812 0 0 0 2 0 0 0 18 0 22 0 286573817 10817232896 212016 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=10563704 CPUtime=0.02 cores=1,3,5,7
/proc/9598/task/9602/stat : 9602 (java) S 9596 9598 6914 0 -1 4202560 2202 0 0 0 2 0 0 0 18 0 22 0 286573817 10817232896 212017 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9603/stat : 9603 (java) S 9596 9598 6914 0 -1 4202560 1491 0 0 0 0 0 0 0 18 0 22 0 286573817 10817232896 212018 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=10563704 CPUtime=0.02 cores=1,3,5,7
/proc/9598/task/9604/stat : 9604 (java) S 9596 9598 6914 0 -1 4202560 3779 0 0 0 2 0 0 0 18 0 22 0 286573817 10817232896 212019 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9605/stat : 9605 (java) S 9596 9598 6914 0 -1 4202560 107 0 0 0 0 0 0 0 18 0 22 0 286573817 10817232896 212019 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9606/stat : 9606 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 286573817 10817232896 212020 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9607/stat : 9607 (java) S 9596 9598 6914 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 286573817 10817232896 212021 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=10563704 CPUtime=0.02 cores=1,3,5,7
/proc/9598/task/9608/stat : 9608 (java) S 9596 9598 6914 0 -1 4202560 2546 0 0 0 2 0 0 0 18 0 22 0 286573817 10817232896 212022 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=10563704 CPUtime=0.11 cores=1,3,5,7
/proc/9598/task/9609/stat : 9609 (java) S 9596 9598 6914 0 -1 4202560 13089 0 0 0 10 1 0 0 15 0 22 0 286573818 10817232896 212022 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 0 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9610/stat : 9610 (java) S 9596 9598 6914 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 22 0 286573818 10817232896 212023 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9611/stat : 9611 (java) S 9596 9598 6914 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 286573818 10817232896 212024 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9612/stat : 9612 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573820 10817232896 212025 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892388785 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=10563704 CPUtime=1.01 cores=1,3,5,7
/proc/9598/task/9613/stat : 9613 (java) S 9596 9598 6914 0 -1 4202560 8309 0 0 0 100 1 0 0 15 0 22 0 286573820 10817232896 212025 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9614] ppid=9596 vsize=10563704 CPUtime=0.79 cores=1,3,5,7
/proc/9598/task/9614/stat : 9614 (java) S 9596 9598 6914 0 -1 4202560 4877 0 0 0 79 0 0 0 16 0 22 0 286573820 10817232896 212026 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9615] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9615/stat : 9615 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286573820 10817232896 212027 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0

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

/proc/9598/task/9603/stat : 9603 (java) S 9596 9598 6914 0 -1 4202560 12631 0 0 0 115 1 0 0 16 0 22 0 286573817 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=10563704 CPUtime=1.44 cores=1,3,5,7
/proc/9598/task/9604/stat : 9604 (java) S 9596 9598 6914 0 -1 4202560 14799 0 0 0 143 1 0 0 16 0 22 0 286573817 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=10563704 CPUtime=1.26 cores=1,3,5,7
/proc/9598/task/9605/stat : 9605 (java) S 9596 9598 6914 0 -1 4202560 8928 0 0 0 125 1 0 0 15 0 22 0 286573817 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=10563704 CPUtime=1.13 cores=1,3,5,7
/proc/9598/task/9606/stat : 9606 (java) S 9596 9598 6914 0 -1 4202560 8634 0 0 0 112 1 0 0 15 0 22 0 286573817 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=10563704 CPUtime=1.28 cores=1,3,5,7
/proc/9598/task/9607/stat : 9607 (java) S 9596 9598 6914 0 -1 4202560 10730 0 0 0 127 1 0 0 15 0 22 0 286573817 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=10563704 CPUtime=1.55 cores=1,3,5,7
/proc/9598/task/9608/stat : 9608 (java) S 9596 9598 6914 0 -1 4202560 24065 0 0 0 152 3 0 0 16 0 22 0 286573817 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=10563704 CPUtime=67.47 cores=1,3,5,7
/proc/9598/task/9609/stat : 9609 (java) S 9596 9598 6914 0 -1 4202560 242794 0 0 0 6724 23 0 0 15 0 22 0 286573818 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 0 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9610/stat : 9610 (java) S 9596 9598 6914 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 22 0 286573818 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9611/stat : 9611 (java) S 9596 9598 6914 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 286573818 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9612/stat : 9612 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573820 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892388785 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=10563704 CPUtime=1.25 cores=1,3,5,7
/proc/9598/task/9613/stat : 9613 (java) S 9596 9598 6914 0 -1 4202560 8340 0 0 0 124 1 0 0 16 0 22 0 286573820 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9614] ppid=9596 vsize=10563704 CPUtime=1.32 cores=1,3,5,7
/proc/9598/task/9614/stat : 9614 (java) S 9596 9598 6914 0 -1 4202560 9737 0 0 0 131 1 0 0 15 0 22 0 286573820 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9615] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9615/stat : 9615 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286573820 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9616] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9616/stat : 9616 (java) S 9596 9598 6914 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 286573820 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9623] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9623/stat : 9623 (java) S 9596 9598 6914 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 22 0 286573947 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9716] ppid=9596 vsize=10563704 CPUtime=540.16 cores=1,3,5,7
/proc/9598/task/9716/stat : 9716 (java) R 9596 9598 6914 0 -1 4202560 16306 0 0 0 54013 3 0 0 25 0 22 0 286596580 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 46912505888607 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9598/tid=9717] ppid=9596 vsize=10563704 CPUtime=540.14 cores=1,3,5,7
/proc/9598/task/9717/stat : 9717 (java) R 9596 9598 6914 0 -1 4202560 217475 0 0 0 53988 26 0 0 25 0 22 0 286596580 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 46912506082038 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9598/tid=9718] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9718/stat : 9718 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 286596580 10817232896 1018172 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1575.12
Current children cumulated vsize (KiB) 10563704

[startup+882.301 s]
/proc/loadavg: 4.07 3.83 3.54 5/458 9739
/proc/meminfo: memFree=17794256/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=10563704 CPUtime=1692.36 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 1054557 0 1 0 169110 126 0 0 17 0 22 0 286573814 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 2640926 1044839 2269 9 0 2631660 0
[pid=9598/tid=9599] ppid=9596 vsize=10563704 CPUtime=0.81 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) S 9596 9598 6914 0 -1 4202560 61158 0 1 0 74 7 0 0 15 0 22 0 286573815 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=10563704 CPUtime=1.56 cores=1,3,5,7
/proc/9598/task/9601/stat : 9601 (java) S 9596 9598 6914 0 -1 4202560 14696 0 0 0 155 1 0 0 15 0 22 0 286573817 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=10563704 CPUtime=1.48 cores=1,3,5,7
/proc/9598/task/9602/stat : 9602 (java) S 9596 9598 6914 0 -1 4202560 22874 0 0 0 146 2 0 0 16 0 22 0 286573817 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=10563704 CPUtime=1.31 cores=1,3,5,7
/proc/9598/task/9603/stat : 9603 (java) S 9596 9598 6914 0 -1 4202560 15859 0 0 0 129 2 0 0 15 0 22 0 286573817 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=10563704 CPUtime=1.53 cores=1,3,5,7
/proc/9598/task/9604/stat : 9604 (java) S 9596 9598 6914 0 -1 4202560 15689 0 0 0 152 1 0 0 16 0 22 0 286573817 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=10563704 CPUtime=1.37 cores=1,3,5,7
/proc/9598/task/9605/stat : 9605 (java) S 9596 9598 6914 0 -1 4202560 9426 0 0 0 136 1 0 0 16 0 22 0 286573817 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=10563704 CPUtime=1.2 cores=1,3,5,7
/proc/9598/task/9606/stat : 9606 (java) S 9596 9598 6914 0 -1 4202560 10222 0 0 0 119 1 0 0 15 0 22 0 286573817 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=10563704 CPUtime=1.55 cores=1,3,5,7
/proc/9598/task/9607/stat : 9607 (java) S 9596 9598 6914 0 -1 4202560 13066 0 0 0 154 1 0 0 16 0 22 0 286573817 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=10563704 CPUtime=1.73 cores=1,3,5,7
/proc/9598/task/9608/stat : 9608 (java) S 9596 9598 6914 0 -1 4202560 26170 0 0 0 169 4 0 0 15 0 22 0 286573817 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=10563704 CPUtime=70.76 cores=1,3,5,7
/proc/9598/task/9609/stat : 9609 (java) S 9596 9598 6914 0 -1 4202560 256093 0 0 0 7052 24 0 0 15 0 22 0 286573818 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 0 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9610/stat : 9610 (java) S 9596 9598 6914 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 22 0 286573818 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9611/stat : 9611 (java) S 9596 9598 6914 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 286573818 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9612/stat : 9612 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573820 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892388785 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=10563704 CPUtime=1.25 cores=1,3,5,7
/proc/9598/task/9613/stat : 9613 (java) S 9596 9598 6914 0 -1 4202560 8340 0 0 0 124 1 0 0 16 0 22 0 286573820 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9614] ppid=9596 vsize=10563704 CPUtime=1.32 cores=1,3,5,7
/proc/9598/task/9614/stat : 9614 (java) S 9596 9598 6914 0 -1 4202560 9737 0 0 0 131 1 0 0 15 0 22 0 286573820 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9615] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9615/stat : 9615 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286573820 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9616] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9616/stat : 9616 (java) S 9596 9598 6914 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 286573820 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9623] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9623/stat : 9623 (java) S 9596 9598 6914 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 22 0 286573947 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9716] ppid=9596 vsize=10563704 CPUtime=596.55 cores=1,3,5,7
/proc/9598/task/9716/stat : 9716 (java) R 9596 9598 6914 0 -1 4202560 16306 0 0 0 59652 3 0 0 25 0 22 0 286596580 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 46912505888607 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9598/tid=9717] ppid=9596 vsize=10563704 CPUtime=596.54 cores=1,3,5,7
/proc/9598/task/9717/stat : 9717 (java) R 9596 9598 6914 0 -1 4202560 217796 0 0 0 59627 27 0 0 25 0 22 0 286596580 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 46912505959713 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9598/tid=9718] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9718/stat : 9718 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 286596580 10817232896 1044839 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1692.36
Current children cumulated vsize (KiB) 10563704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+937.901 s]
/proc/loadavg: 4.04 3.84 3.56 5/458 9740
/proc/meminfo: memFree=17496252/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=10563704 CPUtime=1800.14 cores=1,3,5,7
/proc/9598/stat : 9598 (java) S 9596 9598 6914 0 -1 4202496 1128925 0 1 0 179878 136 0 0 17 0 22 0 286573814 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 2640926 1119197 2269 9 0 2631660 0
[pid=9598/tid=9599] ppid=9596 vsize=10563704 CPUtime=0.81 cores=1,3,5,7
/proc/9598/task/9599/stat : 9599 (java) S 9596 9598 6914 0 -1 4202560 61160 0 1 0 74 7 0 0 15 0 22 0 286573815 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9601] ppid=9596 vsize=10563704 CPUtime=1.7 cores=1,3,5,7
/proc/9598/task/9601/stat : 9601 (java) S 9596 9598 6914 0 -1 4202560 29501 0 0 0 166 4 0 0 16 0 22 0 286573817 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9602] ppid=9596 vsize=10563704 CPUtime=1.64 cores=1,3,5,7
/proc/9598/task/9602/stat : 9602 (java) S 9596 9598 6914 0 -1 4202560 25300 0 0 0 161 3 0 0 15 0 22 0 286573817 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9603] ppid=9596 vsize=10563704 CPUtime=1.49 cores=1,3,5,7
/proc/9598/task/9603/stat : 9603 (java) S 9596 9598 6914 0 -1 4202560 27758 0 0 0 145 4 0 0 16 0 22 0 286573817 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9604] ppid=9596 vsize=10563704 CPUtime=1.62 cores=1,3,5,7
/proc/9598/task/9604/stat : 9604 (java) S 9596 9598 6914 0 -1 4202560 26185 0 0 0 160 2 0 0 15 0 22 0 286573817 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 3 0 0 0
[pid=9598/tid=9605] ppid=9596 vsize=10563704 CPUtime=1.58 cores=1,3,5,7
/proc/9598/task/9605/stat : 9605 (java) S 9596 9598 6914 0 -1 4202560 20677 0 0 0 156 2 0 0 16 0 22 0 286573817 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9606] ppid=9596 vsize=10563704 CPUtime=1.47 cores=1,3,5,7
/proc/9598/task/9606/stat : 9606 (java) S 9596 9598 6914 0 -1 4202560 19005 0 0 0 145 2 0 0 16 0 22 0 286573817 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9607] ppid=9596 vsize=10563704 CPUtime=1.74 cores=1,3,5,7
/proc/9598/task/9607/stat : 9607 (java) S 9596 9598 6914 0 -1 4202560 21781 0 0 0 172 2 0 0 15 0 22 0 286573817 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9608] ppid=9596 vsize=10563704 CPUtime=1.79 cores=1,3,5,7
/proc/9598/task/9608/stat : 9608 (java) S 9596 9598 6914 0 -1 4202560 26196 0 0 0 175 4 0 0 15 0 22 0 286573817 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9609] ppid=9596 vsize=10563704 CPUtime=74.84 cores=1,3,5,7
/proc/9598/task/9609/stat : 9609 (java) S 9596 9598 6914 0 -1 4202560 262054 0 0 0 7460 24 0 0 15 0 22 0 286573818 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 0 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9610] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9610/stat : 9610 (java) S 9596 9598 6914 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 22 0 286573818 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9611] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9611/stat : 9611 (java) S 9596 9598 6914 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 286573818 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 7 0 0 0
[pid=9598/tid=9612] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9612/stat : 9612 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286573820 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892388785 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=10563704 CPUtime=1.25 cores=1,3,5,7
/proc/9598/task/9613/stat : 9613 (java) S 9596 9598 6914 0 -1 4202560 8340 0 0 0 124 1 0 0 16 0 22 0 286573820 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9614] ppid=9596 vsize=10563704 CPUtime=1.32 cores=1,3,5,7
/proc/9598/task/9614/stat : 9614 (java) S 9596 9598 6914 0 -1 4202560 9737 0 0 0 131 1 0 0 15 0 22 0 286573820 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9615] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9615/stat : 9615 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286573820 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381081 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
[pid=9598/tid=9616] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9616/stat : 9616 (java) S 9596 9598 6914 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 286573820 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9623] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9623/stat : 9623 (java) S 9596 9598 6914 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 22 0 286573947 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 1 0 0 0
[pid=9598/tid=9716] ppid=9596 vsize=10563704 CPUtime=647.75 cores=1,3,5,7
/proc/9598/task/9716/stat : 9716 (java) R 9596 9598 6914 0 -1 4202560 16306 0 0 0 64772 3 0 0 25 0 22 0 286596580 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 46912505888007 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9598/tid=9717] ppid=9596 vsize=10563704 CPUtime=647.74 cores=1,3,5,7
/proc/9598/task/9717/stat : 9717 (java) R 9596 9598 6914 0 -1 4202560 217798 0 0 0 64747 27 0 0 25 0 22 0 286596580 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 46912506080849 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9598/tid=9718] ppid=9596 vsize=10563704 CPUtime=0 cores=1,3,5,7
/proc/9598/task/9718/stat : 9718 (java) S 9596 9598 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 286596580 10817232896 1119197 33554432000 1073741824 1073778376 140734071929888 18446744073709551615 218892381696 0 4 0 16800975 18446604465478359808 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10563704

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

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

[startup+938.022 s]
/proc/loadavg: 4.04 3.84 3.56 5/458 9740
/proc/meminfo: memFree=17496252/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=0 CPUtime=1800.34 cores=1,3,5,7
/proc/9598/stat : 9598 (java) Z 9596 9598 6914 0 -1 4203548 1128955 0 1 0 179892 142 0 0 15 0 2 0 286573814 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 0 0 0 0 0 0 0
[pid=9598/tid=9717] ppid=9596 vsize=0 CPUtime=647.84 cores=1,3,5,7
/proc/9598/task/9717/stat : 9717 (java) R 9596 9598 6914 0 -1 4203588 217798 0 0 0 64751 33 0 0 25 0 2 0 286596580 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

[startup+938.101 s]
/proc/loadavg: 4.04 3.84 3.56 5/458 9740
/proc/meminfo: memFree=17496252/32950928 swapFree=52006644/67111528
[pid=9598] ppid=9596 vsize=0 CPUtime=1800.42 cores=1,3,5,7
/proc/9598/stat : 9598 (java) Z 9596 9598 6914 0 -1 4203548 1128955 0 1 0 179892 150 0 0 15 0 2 0 286573814 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9598/statm: 0 0 0 0 0 0 0
[pid=9598/tid=9717] ppid=9596 vsize=0 CPUtime=647.92 cores=1,3,5,7
/proc/9598/task/9717/stat : 9717 (java) R 9596 9598 6914 0 -1 4203588 217798 0 0 0 64751 41 0 0 25 0 2 0 286596580 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 938.124
CPU time (s): 1800.45
CPU user time (s): 1798.92
CPU system time (s): 1.52577
CPU usage (%): 191.92
Max. virtual memory (cumulated for all children) (KiB): 10563704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.52577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1128955
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= 23932
involuntary context switches= 27339

runsolver used 3.82042 second user time and 9.78251 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-04 14:14:04
IDJOB=3454553
IDBENCH=2256
IDSOLVER=1950
FILE ID=node112/3454553-1307189644
RUNJOBID= node112-1307187705-9025
PBS_JOBID= 13508820
Free space on /tmp= 73908 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/frb53-24-opb/normalized-frb53-24-4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454553-1307189644/watcher-3454553-1307189644 -o /tmp/evaluation-result-3454553-1307189644/solver-3454553-1307189644 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454553-1307189644.opb

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

MD5SUM BENCH= 1a88750537364c45876077f809191628
RANDOM SEED=1610958744

node112.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.847
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.69
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.847
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.847
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:     32950928 kB
MemFree:      25196500 kB
Buffers:        337156 kB
Cached:        5630784 kB
SwapCached:      31280 kB
Active:        1760316 kB
Inactive:      5711968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25196500 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:            2804 kB
Writeback:           0 kB
AnonPages:     1481868 kB
Mapped:          20844 kB
Slab:           155680 kB
PageTables:      60576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 109004192 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= 73904 MiB
End job on node112 at 2011-06-04 14:29:44