Trace number 3687895

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-36 1800.06 1790.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUM20471e978018d28aed0ca16c46de4e3d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -51
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94226
Number of constraints which are clauses94226
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.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3687895-1337877306.opb
0.07/0.12	c reading problem ... 
0.87/0.68	c ... done. Wall clock time 0.56s.
0.87/0.68	c declared #vars     1272
0.87/0.68	c #constraints  94226
0.87/0.68	c constraints type 
0.87/0.68	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94226
0.87/0.68	c 94226 constraints processed.
0.87/0.68	c objective function length is 1272 literals
0.98/0.71	c SATISFIABLE
0.98/0.71	c OPTIMIZING...
0.98/0.71	c Got one! Elapsed wall clock time (in seconds):0.584
0.98/0.71	o -33
0.98/0.78	c Got one! Elapsed wall clock time (in seconds):0.659
0.98/0.78	o -34
1.25/0.82	c Got one! Elapsed wall clock time (in seconds):0.7
1.25/0.82	o -35
1.43/0.92	c Got one! Elapsed wall clock time (in seconds):0.795
1.43/0.92	o -36
2.15/1.56	c cleaning 2802 clauses out of 5604 with flag 5002/5604
3.31/2.40	c cleaning 4400 clauses out of 8800 with flag 11000/11602
4.28/3.36	c cleaning 5701 clauses out of 11402 with flag 18002/18604
5.53/4.50	c cleaning 6850 clauses out of 13699 with flag 26000/26602
6.95/5.83	c cleaning 7924 clauses out of 15849 with flag 35000/35602
8.46/7.34	c cleaning 8964 clauses out of 17927 with flag 45002/45604
10.25/9.05	c cleaning 9976 clauses out of 19961 with flag 56000/56602
12.13/10.83	c cleaning 10990 clauses out of 21987 with flag 68002/68604
14.20/12.80	c cleaning 11993 clauses out of 23995 with flag 81000/81602
16.43/15.07	c cleaning 13002 clauses out of 26003 with flag 95001/95603
19.12/17.66	c cleaning 14000 clauses out of 28001 with flag 110001/110603
22.18/20.62	c cleaning 14992 clauses out of 30002 with flag 126002/126604
25.00/23.48	c cleaning 16001 clauses out of 32008 with flag 143000/143602
28.15/26.54	c cleaning 17001 clauses out of 34007 with flag 161000/161602
31.50/29.89	c cleaning 17998 clauses out of 36007 with flag 180001/180603
35.26/33.54	c cleaning 19005 clauses out of 38009 with flag 200001/200603
39.42/37.61	c cleaning 19997 clauses out of 40004 with flag 221001/221603
43.79/41.91	c cleaning 21002 clauses out of 42007 with flag 243001/243603
48.25/46.38	c cleaning 21997 clauses out of 44004 with flag 266000/266602
53.29/51.37	c cleaning 22998 clauses out of 46007 with flag 290000/290602
58.38/56.37	c cleaning 24003 clauses out of 48012 with flag 315003/315605
63.68/61.59	c cleaning 25003 clauses out of 50007 with flag 341001/341603
69.31/67.06	c cleaning 26000 clauses out of 52004 with flag 368001/368603
75.16/72.84	c cleaning 26998 clauses out of 54003 with flag 396000/396602
81.97/79.55	c cleaning 27996 clauses out of 56005 with flag 425000/425602
89.07/86.56	c cleaning 29001 clauses out of 58009 with flag 455000/455602
96.36/93.75	c cleaning 30003 clauses out of 60009 with flag 486001/486603
104.56/101.85	c cleaning 30999 clauses out of 62005 with flag 518000/518602
112.93/110.13	c cleaning 31997 clauses out of 64008 with flag 551002/551604
121.73/118.81	c cleaning 33002 clauses out of 66009 with flag 585000/585602
131.05/128.07	c cleaning 34004 clauses out of 68007 with flag 620000/620602
140.34/137.29	c cleaning 34998 clauses out of 70004 with flag 656001/656603
151.65/148.58	c cleaning 35996 clauses out of 72005 with flag 693000/693602
163.75/160.69	c cleaning 36999 clauses out of 74010 with flag 731001/731603
175.75/172.62	c cleaning 38002 clauses out of 76013 with flag 770003/770605
186.94/183.89	c cleaning 38999 clauses out of 78008 with flag 810000/810602
197.95/194.86	c cleaning 40003 clauses out of 80010 with flag 851001/851603
210.45/207.34	c cleaning 40993 clauses out of 82006 with flag 893000/893602
223.36/220.28	c cleaning 42002 clauses out of 84014 with flag 936001/936603
237.56/234.48	c cleaning 43005 clauses out of 86012 with flag 980001/980603
251.45/248.36	c cleaning 44003 clauses out of 88006 with flag 1025000/1025602
264.45/261.31	c cleaning 45001 clauses out of 90006 with flag 1071003/1071605
278.25/275.13	c cleaning 45996 clauses out of 92002 with flag 1118000/1118602
293.15/290.03	c cleaning 47003 clauses out of 94010 with flag 1166004/1166606
306.67/303.57	c cleaning 47997 clauses out of 96005 with flag 1215002/1215604
321.56/318.43	c cleaning 48999 clauses out of 98006 with flag 1265000/1265602
336.66/333.59	c cleaning 50001 clauses out of 100009 with flag 1316002/1316604
355.17/352.04	c cleaning 50995 clauses out of 102007 with flag 1368001/1368603
378.40/374.87	c cleaning 52009 clauses out of 104017 with flag 1421006/1421608
404.90/401.34	c cleaning 52997 clauses out of 106002 with flag 1475000/1475602
431.73/428.08	c cleaning 53999 clauses out of 108006 with flag 1530001/1530603
456.27/452.42	c cleaning 55003 clauses out of 110007 with flag 1586001/1586603
481.16/477.22	c cleaning 55999 clauses out of 112005 with flag 1643002/1643604
503.91/499.81	c cleaning 56995 clauses out of 114006 with flag 1701002/1701604
527.14/522.94	c cleaning 58002 clauses out of 116009 with flag 1760000/1760602
552.15/547.83	c cleaning 59003 clauses out of 118008 with flag 1820001/1820603
580.06/575.62	c cleaning 60001 clauses out of 120005 with flag 1881001/1881603
610.67/606.12	c cleaning 61000 clauses out of 122004 with flag 1943001/1943603
636.28/631.68	c cleaning 61997 clauses out of 124004 with flag 2006001/2006603
654.75/650.02	c cleaning 63002 clauses out of 126006 with flag 2070000/2070602
683.04/678.26	c cleaning 64003 clauses out of 128005 with flag 2135001/2135603
714.18/709.29	c cleaning 64994 clauses out of 130004 with flag 2201003/2201605
743.69/738.53	c cleaning 66004 clauses out of 132009 with flag 2268002/2268604
773.42/768.14	c cleaning 66998 clauses out of 134003 with flag 2336000/2336602
803.54/798.16	c cleaning 67999 clauses out of 136006 with flag 2405001/2405603
837.87/832.33	c cleaning 69001 clauses out of 138006 with flag 2475000/2475602
870.53/864.82	c cleaning 70002 clauses out of 140008 with flag 2546003/2546605
911.29/905.45	c cleaning 70996 clauses out of 142004 with flag 2618001/2618603
949.63/943.61	c cleaning 71997 clauses out of 144007 with flag 2691000/2691602
986.98/980.78	c cleaning 73001 clauses out of 146011 with flag 2765001/2765603
1023.33/1016.99	c cleaning 74003 clauses out of 148010 with flag 2840001/2840603
1059.68/1053.12	c cleaning 75004 clauses out of 150007 with flag 2916001/2916603
1098.23/1091.59	c cleaning 75999 clauses out of 152005 with flag 2993003/2993605
1142.98/1136.20	c cleaning 76999 clauses out of 154004 with flag 3071001/3071603
1182.39/1175.30	c cleaning 78002 clauses out of 156007 with flag 3150003/3150605
1238.35/1231.11	c cleaning 79001 clauses out of 158004 with flag 3230002/3230604
1293.90/1286.46	c cleaning 79998 clauses out of 160003 with flag 3311002/3311604
1338.69/1331.04	c cleaning 81000 clauses out of 162004 with flag 3393001/3393603
1393.72/1385.81	c cleaning 82000 clauses out of 164004 with flag 3476001/3476603
1449.99/1441.97	c cleaning 82998 clauses out of 166004 with flag 3560001/3560603
1496.90/1488.64	c cleaning 83994 clauses out of 168006 with flag 3645001/3645603
1547.16/1538.74	c cleaning 85001 clauses out of 170013 with flag 3731002/3731604
1597.42/1588.86	c cleaning 86001 clauses out of 172010 with flag 3818000/3818602
1651.17/1642.49	c cleaning 87001 clauses out of 174010 with flag 3906001/3906603
1701.25/1692.35	c cleaning 87998 clauses out of 176008 with flag 3995000/3995602
1751.45/1742.44	c cleaning 89004 clauses out of 178010 with flag 4085000/4085602
1798.62/1789.44	c cleaning 90000 clauses out of 180006 with flag 4176000/4176602
1800.06/1790.71	c starts		: 257
1800.06/1790.71	c conflicts		: 4180344
1800.06/1790.71	c decisions		: 4520062
1800.06/1790.71	c propagations		: 22605714
1800.06/1790.71	c inspects		: 16638367546
1800.06/1790.71	c shortcuts		: 0
1800.06/1790.71	c learnt literals	: 0
1800.06/1790.71	c learnt binary clauses	: 0
1800.06/1790.71	c learnt ternary clauses	: 0
1800.06/1790.71	c learnt constraints	: 4180344
1800.06/1790.71	c ignored constraints	: 0
1800.06/1790.71	c root simplifications	: 0
1800.06/1790.71	c removed literals (reason simplification)	: 0
1800.06/1790.72	c reason swapping (by a shorter reason)	: 0
1800.06/1790.72	c Calls to reduceDB	: 87
1800.06/1790.72	c number of reductions to clauses (during analyze)	: 0
1800.06/1790.72	c number of learned constraints concerned by reduction	: 0
1800.06/1790.72	c number of learning phase by resolution	: 0
1800.06/1790.72	c number of learning phase by cutting planes	: 0
1800.06/1790.72	c speed (assignments/second)	: 12628.768537523087
1800.06/1790.72	c non guided choices	0
1800.06/1790.74	c learnt constraints type 
1800.06/1790.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 93862
1800.06/1790.74	c constraints type 
1800.06/1790.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1790.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94226
1800.06/1790.74	c 94227 constraints processed.
1800.06/1790.74	s SATISFIABLE
1800.06/1790.74	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.06/1790.74	c objective function=-36
1800.06/1790.74	c Total wall clock time (in seconds): 1790.622

Verifier Data 

OK	-36

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3687895-1337877306/watcher-3687895-1337877306 -o /tmp/evaluation-result-3687895-1337877306/solver-3687895-1337877306 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687895-1337877306.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: 1.95 1.99 1.99 3/195 23349
/proc/meminfo: memFree=28314488/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/23349/stat : 23349 (java) D 23347 23349 22635 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 253857479 2560000 46 33554432000 1073741824 1073778376 140733327568288 140733327565416 213183982887 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 625 46 37 9 0 29 0

[startup+0.0908911 s]
/proc/loadavg: 1.95 1.99 1.99 3/195 23349
/proc/meminfo: memFree=28314488/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 3347 0 1 0 5 1 0 0 20 0 18 0 253857479 9787813888 4555 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2389603 4556 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100202 s]
/proc/loadavg: 1.95 1.99 1.99 3/195 23349
/proc/meminfo: memFree=28314488/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 4001 0 1 0 6 1 0 0 20 0 18 0 253857479 9787813888 5202 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2389603 5206 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.300212 s]
/proc/loadavg: 1.95 1.99 1.99 3/195 23349
/proc/meminfo: memFree=28314488/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9558412 CPUtime=0.42 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 5177 0 1 0 41 1 0 0 20 0 18 0 253857479 9787813888 7695 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2389603 7695 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558412

[startup+0.700225 s]
/proc/loadavg: 1.95 1.99 1.99 3/195 23349
/proc/meminfo: memFree=28314488/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9558412 CPUtime=0.98 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 7357 0 1 0 94 4 0 0 20 0 18 0 253857479 9787813888 40617 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2389603 40617 2250 9 0 2380296 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9558412

[startup+1.50066 s]
/proc/loadavg: 1.95 1.99 1.99 4/214 23368
/proc/meminfo: memFree=28157556/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9624976 CPUtime=2.15 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 8909 0 1 0 210 5 0 0 20 0 19 0 253857479 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2406244 41175 2263 9 0 2396937 0
[pid=23349/tid=23351] ppid=23347 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/23349/task/23351/stat : 23351 (java) R 23347 23349 22635 0 -1 4202560 2520 0 1 0 141 3 0 0 20 0 19 0 253857480 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640875106776 139640745627203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23352/stat : 23352 (java) S 23347 23349 22635 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253857482 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640864168360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23353/stat : 23353 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857482 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640717392424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23354/stat : 23354 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857482 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640716339368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23355/stat : 23355 (java) S 23347 23349 22635 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253857482 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640715286824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23356/stat : 23356 (java) S 23347 23349 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253857482 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640714234792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23357/stat : 23357 (java) S 23347 23349 22635 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253857482 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640713182248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23358/stat : 23358 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857482 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640712129192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23359/stat : 23359 (java) S 23347 23349 22635 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253857482 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640711076648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23360] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23360/stat : 23360 (java) S 23347 23349 22635 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640698878312 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23361] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23361/stat : 23361 (java) S 23347 23349 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640697824632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23362] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23362/stat : 23362 (java) S 23347 23349 22635 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640696771464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23363] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23363/stat : 23363 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640695720208 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23364] ppid=23347 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23349/task/23364/stat : 23364 (java) S 23347 23349 22635 0 -1 4202560 3473 0 0 0 39 0 0 0 20 0 19 0 253857486 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640694668088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/23349/task/23365/stat : 23365 (java) S 23347 23349 22635 0 -1 4202560 1635 0 0 0 24 0 0 0 20 0 19 0 253857486 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640693615544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23366/stat : 23366 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640692562680 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23367] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23367/stat : 23367 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640691510344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23368] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23368/stat : 23368 (java) S 23347 23349 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253857549 9855975424 41175 33554432000 1073741824 1073778376 140735246118944 139640690455592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9624976

[startup+3.10069 s]
/proc/loadavg: 1.95 1.99 1.99 3/214 23368
/proc/meminfo: memFree=28101836/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9624976 CPUtime=4.08 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 13341 0 1 0 397 11 0 0 20 0 19 0 253857479 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2406244 63906 2275 9 0 2396937 0
[pid=23349/tid=23351] ppid=23347 vsize=9624976 CPUtime=2.94 cores=0,2,4,6
/proc/23349/task/23351/stat : 23351 (java) R 23347 23349 22635 0 -1 4202560 2521 0 1 0 290 4 0 0 20 0 19 0 253857480 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640875106592 139640745559667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23349/task/23352/stat : 23352 (java) S 23347 23349 22635 0 -1 4202560 94 0 0 0 1 0 0 0 20 0 19 0 253857482 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640864168360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23349/task/23353/stat : 23353 (java) S 23347 23349 22635 0 -1 4202560 112 0 0 0 1 0 0 0 20 0 19 0 253857482 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640717392424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23349/task/23354/stat : 23354 (java) S 23347 23349 22635 0 -1 4202560 98 0 0 0 1 0 0 0 20 0 19 0 253857482 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640716339368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23349/task/23355/stat : 23355 (java) S 23347 23349 22635 0 -1 4202560 100 0 0 0 3 1 0 0 20 0 19 0 253857482 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640715286824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23349/task/23356/stat : 23356 (java) S 23347 23349 22635 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 253857482 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640714234792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23349/task/23357/stat : 23357 (java) S 23347 23349 22635 0 -1 4202560 27 0 0 0 0 1 0 0 20 0 19 0 253857482 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640713182248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23349/task/23358/stat : 23358 (java) S 23347 23349 22635 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 253857482 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640712129192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/23349/task/23359/stat : 23359 (java) S 23347 23349 22635 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 253857482 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640711076648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23360] ppid=23347 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23349/task/23360/stat : 23360 (java) S 23347 23349 22635 0 -1 4202560 105 0 0 0 4 0 0 0 20 0 19 0 253857483 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640698878312 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23361] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23361/stat : 23361 (java) S 23347 23349 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640697824632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23362] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23362/stat : 23362 (java) S 23347 23349 22635 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640696771464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23363] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23363/stat : 23363 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640695720208 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23364] ppid=23347 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/23349/task/23364/stat : 23364 (java) S 23347 23349 22635 0 -1 4202560 3477 0 0 0 42 0 0 0 20 0 19 0 253857486 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640694668088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23349/task/23365/stat : 23365 (java) S 23347 23349 22635 0 -1 4202560 5588 0 0 0 39 0 0 0 20 0 19 0 253857486 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640693615544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23366/stat : 23366 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640692562680 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23367] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23367/stat : 23367 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640691510344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23368] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23368/stat : 23368 (java) S 23347 23349 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253857549 9855975424 63906 33554432000 1073741824 1073778376 140735246118944 139640690455592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 9624976

[startup+6.30074 s]
/proc/loadavg: 1.95 1.99 1.99 3/214 23368
/proc/meminfo: memFree=28023644/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9624976 CPUtime=7.46 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 13535 0 1 0 732 14 0 0 20 0 19 0 253857479 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2406244 71877 2275 9 0 2396937 0
[pid=23349/tid=23351] ppid=23347 vsize=9624976 CPUtime=5.98 cores=0,2,4,6
/proc/23349/task/23351/stat : 23351 (java) R 23347 23349 22635 0 -1 4202560 2523 0 1 0 594 4 0 0 20 0 19 0 253857480 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640875106592 139640745559648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23349/task/23352/stat : 23352 (java) S 23347 23349 22635 0 -1 4202560 105 0 0 0 2 2 0 0 20 0 19 0 253857482 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640864168360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23349/task/23353/stat : 23353 (java) S 23347 23349 22635 0 -1 4202560 122 0 0 0 1 2 0 0 20 0 19 0 253857482 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640717392424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23349/task/23354/stat : 23354 (java) S 23347 23349 22635 0 -1 4202560 109 0 0 0 4 0 0 0 20 0 19 0 253857482 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640716339368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/23349/task/23355/stat : 23355 (java) S 23347 23349 22635 0 -1 4202560 124 0 0 0 5 3 0 0 20 0 19 0 253857482 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640715286824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23349/task/23356/stat : 23356 (java) S 23347 23349 22635 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 253857482 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640714234792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/23349/task/23357/stat : 23357 (java) S 23347 23349 22635 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 19 0 253857482 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640713182248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23349/task/23358/stat : 23358 (java) S 23347 23349 22635 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 253857482 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640712129192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/23349/task/23359/stat : 23359 (java) S 23347 23349 22635 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 253857482 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640711076648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23360] ppid=23347 vsize=9624976 CPUtime=0.13 cores=0,2,4,6
/proc/23349/task/23360/stat : 23360 (java) S 23347 23349 22635 0 -1 4202560 108 0 0 0 13 0 0 0 20 0 19 0 253857483 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640698878312 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23361] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23361/stat : 23361 (java) S 23347 23349 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640697824632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23362] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23362/stat : 23362 (java) S 23347 23349 22635 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640696771464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23363] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23363/stat : 23363 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640695720208 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23364] ppid=23347 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/23349/task/23364/stat : 23364 (java) S 23347 23349 22635 0 -1 4202560 3596 0 0 0 47 0 0 0 20 0 19 0 253857486 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640694668088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23349/task/23365/stat : 23365 (java) S 23347 23349 22635 0 -1 4202560 5589 0 0 0 39 0 0 0 20 0 19 0 253857486 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640693615544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23366/stat : 23366 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640692562680 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23367] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23367/stat : 23367 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640691510344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23368] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23368/stat : 23368 (java) S 23347 23349 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253857549 9855975424 71877 33554432000 1073741824 1073778376 140735246118944 139640690455592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=23349/tid=23364] ppid=23347 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23349/task/23364/stat : 23364 (java) S 23347 23349 22635 0 -1 4202560 4289 0 0 0 58 0 0 0 20 0 19 0 253857486 9855975424 335292 33554432000 1073741824 1073778376 140735246118944 139640694668088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23349/task/23365/stat : 23365 (java) S 23347 23349 22635 0 -1 4202560 5589 0 0 0 39 0 0 0 20 0 19 0 253857486 9855975424 335292 33554432000 1073741824 1073778376 140735246118944 139640693615544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23366/stat : 23366 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 335292 33554432000 1073741824 1073778376 140735246118944 139640692562680 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23367] ppid=23347 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/23349/task/23367/stat : 23367 (java) S 23347 23349 22635 0 -1 4202560 99 0 0 0 36 33 0 0 20 0 19 0 253857486 9855975424 335292 33554432000 1073741824 1073778376 140735246118944 139640691510344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23368] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23368/stat : 23368 (java) S 23347 23349 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253857549 9855975424 335292 33554432000 1073741824 1073778376 140735246118944 139640690455592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1731.35
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/212 23465
/proc/meminfo: memFree=26970836/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9624976 CPUtime=1791.53 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 20341 0 1 0 179018 135 0 0 20 0 19 0 253857479 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2406244 336871 2276 9 0 2396937 0
[pid=23349/tid=23351] ppid=23347 vsize=9624976 CPUtime=1767.49 cores=0,2,4,6
/proc/23349/task/23351/stat : 23351 (java) R 23347 23349 22635 0 -1 4202560 2898 0 1 0 176714 35 0 0 20 0 19 0 253857480 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640875106592 139640745667086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=9624976 CPUtime=1.36 cores=0,2,4,6
/proc/23349/task/23352/stat : 23352 (java) S 23347 23349 22635 0 -1 4202560 746 0 0 0 124 12 0 0 20 0 19 0 253857482 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640864168360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=9624976 CPUtime=1.24 cores=0,2,4,6
/proc/23349/task/23353/stat : 23353 (java) S 23347 23349 22635 0 -1 4202560 627 0 0 0 112 12 0 0 20 0 19 0 253857482 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640717392424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=9624976 CPUtime=1.3 cores=0,2,4,6
/proc/23349/task/23354/stat : 23354 (java) S 23347 23349 22635 0 -1 4202560 441 0 0 0 119 11 0 0 20 0 19 0 253857482 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640716339368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=9624976 CPUtime=1.29 cores=0,2,4,6
/proc/23349/task/23355/stat : 23355 (java) S 23347 23349 22635 0 -1 4202560 562 0 0 0 117 12 0 0 20 0 19 0 253857482 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640715286824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=9624976 CPUtime=1.36 cores=0,2,4,6
/proc/23349/task/23356/stat : 23356 (java) S 23347 23349 22635 0 -1 4202560 537 0 0 0 123 13 0 0 20 0 19 0 253857482 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640714234792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=9624976 CPUtime=1.59 cores=0,2,4,6
/proc/23349/task/23357/stat : 23357 (java) S 23347 23349 22635 0 -1 4202560 674 0 0 0 146 13 0 0 20 0 19 0 253857482 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640713182248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/23349/task/23358/stat : 23358 (java) S 23347 23349 22635 0 -1 4202560 934 0 0 0 125 16 0 0 20 0 19 0 253857482 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640712129192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=9624976 CPUtime=1.39 cores=0,2,4,6
/proc/23349/task/23359/stat : 23359 (java) S 23347 23349 22635 0 -1 4202560 570 0 0 0 129 10 0 0 20 0 19 0 253857482 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640711076648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23360] ppid=23347 vsize=9624976 CPUtime=7.21 cores=0,2,4,6
/proc/23349/task/23360/stat : 23360 (java) S 23347 23349 22635 0 -1 4202560 1190 0 0 0 717 4 0 0 20 0 19 0 253857483 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640698878312 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23361] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23361/stat : 23361 (java) S 23347 23349 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640697824632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23362] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23362/stat : 23362 (java) S 23347 23349 22635 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640696771464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23363] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23363/stat : 23363 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640695720208 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23364] ppid=23347 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23349/task/23364/stat : 23364 (java) S 23347 23349 22635 0 -1 4202560 4289 0 0 0 58 0 0 0 20 0 19 0 253857486 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640694668088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23349/task/23365/stat : 23365 (java) S 23347 23349 22635 0 -1 4202560 5589 0 0 0 39 0 0 0 20 0 19 0 253857486 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640693615544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23366/stat : 23366 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640692562680 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23367] ppid=23347 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/23349/task/23367/stat : 23367 (java) S 23347 23349 22635 0 -1 4202560 103 0 0 0 38 33 0 0 20 0 19 0 253857486 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640691510344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23368] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23368/stat : 23368 (java) S 23347 23349 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253857549 9855975424 336871 33554432000 1073741824 1073778376 140735246118944 139640690455592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.7 s]
/proc/loadavg: 1.97 1.98 1.99 3/212 23465
/proc/meminfo: memFree=26966868/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 20357 0 1 0 179871 135 0 0 20 0 19 0 253857479 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2406244 337906 2276 9 0 2396937 0
[pid=23349/tid=23351] ppid=23347 vsize=9624976 CPUtime=1775.73 cores=0,2,4,6
/proc/23349/task/23351/stat : 23351 (java) R 23347 23349 22635 0 -1 4202560 2901 0 1 0 177538 35 0 0 20 0 19 0 253857480 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640875106592 139640745625552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=9624976 CPUtime=1.38 cores=0,2,4,6
/proc/23349/task/23352/stat : 23352 (java) S 23347 23349 22635 0 -1 4202560 746 0 0 0 126 12 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640864168360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=9624976 CPUtime=1.26 cores=0,2,4,6
/proc/23349/task/23353/stat : 23353 (java) S 23347 23349 22635 0 -1 4202560 627 0 0 0 114 12 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640717392424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=9624976 CPUtime=1.32 cores=0,2,4,6
/proc/23349/task/23354/stat : 23354 (java) S 23347 23349 22635 0 -1 4202560 441 0 0 0 121 11 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640716339368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=9624976 CPUtime=1.31 cores=0,2,4,6
/proc/23349/task/23355/stat : 23355 (java) S 23347 23349 22635 0 -1 4202560 562 0 0 0 119 12 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640715286824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=9624976 CPUtime=1.38 cores=0,2,4,6
/proc/23349/task/23356/stat : 23356 (java) S 23347 23349 22635 0 -1 4202560 546 0 0 0 125 13 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640714234792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=9624976 CPUtime=1.61 cores=0,2,4,6
/proc/23349/task/23357/stat : 23357 (java) S 23347 23349 22635 0 -1 4202560 676 0 0 0 148 13 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640713182248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/23349/task/23358/stat : 23358 (java) S 23347 23349 22635 0 -1 4202560 934 0 0 0 126 16 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640712129192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/23349/task/23359/stat : 23359 (java) S 23347 23349 22635 0 -1 4202560 570 0 0 0 133 10 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640711076648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23360] ppid=23347 vsize=9624976 CPUtime=7.32 cores=0,2,4,6
/proc/23349/task/23360/stat : 23360 (java) S 23347 23349 22635 0 -1 4202560 1192 0 0 0 728 4 0 0 20 0 19 0 253857483 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640698878312 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23361] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23361/stat : 23361 (java) S 23347 23349 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640697824632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23362] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23362/stat : 23362 (java) S 23347 23349 22635 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640696771464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23363] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23363/stat : 23363 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640695720208 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23364] ppid=23347 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23349/task/23364/stat : 23364 (java) S 23347 23349 22635 0 -1 4202560 4289 0 0 0 58 0 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640694668088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23349/task/23365/stat : 23365 (java) S 23347 23349 22635 0 -1 4202560 5589 0 0 0 39 0 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640693615544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23366/stat : 23366 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640692562680 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23367] ppid=23347 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/23349/task/23367/stat : 23367 (java) S 23347 23349 22635 0 -1 4202560 103 0 0 0 38 33 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640691510344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23368] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23368/stat : 23368 (java) S 23347 23349 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253857549 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640690455592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1790.7 s]
/proc/loadavg: 1.97 1.98 1.99 3/212 23465
/proc/meminfo: memFree=26966868/32873648 swapFree=6848/6848
[pid=23349] ppid=23347 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/23349/stat : 23349 (java) S 23347 23349 22635 0 -1 4202496 20357 0 1 0 179871 135 0 0 20 0 19 0 253857479 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 140735246110080 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23349/statm: 2406244 337906 2276 9 0 2396937 0
[pid=23349/tid=23351] ppid=23347 vsize=9624976 CPUtime=1775.73 cores=0,2,4,6
/proc/23349/task/23351/stat : 23351 (java) R 23347 23349 22635 0 -1 4202560 2901 0 1 0 177538 35 0 0 20 0 19 0 253857480 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640875106592 139640745625552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=9624976 CPUtime=1.38 cores=0,2,4,6
/proc/23349/task/23352/stat : 23352 (java) S 23347 23349 22635 0 -1 4202560 746 0 0 0 126 12 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640864168360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=9624976 CPUtime=1.26 cores=0,2,4,6
/proc/23349/task/23353/stat : 23353 (java) S 23347 23349 22635 0 -1 4202560 627 0 0 0 114 12 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640717392424 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=9624976 CPUtime=1.32 cores=0,2,4,6
/proc/23349/task/23354/stat : 23354 (java) S 23347 23349 22635 0 -1 4202560 441 0 0 0 121 11 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640716339368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=9624976 CPUtime=1.31 cores=0,2,4,6
/proc/23349/task/23355/stat : 23355 (java) S 23347 23349 22635 0 -1 4202560 562 0 0 0 119 12 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640715286824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=9624976 CPUtime=1.38 cores=0,2,4,6
/proc/23349/task/23356/stat : 23356 (java) S 23347 23349 22635 0 -1 4202560 546 0 0 0 125 13 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640714234792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=9624976 CPUtime=1.61 cores=0,2,4,6
/proc/23349/task/23357/stat : 23357 (java) S 23347 23349 22635 0 -1 4202560 676 0 0 0 148 13 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640713182248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/23349/task/23358/stat : 23358 (java) S 23347 23349 22635 0 -1 4202560 934 0 0 0 126 16 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640712129192 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/23349/task/23359/stat : 23359 (java) S 23347 23349 22635 0 -1 4202560 570 0 0 0 133 10 0 0 20 0 19 0 253857482 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640711076648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23360] ppid=23347 vsize=9624976 CPUtime=7.32 cores=0,2,4,6
/proc/23349/task/23360/stat : 23360 (java) S 23347 23349 22635 0 -1 4202560 1192 0 0 0 728 4 0 0 20 0 19 0 253857483 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640698878312 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23349/tid=23361] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23361/stat : 23361 (java) S 23347 23349 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640697824632 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23362] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23362/stat : 23362 (java) S 23347 23349 22635 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253857483 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640696771464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23363] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23363/stat : 23363 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640695720208 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23364] ppid=23347 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/23349/task/23364/stat : 23364 (java) S 23347 23349 22635 0 -1 4202560 4289 0 0 0 58 0 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640694668088 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/23349/task/23365/stat : 23365 (java) S 23347 23349 22635 0 -1 4202560 5589 0 0 0 39 0 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640693615544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23366/stat : 23366 (java) S 23347 23349 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640692562680 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23349/tid=23367] ppid=23347 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/23349/task/23367/stat : 23367 (java) S 23347 23349 22635 0 -1 4202560 103 0 0 0 38 33 0 0 20 0 19 0 253857486 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640691510344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23349/tid=23368] ppid=23347 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23349/task/23368/stat : 23368 (java) S 23347 23349 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253857549 9855975424 337906 33554432000 1073741824 1073778376 140735246118944 139640690455592 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23349 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=329220
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=850718
# CPU time returned by wait4() is 1796.18
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.75
CPU time (s): 1800.06
CPU user time (s): 1798.71
CPU system time (s): 1.35
CPU usage (%): 100.52
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.33
system time used= 1.85072
maximum resident set size= 1351756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20392
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40005
involuntary context switches= 13528

runsolver used 7.77982 second user time and 13.413 second system time

The end

Launcher Data 

Begin job on node113 at 2012-05-24 18:35:06
IDJOB=3687895
IDBENCH=2258
IDSOLVER=2269
FILE ID=node113/3687895-1337877306
RUNJOBID= node113-1337871880-22652
PBS_JOBID= 14620091
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687895-1337877306/watcher-3687895-1337877306 -o /tmp/evaluation-result-3687895-1337877306/solver-3687895-1337877306 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687895-1337877306.opb

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

MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d
RANDOM SEED=647637232

node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28315124 kB
Buffers:          211568 kB
Cached:          3377280 kB
SwapCached:            0 kB
Active:           773612 kB
Inactive:        3010868 kB
Active(anon):     197932 kB
Inactive(anon):        0 kB
Active(file):     575680 kB
Inactive(file):  3010868 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2844 kB
Writeback:             8 kB
AnonPages:        206108 kB
Mapped:            22360 kB
Shmem:               200 kB
Slab:             633460 kB
SReclaimable:      77656 kB
SUnreclaim:       555804 kB
KernelStack:        1608 kB
PageTables:         4504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71684 MiB
End job on node113 at 2012-05-24 19:04:59