Trace number 3710718

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 PB specific settings 2.3.2 snapshotSAT (TO)-47 1800.01 1791.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUMa2418d45f4247bab260506429e96e746
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126555
Number of constraints which are clauses126555
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 1534
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 1534
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 1534
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-2012 Artois University and CNRS
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.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710718-1338148406.opb
0.09/0.12	c reading problem ... 
0.99/0.75	c ... done. Wall clock time 0.635s.
0.99/0.75	c declared #vars     1534
0.99/0.76	c #constraints  126555
0.99/0.76	c constraints type 
0.99/0.76	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 126555
0.99/0.76	c 126555 constraints processed.
0.99/0.79	c SATISFIABLE
0.99/0.79	c OPTIMIZING...
0.99/0.79	c Got one! Elapsed wall clock time (in seconds):0.666
0.99/0.79	o 0
1.12/0.81	c Got one! Elapsed wall clock time (in seconds):0.686
1.12/0.81	o -1
1.12/0.87	c Got one! Elapsed wall clock time (in seconds):0.755
1.12/0.87	o -2
1.12/0.89	c Got one! Elapsed wall clock time (in seconds):0.77
1.12/0.89	o -45
2.92/2.33	c cleaning 2509 clauses out of 5024 with flag 5002/5024
3.47/2.90	c Got one! Elapsed wall clock time (in seconds):2.775
3.47/2.90	o -46
4.72/4.06	c cleaning 4199 clauses out of 8397 with flag 4001/10906
6.59/5.85	c cleaning 5095 clauses out of 10200 with flag 10003/16908
8.82/8.08	c cleaning 6044 clauses out of 12102 with flag 17000/23905
11.41/10.59	c cleaning 7019 clauses out of 14060 with flag 25002/31907
14.24/13.32	c cleaning 8020 clauses out of 16039 with flag 34000/40905
18.01/17.00	c cleaning 9006 clauses out of 18019 with flag 44000/50905
21.48/20.49	c cleaning 10007 clauses out of 20014 with flag 55001/61906
26.35/25.24	c cleaning 10989 clauses out of 22008 with flag 67002/73907
30.70/29.51	c cleaning 12009 clauses out of 24018 with flag 80001/86906
36.29/35.04	c cleaning 13004 clauses out of 26009 with flag 94001/100906
42.88/41.58	c cleaning 14000 clauses out of 28005 with flag 109001/115906
48.57/47.11	c cleaning 14998 clauses out of 30005 with flag 125001/131906
56.24/54.70	c cleaning 16004 clauses out of 32007 with flag 142001/148906
64.36/62.78	c cleaning 16997 clauses out of 34003 with flag 160001/166906
71.32/69.63	c cleaning 18000 clauses out of 36005 with flag 179000/185905
79.43/77.66	c cleaning 18994 clauses out of 38005 with flag 199000/205905
89.91/88.01	c cleaning 19997 clauses out of 40011 with flag 220000/226905
100.18/98.25	c cleaning 21005 clauses out of 42014 with flag 242000/248905
110.17/108.11	c cleaning 22000 clauses out of 44009 with flag 265000/271905
119.49/117.36	c cleaning 22994 clauses out of 46010 with flag 289001/295906
132.36/130.11	c cleaning 24003 clauses out of 48018 with flag 314003/320908
147.55/145.25	c cleaning 25005 clauses out of 50012 with flag 340000/346905
163.58/161.11	c cleaning 25993 clauses out of 52008 with flag 367001/373906
176.68/174.25	c Got one! Elapsed wall clock time (in seconds):174.129
176.68/174.25	o -47
178.98/176.56	c cleaning 27510 clauses out of 55027 with flag 5002/402918
181.18/178.77	c cleaning 16755 clauses out of 33516 with flag 11001/408917
183.93/181.50	c cleaning 11873 clauses out of 23762 with flag 18002/415918
186.95/184.46	c cleaning 9937 clauses out of 19887 with flag 26000/423916
190.16/187.66	c cleaning 9472 clauses out of 18951 with flag 35001/432917
194.60/192.09	c cleaning 9738 clauses out of 19480 with flag 45002/442918
198.72/196.11	c cleaning 10366 clauses out of 20740 with flag 56000/453916
204.37/201.75	c cleaning 11183 clauses out of 22374 with flag 68000/465916
211.12/208.46	c cleaning 12094 clauses out of 24194 with flag 81003/478919
217.47/214.74	c cleaning 13046 clauses out of 26097 with flag 95000/492916
224.52/221.78	c cleaning 14023 clauses out of 28052 with flag 110001/507917
232.45/229.66	c cleaning 15007 clauses out of 30028 with flag 126000/523916
241.93/239.06	c cleaning 16010 clauses out of 32022 with flag 143001/540917
253.64/250.68	c cleaning 17005 clauses out of 34011 with flag 161000/558916
266.73/263.67	c cleaning 18000 clauses out of 36006 with flag 180000/577916
275.90/272.70	c cleaning 19000 clauses out of 38008 with flag 200002/597918
283.99/280.70	c cleaning 19998 clauses out of 40006 with flag 221000/618916
293.40/290.07	c cleaning 21000 clauses out of 42010 with flag 243002/640918
304.35/300.96	c cleaning 21999 clauses out of 44010 with flag 266002/663918
315.85/312.31	c cleaning 22998 clauses out of 46009 with flag 290000/687916
333.65/330.07	c cleaning 24005 clauses out of 48012 with flag 315001/712917
347.54/343.81	c cleaning 24998 clauses out of 50007 with flag 341001/738917
366.64/362.80	c cleaning 26006 clauses out of 52011 with flag 368003/765919
382.44/378.62	c cleaning 26994 clauses out of 54002 with flag 396000/793916
399.35/395.52	c cleaning 28004 clauses out of 56008 with flag 425000/822916
420.29/416.33	c cleaning 29000 clauses out of 58004 with flag 455000/852916
445.70/441.70	c cleaning 30003 clauses out of 60005 with flag 486001/883917
457.39/453.49	c cleaning 30991 clauses out of 62002 with flag 518001/915917
472.50/468.58	c cleaning 31999 clauses out of 64011 with flag 551001/948917
491.69/487.71	c cleaning 32999 clauses out of 66014 with flag 585003/982919
513.78/509.87	c cleaning 34008 clauses out of 68016 with flag 620004/1017920
538.78/534.89	c cleaning 34993 clauses out of 70005 with flag 656001/1053917
559.97/556.01	c cleaning 36000 clauses out of 72011 with flag 693000/1090916
585.07/581.15	c cleaning 37000 clauses out of 74014 with flag 731003/1128919
616.37/612.48	c cleaning 38002 clauses out of 76012 with flag 770001/1167917
638.70/634.73	c cleaning 38996 clauses out of 78010 with flag 810001/1207917
670.78/666.80	c cleaning 40000 clauses out of 80014 with flag 851001/1248917
707.58/703.66	c cleaning 41007 clauses out of 82013 with flag 893000/1290916
742.08/738.15	c cleaning 41996 clauses out of 84007 with flag 936001/1333917
761.37/757.48	c cleaning 42997 clauses out of 86011 with flag 980001/1377917
787.87/783.98	c cleaning 44004 clauses out of 88013 with flag 1025000/1422916
814.38/809.97	c cleaning 44997 clauses out of 90010 with flag 1071001/1468917
856.28/851.82	c cleaning 46002 clauses out of 92013 with flag 1118001/1515917
887.36/882.79	c cleaning 46999 clauses out of 94010 with flag 1166000/1563916
926.95/922.13	c cleaning 47997 clauses out of 96011 with flag 1215000/1612916
960.37/955.45	c cleaning 49003 clauses out of 98015 with flag 1265001/1662917
1012.06/1006.90	c cleaning 49997 clauses out of 100011 with flag 1316000/1713916
1065.99/1060.66	c cleaning 51001 clauses out of 102016 with flag 1368002/1765918
1103.09/1097.54	c cleaning 52001 clauses out of 104013 with flag 1421000/1818916
1151.04/1145.22	c cleaning 53006 clauses out of 106012 with flag 1475000/1872916
1212.34/1206.32	c cleaning 53994 clauses out of 108006 with flag 1530000/1927916
1274.62/1268.44	c cleaning 55000 clauses out of 110012 with flag 1586000/1983916
1301.97/1295.57	c cleaning 56002 clauses out of 112012 with flag 1643000/2040916
1337.41/1330.74	c cleaning 56997 clauses out of 114012 with flag 1701002/2098918
1374.20/1367.37	c cleaning 58000 clauses out of 116016 with flag 1760003/2157919
1407.21/1400.19	c cleaning 59000 clauses out of 118013 with flag 1820000/2217916
1466.71/1459.48	c cleaning 60004 clauses out of 120013 with flag 1881000/2278916
1514.92/1507.47	c cleaning 60995 clauses out of 122011 with flag 1943002/2340918
1587.33/1579.67	c cleaning 62000 clauses out of 124016 with flag 2006002/2403918
1634.62/1626.74	c cleaning 63007 clauses out of 126017 with flag 2070003/2467919
1695.71/1687.65	c cleaning 64001 clauses out of 128007 with flag 2135000/2532916
1764.14/1755.81	c cleaning 64995 clauses out of 130007 with flag 2201001/2598917
1800.01/1791.41	c starts		: 236
1800.01/1791.41	c conflicts		: 2640301
1800.01/1791.41	c decisions		: 2680394
1800.01/1791.41	c propagations		: 14564828
1800.01/1791.41	c inspects		: 3254124384
1800.01/1791.41	c shortcuts		: 0
1800.01/1791.41	c learnt literals	: 0
1800.01/1791.41	c learnt binary clauses	: 0
1800.01/1791.41	c learnt ternary clauses	: 0
1800.01/1791.41	c learnt constraints	: 2640301
1800.01/1791.41	c ignored constraints	: 0
1800.01/1791.41	c root simplifications	: 236
1800.01/1791.41	c removed literals (reason simplification)	: 59481345
1800.01/1791.41	c reason swapping (by a shorter reason)	: 0
1800.01/1791.41	c Calls to reduceDB	: 86
1800.01/1791.41	c number of reductions to clauses (during analyze)	: 0
1800.01/1791.41	c number of learned constraints concerned by reduction	: 0
1800.01/1791.41	c number of learning phase by resolution	: 0
1800.01/1791.41	c number of learning phase by cutting planes	: 0
1800.01/1791.41	c speed (assignments/second)	: 8133.817812627921
1800.01/1791.41	c non guided choices	4599
1800.01/1791.44	c learnt constraints type 
1800.01/1791.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106410
1800.01/1791.44	c constraints type 
1800.01/1791.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 0
1800.01/1791.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/1791.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 126555
1800.01/1791.44	c 126556 constraints processed.
1800.01/1791.44	s SATISFIABLE
1800.01/1791.44	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 
1800.01/1791.44	c objective function=-47
1800.01/1791.44	c Total wall clock time (in seconds): 1791.324

Verifier Data 

OK	-47

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-3710718-1338148406/watcher-3710718-1338148406 -o /tmp/evaluation-result-3710718-1338148406/solver-3710718-1338148406 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710718-1338148406.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.96 2/174 5116
/proc/meminfo: memFree=31707744/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5116/stat : 5116 (java) D 5114 5116 31461 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 280966123 9515008 183 33554432000 1073741824 1073778376 140737226052240 140737226043272 260190322357 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 2323 183 140 9 0 71 0

[startup+0.098797 s]
/proc/loadavg: 2.00 2.02 1.96 2/174 5116
/proc/meminfo: memFree=31707744/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 4256 0 1 0 7 1 0 0 20 0 18 0 280966123 9787842560 5462 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2389610 5462 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.100197 s]
/proc/loadavg: 2.00 2.02 1.96 2/174 5116
/proc/meminfo: memFree=31707744/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 4276 0 1 0 8 1 0 0 20 0 18 0 280966123 9787842560 5482 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2389610 5483 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300233 s]
/proc/loadavg: 2.00 2.02 1.96 2/174 5116
/proc/meminfo: memFree=31707744/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9558440 CPUtime=0.46 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 5628 0 1 0 45 1 0 0 20 0 18 0 280966123 9787842560 8516 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2389610 8516 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558440

[startup+0.700204 s]
/proc/loadavg: 2.00 2.02 1.96 2/174 5116
/proc/meminfo: memFree=31707744/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9558440 CPUtime=0.99 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 7161 0 1 0 96 3 0 0 20 0 18 0 280966123 9787842560 40514 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2389610 40514 2252 9 0 2380296 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9558440

[startup+1.50071 s]
/proc/loadavg: 1.92 2.00 1.95 3/191 5161
/proc/meminfo: memFree=31555376/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9625004 CPUtime=2.09 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 7473 0 1 0 205 4 0 0 20 0 19 0 280966123 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2406251 41139 2270 9 0 2396937 0
[pid=5116/tid=5118] ppid=5114 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/5116/task/5118/stat : 5118 (java) R 5114 5116 31461 0 -1 4202560 2564 0 1 0 142 3 0 0 20 0 19 0 280966124 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041423679928 140041251310688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5119] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5119/stat : 5119 (java) S 5114 5116 31461 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041385171496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5120] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5120/stat : 5120 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041384118696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5121] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5121/stat : 5121 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041383065896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5122] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5122/stat : 5122 (java) S 5114 5116 31461 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041382013096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5123] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5123/stat : 5123 (java) S 5114 5116 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041380961320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5124] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5124/stat : 5124 (java) S 5114 5116 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041379908520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5125] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5125/stat : 5125 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041378855720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5126] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5126/stat : 5126 (java) S 5114 5116 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041377802920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5127] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5127/stat : 5127 (java) S 5114 5116 31461 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 280966126 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041247504872 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5128] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5128/stat : 5128 (java) S 5114 5116 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041246450936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5129] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5129/stat : 5129 (java) S 5114 5116 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041245398024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5130] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5130/stat : 5130 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041244346512 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5131] ppid=5114 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/5116/task/5131/stat : 5131 (java) S 5114 5116 31461 0 -1 4202560 1013 0 0 0 25 0 0 0 20 0 19 0 280966129 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041243294648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5132] ppid=5114 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/5116/task/5132/stat : 5132 (java) S 5114 5116 31461 0 -1 4202560 2615 0 0 0 31 0 0 0 20 0 19 0 280966129 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041242241848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5133] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5133/stat : 5133 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041241189240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5134] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5134/stat : 5134 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041240136648 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5139] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5139/stat : 5139 (java) S 5114 5116 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966199 9856004096 41139 33554432000 1073741824 1073778376 140736054117792 140041239082152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9625004

[startup+3.10071 s]
/proc/loadavg: 1.92 2.00 1.95 5/213 5191
/proc/meminfo: memFree=31392916/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9625004 CPUtime=3.8 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 7994 0 1 0 375 5 0 0 20 0 19 0 280966123 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2406251 52766 2288 9 0 2396937 0
[pid=5116/tid=5118] ppid=5114 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/5116/task/5118/stat : 5118 (java) R 5114 5116 31461 0 -1 4202560 2565 0 1 0 297 3 0 0 20 0 19 0 280966124 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041423679656 140041251381386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5119] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5119/stat : 5119 (java) S 5114 5116 31461 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041385171496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5120] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5120/stat : 5120 (java) S 5114 5116 31461 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041384118696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5121] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5121/stat : 5121 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041383065896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5122] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5122/stat : 5122 (java) S 5114 5116 31461 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041382013096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5123] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5123/stat : 5123 (java) S 5114 5116 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041380961320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5124] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5124/stat : 5124 (java) S 5114 5116 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041379908520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5125] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5125/stat : 5125 (java) S 5114 5116 31461 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041378855720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5126] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5126/stat : 5126 (java) S 5114 5116 31461 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041377802920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5127] ppid=5114 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/5116/task/5127/stat : 5127 (java) S 5114 5116 31461 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 19 0 280966126 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041247504872 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5128] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5128/stat : 5128 (java) S 5114 5116 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041246450936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5129] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5129/stat : 5129 (java) S 5114 5116 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041245398024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5130] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5130/stat : 5130 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041244346512 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5131] ppid=5114 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/5116/task/5131/stat : 5131 (java) S 5114 5116 31461 0 -1 4202560 1132 0 0 0 28 0 0 0 20 0 19 0 280966129 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041243294648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5132] ppid=5114 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5116/task/5132/stat : 5132 (java) S 5114 5116 31461 0 -1 4202560 2625 0 0 0 37 0 0 0 20 0 19 0 280966129 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041242241848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5133] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5133/stat : 5133 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041241189240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5134] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5134/stat : 5134 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041240136648 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5139] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5139/stat : 5139 (java) S 5114 5116 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966199 9856004096 52766 33554432000 1073741824 1073778376 140736054117792 140041239082152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9625004

[startup+6.30068 s]
/proc/loadavg: 1.92 2.00 1.95 3/213 5191
/proc/meminfo: memFree=31253844/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9625004 CPUtime=7.12 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 8099 0 1 0 702 10 0 0 20 0 19 0 280966123 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2406251 66602 2288 9 0 2396937 0
[pid=5116/tid=5118] ppid=5114 vsize=9625004 CPUtime=6.09 cores=1,3,5,7
/proc/5116/task/5118/stat : 5118 (java) R 5114 5116 31461 0 -1 4202560 2567 0 1 0 606 3 0 0 20 0 19 0 280966124 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041423679912 140041251380785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5119] ppid=5114 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/5116/task/5119/stat : 5119 (java) S 5114 5116 31461 0 -1 4202560 141 0 0 0 1 1 0 0 20 0 19 0 280966125 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041385171496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5120] ppid=5114 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5116/task/5120/stat : 5120 (java) S 5114 5116 31461 0 -1 4202560 52 0 0 0 1 0 0 0 20 0 19 0 280966125 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041384118696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5121] ppid=5114 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/5116/task/5121/stat : 5121 (java) S 5114 5116 31461 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 280966125 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041383065896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5122] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5122/stat : 5122 (java) S 5114 5116 31461 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041382013096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5123] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5123/stat : 5123 (java) S 5114 5116 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041380961320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5124] ppid=5114 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5116/task/5124/stat : 5124 (java) S 5114 5116 31461 0 -1 4202560 24 0 0 0 0 1 0 0 20 0 19 0 280966125 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041379908520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5125] ppid=5114 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5116/task/5125/stat : 5125 (java) S 5114 5116 31461 0 -1 4202560 113 0 0 0 1 0 0 0 20 0 19 0 280966125 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041378855720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5126] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5126/stat : 5126 (java) S 5114 5116 31461 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 19 0 280966125 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041377802920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5127] ppid=5114 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/5116/task/5127/stat : 5127 (java) S 5114 5116 31461 0 -1 4202560 105 0 0 0 8 0 0 0 20 0 19 0 280966126 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041247504872 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5128] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5128/stat : 5128 (java) S 5114 5116 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041246450936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5129] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5129/stat : 5129 (java) S 5114 5116 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041245398024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5130] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5130/stat : 5130 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041244346512 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5131] ppid=5114 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5116/task/5131/stat : 5131 (java) S 5114 5116 31461 0 -1 4202560 1132 0 0 0 30 0 0 0 20 0 19 0 280966129 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041243294648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5132] ppid=5114 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/5116/task/5132/stat : 5132 (java) S 5114 5116 31461 0 -1 4202560 2626 0 0 0 39 0 0 0 20 0 19 0 280966129 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041242241848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5133] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5133/stat : 5133 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041241189240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5134] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5134/stat : 5134 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041240136648 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5139] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5139/stat : 5139 (java) S 5114 5116 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966199 9856004096 66602 33554432000 1073741824 1073778376 140736054117792 140041239082152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=5116/tid=5131] ppid=5114 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5116/task/5131/stat : 5131 (java) S 5114 5116 31461 0 -1 4202560 1132 0 0 0 30 0 0 0 20 0 19 0 280966129 9856004096 317168 33554432000 1073741824 1073778376 140736054117792 140041243294648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5132] ppid=5114 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/5116/task/5132/stat : 5132 (java) S 5114 5116 31461 0 -1 4202560 2641 0 0 0 47 0 0 0 20 0 19 0 280966129 9856004096 317168 33554432000 1073741824 1073778376 140736054117792 140041242241848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5133] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5133/stat : 5133 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 317168 33554432000 1073741824 1073778376 140736054117792 140041241189240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5134] ppid=5114 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5116/task/5134/stat : 5134 (java) S 5114 5116 31461 0 -1 4202560 95 0 0 0 28 38 0 0 20 0 19 0 280966129 9856004096 317168 33554432000 1073741824 1073778376 140736054117792 140041240136648 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5139] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5139/stat : 5139 (java) S 5114 5116 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966199 9856004096 317168 33554432000 1073741824 1073778376 140736054117792 140041239082152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1670.4
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 5228
/proc/meminfo: memFree=29138276/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9625004 CPUtime=1730.61 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 12618 0 1 0 172914 147 0 0 20 0 19 0 280966123 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2406251 318192 2289 9 0 2396937 0
[pid=5116/tid=5118] ppid=5114 vsize=9625004 CPUtime=1708.04 cores=1,3,5,7
/proc/5116/task/5118/stat : 5118 (java) R 5114 5116 31461 0 -1 4202560 2922 0 1 0 170771 33 0 0 20 0 19 0 280966124 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041423679792 140041251278741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5119] ppid=5114 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/5116/task/5119/stat : 5119 (java) S 5114 5116 31461 0 -1 4202560 484 0 0 0 125 11 0 0 20 0 19 0 280966125 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041385171496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5120] ppid=5114 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/5116/task/5120/stat : 5120 (java) S 5114 5116 31461 0 -1 4202560 461 0 0 0 102 10 0 0 20 0 19 0 280966125 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041384118696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5121] ppid=5114 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/5116/task/5121/stat : 5121 (java) S 5114 5116 31461 0 -1 4202560 282 0 0 0 119 13 0 0 20 0 19 0 280966125 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041383065896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5122] ppid=5114 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/5116/task/5122/stat : 5122 (java) S 5114 5116 31461 0 -1 4202560 304 0 0 0 102 8 0 0 20 0 19 0 280966125 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041382013096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5123] ppid=5114 vsize=9625004 CPUtime=1.23 cores=1,3,5,7
/proc/5116/task/5123/stat : 5123 (java) S 5114 5116 31461 0 -1 4202560 349 0 0 0 111 12 0 0 20 0 19 0 280966125 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041380961320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5124] ppid=5114 vsize=9625004 CPUtime=1.18 cores=1,3,5,7
/proc/5116/task/5124/stat : 5124 (java) S 5114 5116 31461 0 -1 4202560 389 0 0 0 107 11 0 0 20 0 19 0 280966125 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041379908520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5125] ppid=5114 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/5116/task/5125/stat : 5125 (java) S 5114 5116 31461 0 -1 4202560 308 0 0 0 115 11 0 0 20 0 19 0 280966125 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041378855720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5126] ppid=5114 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/5116/task/5126/stat : 5126 (java) S 5114 5116 31461 0 -1 4202560 457 0 0 0 117 17 0 0 20 0 19 0 280966125 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041377802920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5127] ppid=5114 vsize=9625004 CPUtime=6.86 cores=1,3,5,7
/proc/5116/task/5127/stat : 5127 (java) S 5114 5116 31461 0 -1 4202560 1608 0 0 0 683 3 0 0 20 0 19 0 280966126 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041247504872 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5128] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5128/stat : 5128 (java) S 5114 5116 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041246450936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5129] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5129/stat : 5129 (java) S 5114 5116 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041245398024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5130] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5130/stat : 5130 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041244346512 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5131] ppid=5114 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5116/task/5131/stat : 5131 (java) S 5114 5116 31461 0 -1 4202560 1132 0 0 0 30 0 0 0 20 0 19 0 280966129 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041243294648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5132] ppid=5114 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/5116/task/5132/stat : 5132 (java) S 5114 5116 31461 0 -1 4202560 2641 0 0 0 47 0 0 0 20 0 19 0 280966129 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041242241848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5133] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5133/stat : 5133 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041241189240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5134] ppid=5114 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/5116/task/5134/stat : 5134 (java) S 5114 5116 31461 0 -1 4202560 99 0 0 0 29 39 0 0 20 0 19 0 280966129 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041240136648 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5139] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5139/stat : 5139 (java) S 5114 5116 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966199 9856004096 318192 33554432000 1073741824 1073778376 140736054117792 140041239082152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.61
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 5229
/proc/meminfo: memFree=29084660/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9625004 CPUtime=1790.9 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 12710 0 1 0 178935 155 0 0 20 0 19 0 280966123 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2406251 327429 2289 9 0 2396937 0
[pid=5116/tid=5118] ppid=5114 vsize=9625004 CPUtime=1767.6 cores=1,3,5,7
/proc/5116/task/5118/stat : 5118 (java) R 5114 5116 31461 0 -1 4202560 2925 0 1 0 176726 34 0 0 20 0 19 0 280966124 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041423679792 140041251288802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5119] ppid=5114 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5116/task/5119/stat : 5119 (java) S 5114 5116 31461 0 -1 4202560 498 0 0 0 128 11 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041385171496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5120] ppid=5114 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/5116/task/5120/stat : 5120 (java) S 5114 5116 31461 0 -1 4202560 466 0 0 0 106 10 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041384118696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5121] ppid=5114 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/5116/task/5121/stat : 5121 (java) S 5114 5116 31461 0 -1 4202560 297 0 0 0 121 15 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041383065896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5122] ppid=5114 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/5116/task/5122/stat : 5122 (java) S 5114 5116 31461 0 -1 4202560 304 0 0 0 105 8 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041382013096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5123] ppid=5114 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/5116/task/5123/stat : 5123 (java) S 5114 5116 31461 0 -1 4202560 373 0 0 0 117 13 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041380961320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5124] ppid=5114 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/5116/task/5124/stat : 5124 (java) S 5114 5116 31461 0 -1 4202560 398 0 0 0 110 11 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041379908520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5125] ppid=5114 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/5116/task/5125/stat : 5125 (java) S 5114 5116 31461 0 -1 4202560 322 0 0 0 118 12 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041378855720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5126] ppid=5114 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/5116/task/5126/stat : 5126 (java) S 5114 5116 31461 0 -1 4202560 459 0 0 0 121 17 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041377802920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5127] ppid=5114 vsize=9625004 CPUtime=7.06 cores=1,3,5,7
/proc/5116/task/5127/stat : 5127 (java) S 5114 5116 31461 0 -1 4202560 1610 0 0 0 703 3 0 0 20 0 19 0 280966126 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041247504872 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5128] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5128/stat : 5128 (java) S 5114 5116 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041246450936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5129] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5129/stat : 5129 (java) S 5114 5116 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041245398024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5130] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5130/stat : 5130 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041244346512 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5131] ppid=5114 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5116/task/5131/stat : 5131 (java) S 5114 5116 31461 0 -1 4202560 1132 0 0 0 30 0 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041243294648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5132] ppid=5114 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/5116/task/5132/stat : 5132 (java) S 5114 5116 31461 0 -1 4202560 2641 0 0 0 47 0 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041242241848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5133] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5133/stat : 5133 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041241189240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5134] ppid=5114 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/5116/task/5134/stat : 5134 (java) S 5114 5116 31461 0 -1 4202560 103 0 0 0 30 40 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041240136648 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5139] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5139/stat : 5139 (java) S 5114 5116 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966199 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041239082152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1790.9
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.4 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 5229
/proc/meminfo: memFree=29084784/32873648 swapFree=7116/7116
[pid=5116] ppid=5114 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/5116/stat : 5116 (java) S 5114 5116 31461 0 -1 4202496 12710 0 1 0 179846 155 0 0 20 0 19 0 280966123 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140736054108928 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5116/statm: 2406251 327429 2289 9 0 2396937 0
[pid=5116/tid=5118] ppid=5114 vsize=9625004 CPUtime=1776.68 cores=1,3,5,7
/proc/5116/task/5118/stat : 5118 (java) R 5114 5116 31461 0 -1 4202560 2925 0 1 0 177633 35 0 0 20 0 19 0 280966124 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041423679792 140041251289261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5119] ppid=5114 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5116/task/5119/stat : 5119 (java) S 5114 5116 31461 0 -1 4202560 498 0 0 0 128 11 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041385171496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5120] ppid=5114 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/5116/task/5120/stat : 5120 (java) S 5114 5116 31461 0 -1 4202560 466 0 0 0 106 10 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041384118696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5121] ppid=5114 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/5116/task/5121/stat : 5121 (java) S 5114 5116 31461 0 -1 4202560 297 0 0 0 121 15 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041383065896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5122] ppid=5114 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/5116/task/5122/stat : 5122 (java) S 5114 5116 31461 0 -1 4202560 304 0 0 0 105 8 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041382013096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5123] ppid=5114 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/5116/task/5123/stat : 5123 (java) S 5114 5116 31461 0 -1 4202560 373 0 0 0 117 13 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041380961320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5124] ppid=5114 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/5116/task/5124/stat : 5124 (java) S 5114 5116 31461 0 -1 4202560 398 0 0 0 110 11 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041379908520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5125] ppid=5114 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/5116/task/5125/stat : 5125 (java) S 5114 5116 31461 0 -1 4202560 322 0 0 0 118 12 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041378855720 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5126] ppid=5114 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/5116/task/5126/stat : 5126 (java) S 5114 5116 31461 0 -1 4202560 459 0 0 0 121 17 0 0 20 0 19 0 280966125 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041377802920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5116/tid=5127] ppid=5114 vsize=9625004 CPUtime=7.06 cores=1,3,5,7
/proc/5116/task/5127/stat : 5127 (java) S 5114 5116 31461 0 -1 4202560 1610 0 0 0 703 3 0 0 20 0 19 0 280966126 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041247504872 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5128] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5128/stat : 5128 (java) S 5114 5116 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041246450936 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5129] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5129/stat : 5129 (java) S 5114 5116 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280966127 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041245398024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5130] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5130/stat : 5130 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041244346512 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5131] ppid=5114 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/5116/task/5131/stat : 5131 (java) S 5114 5116 31461 0 -1 4202560 1132 0 0 0 30 0 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041243294648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5116/tid=5132] ppid=5114 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/5116/task/5132/stat : 5132 (java) S 5114 5116 31461 0 -1 4202560 2641 0 0 0 47 0 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041242241848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5133] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5133/stat : 5133 (java) S 5114 5116 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041241189240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5116/tid=5134] ppid=5114 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/5116/task/5134/stat : 5134 (java) S 5114 5116 31461 0 -1 4202560 103 0 0 0 30 40 0 0 20 0 19 0 280966129 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041240136648 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5116/tid=5139] ppid=5114 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5116/task/5139/stat : 5139 (java) S 5114 5116 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280966199 9856004096 327429 33554432000 1073741824 1073778376 140736054117792 140041239082152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5116 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=908284
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=901710
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.45
CPU time (s): 1800.01
CPU user time (s): 1798.46
CPU system time (s): 1.55
CPU usage (%): 100.478
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.91
system time used= 1.90171
maximum resident set size= 1309856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12750
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39910
involuntary context switches= 25988

runsolver used 6.09107 second user time and 15.3137 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-27 21:53:27
IDJOB=3710718
IDBENCH=2265
IDSOLVER=2289
FILE ID=node123/3710718-1338148406
RUNJOBID= node123-1338144817-4665
PBS_JOBID= 14624505
Free space on /tmp= 71680 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710718-1338148406/watcher-3710718-1338148406 -o /tmp/evaluation-result-3710718-1338148406/solver-3710718-1338148406 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710718-1338148406.opb

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

MD5SUM BENCH= a2418d45f4247bab260506429e96e746
RANDOM SEED=1672357544

node123.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.217
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.43
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.217
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.91
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.217
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	: 5331.92
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.217
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.217
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.217
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.217
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.91
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.217
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:        31708124 kB
Buffers:          155192 kB
Cached:           209624 kB
SwapCached:          956 kB
Active:           186284 kB
Inactive:         190108 kB
Active(anon):       4168 kB
Inactive(anon):     9080 kB
Active(file):     182116 kB
Inactive(file):   181028 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:              3996 kB
Writeback:             0 kB
AnonPages:         17564 kB
Mapped:            10336 kB
Shmem:                 0 kB
Slab:             651904 kB
SReclaimable:      96176 kB
SUnreclaim:       555728 kB
KernelStack:        1520 kB
PageTables:         4000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     137564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71676 MiB
End job on node123 at 2012-05-27 22:23:20