Trace number 3453968

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-68 1800.31 930.471

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_2.opb
MD5SUM9073bcbe60c862f7d64be630b0fdd227
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-69
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint60
Maximum length of a constraint109
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75286
Sum of products size (including duplicates)150572
Number of different products37643
Sum of products size75286

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
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.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c ManyCore solver with 2 solvers running in parallel
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.00/0.11	c No reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3453968-1307194704.opb
0.00/0.11	c reading problem ... 
2.79/1.18	c ... done. Wall clock time 1.068s.
2.79/1.18	c #vars     38643
2.79/1.18	c #constraints  113929
2.79/1.18	c constraints type 
2.79/1.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37643
2.79/1.18	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
2.79/1.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37643
2.79/1.18	c constraints type 
2.79/1.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37643
2.79/1.18	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1000
2.79/1.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 37643
3.28/1.33	c  And the winner is Resolution
3.45/1.71	c SATISFIABLE
3.45/1.71	c OPTIMIZING...
3.45/1.71	c Got one! Elapsed wall clock time (in seconds):1.603
3.45/1.71	o -54
3.45/1.78	c  And the winner is Resolution
3.73/2.24	c Got one! Elapsed wall clock time (in seconds):2.126
3.73/2.24	o -55
3.73/2.28	c  And the winner is Resolution
3.92/2.76	c Got one! Elapsed wall clock time (in seconds):2.648
3.92/2.76	o -56
4.05/2.80	c  And the winner is Resolution
4.09/3.28	c Got one! Elapsed wall clock time (in seconds):3.172
4.09/3.28	o -57
4.15/3.35	c  And the winner is Resolution
4.39/3.80	c Got one! Elapsed wall clock time (in seconds):3.693
4.39/3.80	o -62
4.39/3.87	c  And the winner is Resolution
4.62/4.32	c Got one! Elapsed wall clock time (in seconds):4.212
4.62/4.32	o -64
4.62/4.40	c  And the winner is Resolution
4.88/4.84	c Got one! Elapsed wall clock time (in seconds):4.731
4.88/4.84	o -65
5.28/5.04	c  And the winner is Resolution
5.44/5.36	c Got one! Elapsed wall clock time (in seconds):5.251
5.44/5.36	o -66
8.63/6.95	c cleaning 2941 clauses out of 5882 with flag 5000/5882
12.12/8.78	c cleaning 4471 clauses out of 8942 with flag 11001/11883
15.93/10.71	c cleaning 5733 clauses out of 11472 with flag 18002/18884
19.91/12.82	c  And the winner is CuttingPlanes
19.96/13.09	c Got one! Elapsed wall clock time (in seconds):12.977
19.96/13.09	o -67
22.89/14.59	c cleaning 9300 clauses out of 18599 with flag 5000/31744
26.63/16.54	c cleaning 7646 clauses out of 15299 with flag 11000/37744
30.37/18.51	c cleaning 7316 clauses out of 14653 with flag 18000/44744
34.54/20.78	c cleaning 7668 clauses out of 15338 with flag 26001/52745
39.49/23.35	c cleaning 8330 clauses out of 16669 with flag 35000/61744
42.71/25.19	c  And the winner is CuttingPlanes
42.90/25.29	c Got one! Elapsed wall clock time (in seconds):25.176
42.90/25.29	o -68
45.99/26.80	c cleaning 9617 clauses out of 19248 with flag 5000/72653
49.35/28.65	c cleaning 7811 clauses out of 15631 with flag 11000/78653
53.05/30.69	c cleaning 7400 clauses out of 14820 with flag 18000/85653
57.38/32.99	c cleaning 7708 clauses out of 15420 with flag 26000/93653
62.37/35.67	c cleaning 8350 clauses out of 16712 with flag 35000/102653
67.68/38.46	c cleaning 9168 clauses out of 18362 with flag 45000/112653
73.58/41.54	c cleaning 10089 clauses out of 20194 with flag 56000/123653
80.07/44.95	c cleaning 11047 clauses out of 22105 with flag 68000/135653
87.44/48.87	c cleaning 12029 clauses out of 24058 with flag 81000/148653
95.18/52.82	c cleaning 13014 clauses out of 26029 with flag 95000/162653
104.81/57.84	c cleaning 14008 clauses out of 28015 with flag 110000/177653
113.81/62.52	c cleaning 14993 clauses out of 30007 with flag 126000/193653
123.68/67.71	c cleaning 16003 clauses out of 32014 with flag 143000/210653
134.89/73.59	c cleaning 17007 clauses out of 34013 with flag 161002/228655
146.13/79.33	c cleaning 18003 clauses out of 36005 with flag 180001/247654
158.51/85.70	c cleaning 19001 clauses out of 38002 with flag 200001/267654
171.88/92.71	c cleaning 19994 clauses out of 40000 with flag 221000/288653
185.47/99.75	c cleaning 21004 clauses out of 42007 with flag 243001/310654
201.60/108.06	c cleaning 21999 clauses out of 44003 with flag 266001/333654
215.68/115.33	c cleaning 22998 clauses out of 46003 with flag 290000/357653
231.61/123.65	c cleaning 23998 clauses out of 48005 with flag 315000/382653
250.13/133.12	c cleaning 24999 clauses out of 50007 with flag 341000/408653
267.77/142.29	c cleaning 25999 clauses out of 52008 with flag 368000/435653
287.40/152.34	c cleaning 26998 clauses out of 54009 with flag 396000/463653
304.83/161.45	c cleaning 28001 clauses out of 56011 with flag 425000/492653
324.04/171.38	c cleaning 29001 clauses out of 58010 with flag 455000/522653
346.09/182.64	c cleaning 30004 clauses out of 60010 with flag 486001/553654
371.04/195.45	c cleaning 31003 clauses out of 62005 with flag 518000/585653
395.53/208.13	c cleaning 31995 clauses out of 64002 with flag 551000/618653
422.92/222.15	c cleaning 32998 clauses out of 66007 with flag 585000/652653
443.65/232.83	c cleaning 34001 clauses out of 68009 with flag 620000/687653
466.96/244.83	c cleaning 34997 clauses out of 70008 with flag 656000/723653
492.63/258.10	c cleaning 35995 clauses out of 72012 with flag 693001/760654
519.34/271.89	c cleaning 37004 clauses out of 74016 with flag 731000/798653
551.57/288.33	c cleaning 38004 clauses out of 76014 with flag 770002/837655
581.94/303.98	c cleaning 38996 clauses out of 78009 with flag 810001/877654
613.97/320.55	c cleaning 40006 clauses out of 80012 with flag 851000/918653
646.14/337.02	c cleaning 41004 clauses out of 82008 with flag 893002/960655
673.30/351.03	c cleaning 41991 clauses out of 84002 with flag 936000/1003653
704.59/367.19	c cleaning 43004 clauses out of 86011 with flag 980000/1047653
737.30/384.19	c cleaning 43995 clauses out of 88007 with flag 1025000/1092653
777.07/404.47	c cleaning 44997 clauses out of 90013 with flag 1071001/1138654
815.28/423.90	c cleaning 46002 clauses out of 92015 with flag 1118000/1185653
858.73/446.15	c cleaning 47004 clauses out of 94013 with flag 1166000/1233653
897.55/466.23	c cleaning 47999 clauses out of 96009 with flag 1215000/1282653
942.43/489.16	c cleaning 49005 clauses out of 98010 with flag 1265000/1332653
982.23/509.59	c cleaning 0 clauses out of 5931 with flag 0/5934
990.39/514.11	c cleaning 50000 clauses out of 100005 with flag 1316000/1383653
1024.07/531.78	c cleaning 51001 clauses out of 102006 with flag 1368001/1435654
1063.46/551.93	c cleaning 51988 clauses out of 104004 with flag 1421000/1488653
1109.23/575.37	c cleaning 52999 clauses out of 106016 with flag 1475000/1542653
1158.75/600.71	c cleaning 54007 clauses out of 108017 with flag 1530000/1597653
1207.55/625.87	c cleaning 55005 clauses out of 110010 with flag 1586000/1653653
1250.84/648.03	c cleaning 55992 clauses out of 112006 with flag 1643001/1710654
1302.50/674.48	c cleaning 56996 clauses out of 114014 with flag 1701001/1768654
1359.48/703.57	c cleaning 58002 clauses out of 116018 with flag 1760001/1827654
1408.92/729.18	c cleaning 59002 clauses out of 118016 with flag 1820001/1887654
1456.29/753.40	c cleaning 60000 clauses out of 120014 with flag 1881001/1948654
1510.03/780.99	c cleaning 60999 clauses out of 122014 with flag 1943001/2010654
1562.13/807.63	c cleaning 61996 clauses out of 124014 with flag 2006000/2073653
1602.35/828.64	c cleaning 63000 clauses out of 126018 with flag 2070000/2137653
1647.68/851.98	c cleaning 63997 clauses out of 128018 with flag 2135000/2202653
1694.78/876.19	c cleaning 65007 clauses out of 130023 with flag 2201002/2268655
1753.93/906.34	c cleaning 65999 clauses out of 132014 with flag 2268000/2335653
1800.11/930.32	c starts		: 37
1800.11/930.32	c conflicts		: 7150
1800.11/930.32	c decisions		: 11066
1800.11/930.32	c propagations		: 152041
1800.11/930.32	c inspects		: 221689691
1800.11/930.32	c shortcuts		: 0
1800.11/930.32	c learnt literals	: 0
1800.11/930.32	c learnt binary clauses	: 0
1800.11/930.32	c learnt ternary clauses	: 0
1800.11/930.32	c learnt constraints	: 7146
1800.11/930.32	c ignored constraints	: 0
1800.11/930.32	c root simplifications	: 0
1800.11/930.32	c removed literals (reason simplification)	: 0
1800.11/930.32	c reason swapping (by a shorter reason)	: 0
1800.11/930.32	c Calls to reduceDB	: 1
1800.11/930.32	c number of reductions to clauses (during analyze)	: 0
1800.11/930.32	c number of learned constraints concerned by reduction	: 0
1800.11/930.32	c number of learning phase by resolution	: 0
1800.11/930.32	c number of learning phase by cutting planes	: 0
1800.11/930.32	c speed (assignments/second)	: 167.99460794333922
1800.11/930.32	c non guided choices	0
1800.11/930.32	c learnt constraints type 
1800.11/930.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 267
1800.11/930.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6879
1800.11/930.32	c constraints type 
1800.11/930.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37643
1800.11/930.32	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.11/930.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.11/930.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37643
1800.11/930.32	c constraints type 
1800.11/930.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37643
1800.11/930.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.11/930.32	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1000
1800.11/930.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 37643
1800.11/930.32	s SATISFIABLE
1800.11/930.33	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 x742 -x743 x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 x860 -x861 x862 x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 x999 -x1000 
1800.11/930.33	c objective function=-68
1800.11/930.33	c Total wall clock time (in seconds): 930.22

Verifier Data 

OK	-68

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453968-1307194704/watcher-3453968-1307194704 -o /tmp/evaluation-result-3453968-1307194704/solver-3453968-1307194704 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453968-1307194704.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.26 3.28 3.64 2/455 26261
/proc/meminfo: memFree=31267848/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 3931 0 1 0 0 0 0 0 24 0 2 0 831069169 10694979584 3632 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2611079 3650 917 9 0 2602235 0
[pid=26261/tid=26263] ppid=26259 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) R 26259 26261 22425 0 -1 4202560 6433 0 1 0 0 0 0 0 25 0 2 0 831069169 10694979584 7249 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.116171 s]
/proc/loadavg: 2.26 3.28 3.64 2/455 26261
/proc/meminfo: memFree=31267848/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10540284 CPUtime=0.13 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 13286 0 1 0 11 2 0 0 24 0 18 0 831069169 10793250816 12982 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2635071 12982 2134 9 0 2625805 0
[pid=26261/tid=26263] ppid=26259 vsize=10540284 CPUtime=0.09 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) R 26259 26261 22425 0 -1 4202560 11351 0 1 0 8 1 0 0 25 0 18 0 831069169 10793250816 12982 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 47063360624440 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540284

[startup+0.200156 s]
/proc/loadavg: 2.26 3.28 3.64 2/455 26261
/proc/meminfo: memFree=31267848/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10540916 CPUtime=0.25 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 14108 0 1 0 23 2 0 0 24 0 18 0 831069169 10793897984 13804 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2635229 13804 2182 9 0 2625963 0
[pid=26261/tid=26263] ppid=26259 vsize=10540916 CPUtime=0.19 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) R 26259 26261 22425 0 -1 4202560 11944 0 1 0 17 2 0 0 25 0 18 0 831069169 10793897984 13804 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 46912505228240 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540916

[startup+0.301139 s]
/proc/loadavg: 2.26 3.28 3.64 2/455 26261
/proc/meminfo: memFree=31267848/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10541940 CPUtime=0.47 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 15603 0 1 0 45 2 0 0 24 0 18 0 831069169 10794946560 15158 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2635485 15158 2208 9 0 2626219 0
[pid=26261/tid=26263] ppid=26259 vsize=10541940 CPUtime=0.28 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) R 26259 26261 22425 0 -1 4202560 12968 0 1 0 26 2 0 0 25 0 18 0 831069169 10794946560 15158 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 46912505164270 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541940

[startup+0.701073 s]
/proc/loadavg: 2.26 3.28 3.64 2/455 26261
/proc/meminfo: memFree=31267848/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10556704 CPUtime=1.59 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 36184 0 1 0 154 5 0 0 24 0 18 0 831069169 10810064896 29234 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2639176 29234 2225 9 0 2629910 0
[pid=26261/tid=26263] ppid=26259 vsize=10556704 CPUtime=0.68 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) R 26259 26261 22425 0 -1 4202560 20309 0 1 0 65 3 0 0 25 0 18 0 831069169 10810064896 29234 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 46912505228273 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10556704

[startup+1.50101 s]
/proc/loadavg: 2.26 3.28 3.64 3/482 26294
/proc/meminfo: memFree=31009824/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10562408 CPUtime=3.42 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 78596 0 1 0 331 11 0 0 24 0 19 0 831069169 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2640602 70563 2242 9 0 2631336 0
[pid=26261/tid=26263] ppid=26259 vsize=10562408 CPUtime=1.17 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) S 26259 26261 22425 0 -1 4202560 55445 0 1 0 108 9 0 0 25 0 19 0 831069169 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26267] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26267/stat : 26267 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26268] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26268/stat : 26268 (java) S 26259 26261 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26269] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26269/stat : 26269 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26270] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26270/stat : 26270 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26271] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26271/stat : 26271 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26272] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26272/stat : 26272 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26273] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26273/stat : 26273 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26274] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26274/stat : 26274 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26280] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26280/stat : 26280 (java) S 26259 26261 22425 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 831069172 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 0 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26281] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26281/stat : 26281 (java) S 26259 26261 22425 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 831069172 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26282] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26282/stat : 26282 (java) S 26259 26261 22425 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831069173 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26283] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26283/stat : 26283 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831069175 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606690225 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26284] ppid=26259 vsize=10562408 CPUtime=0.97 cores=1,3,5,7
/proc/26261/task/26284/stat : 26284 (java) S 26259 26261 22425 0 -1 4202560 6887 0 0 0 97 0 0 0 25 0 19 0 831069175 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26285] ppid=26259 vsize=10562408 CPUtime=0.95 cores=1,3,5,7
/proc/26261/task/26285/stat : 26285 (java) S 26259 26261 22425 0 -1 4202560 10381 0 0 0 94 1 0 0 25 0 19 0 831069175 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26286] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26286/stat : 26286 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831069175 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26287] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26287/stat : 26287 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831069175 10815905792 70563 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 10562408

[startup+3.10064 s]
/proc/loadavg: 2.26 3.28 3.64 3/486 26311
/proc/meminfo: memFree=30853924/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10562408 CPUtime=4.09 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 90835 0 1 0 396 13 0 0 24 0 19 0 831069169 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2640602 82800 2246 9 0 2631336 0
[pid=26261/tid=26263] ppid=26259 vsize=10562408 CPUtime=1.23 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) S 26259 26261 22425 0 -1 4202560 55935 0 1 0 114 9 0 0 17 0 19 0 831069169 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 5 0 0 0
[pid=26261/tid=26267] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26267/stat : 26267 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26268] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26268/stat : 26268 (java) S 26259 26261 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26269] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26269/stat : 26269 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26270] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26270/stat : 26270 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26271] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26271/stat : 26271 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26272] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26272/stat : 26272 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26273] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26273/stat : 26273 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26274] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26274/stat : 26274 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831069171 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26280] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26280/stat : 26280 (java) S 26259 26261 22425 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 831069172 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 0 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26281] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26281/stat : 26281 (java) S 26259 26261 22425 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 831069172 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26282] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26282/stat : 26282 (java) S 26259 26261 22425 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831069173 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26283] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26283/stat : 26283 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831069175 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606690225 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26284] ppid=26259 vsize=10562408 CPUtime=1.09 cores=1,3,5,7
/proc/26261/task/26284/stat : 26284 (java) S 26259 26261 22425 0 -1 4202560 6901 0 0 0 109 0 0 0 15 0 19 0 831069175 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26285] ppid=26259 vsize=10562408 CPUtime=1.1 cores=1,3,5,7
/proc/26261/task/26285/stat : 26285 (java) S 26259 26261 22425 0 -1 4202560 10404 0 0 0 109 1 0 0 15 0 19 0 831069175 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26286] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26286/stat : 26286 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831069175 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26287] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26287/stat : 26287 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831069175 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26297] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26297/stat : 26297 (java) S 26259 26261 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831069293 10815905792 82800 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 10562408

[startup+6.30111 s]
/proc/loadavg: 2.24 3.26 3.63 5/489 26349
/proc/meminfo: memFree=30464772/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10562408 CPUtime=7.37 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 158426 0 1 0 716 21 0 0 24 0 22 0 831069169 10815905792 150380 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2640602 150380 2247 9 0 2631336 0
[pid=26261/tid=26263] ppid=26259 vsize=10562408 CPUtime=1.31 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) S 26259 26261 22425 0 -1 4202560 56736 0 1 0 122 9 0 0 15 0 22 0 831069169 10815905792 150380 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26267] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26267/stat : 26267 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831069171 10815905792 150380 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26268] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26268/stat : 26268 (java) S 26259 26261 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831069171 10815905792 150380 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26269] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26269/stat : 26269 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831069171 10815905792 150380 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26270] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26270/stat : 26270 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831069171 10815905792 150380 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26271] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26271/stat : 26271 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831069171 10815905792 150380 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26272] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26272/stat : 26272 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831069171 10815905792 150380 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26273] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26273/stat : 26273 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831069171 10815905792 150380 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26274] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26274/stat : 26274 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831069171 10815905792 150381 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26280] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26280/stat : 26280 (java) S 26259 26261 22425 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 831069172 10815905792 150381 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 0 0 16800975 18446604460003611008 0 0 -1 5 0 0 0
[pid=26261/tid=26281] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26281/stat : 26281 (java) S 26259 26261 22425 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 831069172 10815905792 150381 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26282] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26282/stat : 26282 (java) S 26259 26261 22425 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831069173 10815905792 150381 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26283] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26283/stat : 26283 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831069175 10815905792 150381 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606690225 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26284] ppid=26259 vsize=10562408 CPUtime=1.26 cores=1,3,5,7
/proc/26261/task/26284/stat : 26284 (java) R 26259 26261 22425 0 -1 4202560 6916 0 0 0 126 0 0 0 15 0 22 0 831069175 10815905792 150381 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 47063360933704 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26261/tid=26285] ppid=26259 vsize=10562408 CPUtime=1.28 cores=1,3,5,7
/proc/26261/task/26285/stat : 26285 (java) S 26259 26261 22425 0 -1 4202560 10429 0 0 0 127 1 0 0 15 0 22 0 831069175 10815905792 150381 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26286] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26286/stat : 26286 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831069175 10815905792 150381 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0

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

[startup+822.302 s]
/proc/loadavg: 3.64 3.57 3.61 5/489 26395
/proc/meminfo: memFree=26970960/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10562408 CPUtime=1589.75 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 934440 0 1 0 158869 106 0 0 24 0 22 0 831069169 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2640602 926114 2273 9 0 2631336 0
[pid=26261/tid=26263] ppid=26259 vsize=10562408 CPUtime=1.35 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) S 26259 26261 22425 0 -1 4202560 56911 0 1 0 126 9 0 0 15 0 22 0 831069169 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26267] ppid=26259 vsize=10562408 CPUtime=0.93 cores=1,3,5,7
/proc/26261/task/26267/stat : 26267 (java) S 26259 26261 22425 0 -1 4202560 8047 0 0 0 92 1 0 0 15 0 22 0 831069171 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26268] ppid=26259 vsize=10562408 CPUtime=1.28 cores=1,3,5,7
/proc/26261/task/26268/stat : 26268 (java) S 26259 26261 22425 0 -1 4202560 19330 0 0 0 125 3 0 0 16 0 22 0 831069171 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26269] ppid=26259 vsize=10562408 CPUtime=1.23 cores=1,3,5,7
/proc/26261/task/26269/stat : 26269 (java) S 26259 26261 22425 0 -1 4202560 8178 0 0 0 122 1 0 0 16 0 22 0 831069171 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26270] ppid=26259 vsize=10562408 CPUtime=1.2 cores=1,3,5,7
/proc/26261/task/26270/stat : 26270 (java) S 26259 26261 22425 0 -1 4202560 18078 0 0 0 118 2 0 0 15 0 22 0 831069171 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26271] ppid=26259 vsize=10562408 CPUtime=1.24 cores=1,3,5,7
/proc/26261/task/26271/stat : 26271 (java) S 26259 26261 22425 0 -1 4202560 12881 0 0 0 123 1 0 0 16 0 22 0 831069171 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26272] ppid=26259 vsize=10562408 CPUtime=1.36 cores=1,3,5,7
/proc/26261/task/26272/stat : 26272 (java) S 26259 26261 22425 0 -1 4202560 23566 0 0 0 134 2 0 0 16 0 22 0 831069171 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26273] ppid=26259 vsize=10562408 CPUtime=1.07 cores=1,3,5,7
/proc/26261/task/26273/stat : 26273 (java) S 26259 26261 22425 0 -1 4202560 11189 0 0 0 106 1 0 0 15 0 22 0 831069171 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26274] ppid=26259 vsize=10562408 CPUtime=1.19 cores=1,3,5,7
/proc/26261/task/26274/stat : 26274 (java) S 26259 26261 22425 0 -1 4202560 17603 0 0 0 118 1 0 0 16 0 22 0 831069171 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26280] ppid=26259 vsize=10562408 CPUtime=54.04 cores=1,3,5,7
/proc/26261/task/26280/stat : 26280 (java) S 26259 26261 22425 0 -1 4202560 258505 0 0 0 5379 25 0 0 18 0 22 0 831069172 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 0 0 16800975 18446604460003611008 0 0 -1 5 0 0 0
[pid=26261/tid=26281] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26281/stat : 26281 (java) S 26259 26261 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831069172 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26282] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26282/stat : 26282 (java) S 26259 26261 22425 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 831069173 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26283] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26283/stat : 26283 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831069175 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606690225 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26284] ppid=26259 vsize=10562408 CPUtime=1.68 cores=1,3,5,7
/proc/26261/task/26284/stat : 26284 (java) S 26259 26261 22425 0 -1 4202560 6955 0 0 0 168 0 0 0 15 0 22 0 831069175 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26285] ppid=26259 vsize=10562408 CPUtime=1.5 cores=1,3,5,7
/proc/26261/task/26285/stat : 26285 (java) S 26259 26261 22425 0 -1 4202560 10450 0 0 0 149 1 0 0 15 0 22 0 831069175 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 5 0 0 0
[pid=26261/tid=26286] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26286/stat : 26286 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831069175 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26287] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26287/stat : 26287 (java) S 26259 26261 22425 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 831069175 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26349] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26349/stat : 26349 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831069706 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26360] ppid=26259 vsize=10562408 CPUtime=742.97 cores=1,3,5,7
/proc/26261/task/26360/stat : 26360 (java) R 26259 26261 22425 0 -1 4202560 17309 0 0 0 74294 3 0 0 25 0 22 0 831071698 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 46912506428176 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26261/tid=26361] ppid=26259 vsize=10562408 CPUtime=743 cores=1,3,5,7
/proc/26261/task/26361/stat : 26361 (java) R 26259 26261 22425 0 -1 4202560 295963 0 0 0 74270 30 0 0 25 0 22 0 831071698 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 46912506723760 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26261/tid=26362] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26362/stat : 26362 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831071698 10815905792 926114 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1589.75
Current children cumulated vsize (KiB) 10562408

[startup+882.317 s]
/proc/loadavg: 3.55 3.56 3.60 5/489 26396
/proc/meminfo: memFree=26798892/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10562408 CPUtime=1705.96 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 974574 0 1 0 170486 110 0 0 24 0 22 0 831069169 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2640602 966239 2273 9 0 2631336 0
[pid=26261/tid=26263] ppid=26259 vsize=10562408 CPUtime=1.35 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) S 26259 26261 22425 0 -1 4202560 56912 0 1 0 126 9 0 0 15 0 22 0 831069169 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26267] ppid=26259 vsize=10562408 CPUtime=1 cores=1,3,5,7
/proc/26261/task/26267/stat : 26267 (java) S 26259 26261 22425 0 -1 4202560 8071 0 0 0 99 1 0 0 15 0 22 0 831069171 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26268] ppid=26259 vsize=10562408 CPUtime=1.35 cores=1,3,5,7
/proc/26261/task/26268/stat : 26268 (java) S 26259 26261 22425 0 -1 4202560 20858 0 0 0 132 3 0 0 16 0 22 0 831069171 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26269] ppid=26259 vsize=10562408 CPUtime=1.36 cores=1,3,5,7
/proc/26261/task/26269/stat : 26269 (java) S 26259 26261 22425 0 -1 4202560 10629 0 0 0 135 1 0 0 16 0 22 0 831069171 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26270] ppid=26259 vsize=10562408 CPUtime=1.25 cores=1,3,5,7
/proc/26261/task/26270/stat : 26270 (java) S 26259 26261 22425 0 -1 4202560 19505 0 0 0 123 2 0 0 15 0 22 0 831069171 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26271] ppid=26259 vsize=10562408 CPUtime=1.39 cores=1,3,5,7
/proc/26261/task/26271/stat : 26271 (java) S 26259 26261 22425 0 -1 4202560 13573 0 0 0 138 1 0 0 16 0 22 0 831069171 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26272] ppid=26259 vsize=10562408 CPUtime=1.39 cores=1,3,5,7
/proc/26261/task/26272/stat : 26272 (java) S 26259 26261 22425 0 -1 4202560 23601 0 0 0 137 2 0 0 15 0 22 0 831069171 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26273] ppid=26259 vsize=10562408 CPUtime=1.12 cores=1,3,5,7
/proc/26261/task/26273/stat : 26273 (java) S 26259 26261 22425 0 -1 4202560 11403 0 0 0 111 1 0 0 15 0 22 0 831069171 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26274] ppid=26259 vsize=10562408 CPUtime=1.31 cores=1,3,5,7
/proc/26261/task/26274/stat : 26274 (java) S 26259 26261 22425 0 -1 4202560 19903 0 0 0 130 1 0 0 16 0 22 0 831069171 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26280] ppid=26259 vsize=10562408 CPUtime=58.17 cores=1,3,5,7
/proc/26261/task/26280/stat : 26280 (java) S 26259 26261 22425 0 -1 4202560 289961 0 0 0 5789 28 0 0 15 0 22 0 831069172 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 0 0 16800975 18446604460003611008 0 0 -1 5 0 0 0
[pid=26261/tid=26281] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26281/stat : 26281 (java) S 26259 26261 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831069172 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26282] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26282/stat : 26282 (java) S 26259 26261 22425 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 831069173 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26283] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26283/stat : 26283 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831069175 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606690225 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26284] ppid=26259 vsize=10562408 CPUtime=1.68 cores=1,3,5,7
/proc/26261/task/26284/stat : 26284 (java) S 26259 26261 22425 0 -1 4202560 6955 0 0 0 168 0 0 0 15 0 22 0 831069175 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26285] ppid=26259 vsize=10562408 CPUtime=1.5 cores=1,3,5,7
/proc/26261/task/26285/stat : 26285 (java) S 26259 26261 22425 0 -1 4202560 10450 0 0 0 149 1 0 0 15 0 22 0 831069175 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 5 0 0 0
[pid=26261/tid=26286] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26286/stat : 26286 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831069175 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26287] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26287/stat : 26287 (java) S 26259 26261 22425 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831069175 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26349] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26349/stat : 26349 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831069706 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26360] ppid=26259 vsize=10562408 CPUtime=798.66 cores=1,3,5,7
/proc/26261/task/26360/stat : 26360 (java) R 26259 26261 22425 0 -1 4202560 17311 0 0 0 79863 3 0 0 25 0 22 0 831071698 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 46912506613782 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26261/tid=26361] ppid=26259 vsize=10562408 CPUtime=798.69 cores=1,3,5,7
/proc/26261/task/26361/stat : 26361 (java) R 26259 26261 22425 0 -1 4202560 295963 0 0 0 79839 30 0 0 25 0 22 0 831071698 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 46912506611412 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26261/tid=26362] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26362/stat : 26362 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831071698 10815905792 966239 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1705.96
Current children cumulated vsize (KiB) 10562408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+930.302 s]
/proc/loadavg: 3.47 3.53 3.59 4/489 26397
/proc/meminfo: memFree=26794248/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=10562408 CPUtime=1800.11 cores=1,3,5,7
/proc/26261/stat : 26261 (java) S 26259 26261 22425 0 -1 4202496 974580 0 1 0 179901 110 0 0 24 0 22 0 831069169 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 2640602 966240 2273 9 0 2631336 0
[pid=26261/tid=26263] ppid=26259 vsize=10562408 CPUtime=1.35 cores=1,3,5,7
/proc/26261/task/26263/stat : 26263 (java) S 26259 26261 22425 0 -1 4202560 56912 0 1 0 126 9 0 0 15 0 22 0 831069169 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26267] ppid=26259 vsize=10562408 CPUtime=1.07 cores=1,3,5,7
/proc/26261/task/26267/stat : 26267 (java) S 26259 26261 22425 0 -1 4202560 8071 0 0 0 106 1 0 0 16 0 22 0 831069171 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26268] ppid=26259 vsize=10562408 CPUtime=1.35 cores=1,3,5,7
/proc/26261/task/26268/stat : 26268 (java) S 26259 26261 22425 0 -1 4202560 20858 0 0 0 132 3 0 0 15 0 22 0 831069171 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26269] ppid=26259 vsize=10562408 CPUtime=1.43 cores=1,3,5,7
/proc/26261/task/26269/stat : 26269 (java) S 26259 26261 22425 0 -1 4202560 10629 0 0 0 142 1 0 0 16 0 22 0 831069171 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26270] ppid=26259 vsize=10562408 CPUtime=1.25 cores=1,3,5,7
/proc/26261/task/26270/stat : 26270 (java) S 26259 26261 22425 0 -1 4202560 19505 0 0 0 123 2 0 0 15 0 22 0 831069171 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26271] ppid=26259 vsize=10562408 CPUtime=1.45 cores=1,3,5,7
/proc/26261/task/26271/stat : 26271 (java) S 26259 26261 22425 0 -1 4202560 13574 0 0 0 144 1 0 0 16 0 22 0 831069171 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26272] ppid=26259 vsize=10562408 CPUtime=1.39 cores=1,3,5,7
/proc/26261/task/26272/stat : 26272 (java) S 26259 26261 22425 0 -1 4202560 23601 0 0 0 137 2 0 0 15 0 22 0 831069171 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26273] ppid=26259 vsize=10562408 CPUtime=1.12 cores=1,3,5,7
/proc/26261/task/26273/stat : 26273 (java) S 26259 26261 22425 0 -1 4202560 11403 0 0 0 111 1 0 0 15 0 22 0 831069171 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26274] ppid=26259 vsize=10562408 CPUtime=1.37 cores=1,3,5,7
/proc/26261/task/26274/stat : 26274 (java) S 26259 26261 22425 0 -1 4202560 19903 0 0 0 136 1 0 0 16 0 22 0 831069171 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26280] ppid=26259 vsize=10562408 CPUtime=60.13 cores=1,3,5,7
/proc/26261/task/26280/stat : 26280 (java) S 26259 26261 22425 0 -1 4202560 289963 0 0 0 5985 28 0 0 18 0 22 0 831069172 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 0 0 16800975 18446604460003611008 0 0 -1 5 0 0 0
[pid=26261/tid=26281] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26281/stat : 26281 (java) S 26259 26261 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831069172 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
[pid=26261/tid=26282] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26282/stat : 26282 (java) S 26259 26261 22425 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 831069173 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26283] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26283/stat : 26283 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831069175 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606690225 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26284] ppid=26259 vsize=10562408 CPUtime=1.68 cores=1,3,5,7
/proc/26261/task/26284/stat : 26284 (java) S 26259 26261 22425 0 -1 4202560 6955 0 0 0 168 0 0 0 15 0 22 0 831069175 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26285] ppid=26259 vsize=10562408 CPUtime=1.5 cores=1,3,5,7
/proc/26261/task/26285/stat : 26285 (java) S 26259 26261 22425 0 -1 4202560 10450 0 0 0 149 1 0 0 15 0 22 0 831069175 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 5 0 0 0
[pid=26261/tid=26286] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26286/stat : 26286 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831069175 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606682521 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26287] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26287/stat : 26287 (java) S 26259 26261 22425 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831069175 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 3 0 0 0
[pid=26261/tid=26349] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26349/stat : 26349 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831069706 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 1 0 0 0
[pid=26261/tid=26360] ppid=26259 vsize=10562408 CPUtime=844.64 cores=1,3,5,7
/proc/26261/task/26360/stat : 26360 (java) R 26259 26261 22425 0 -1 4202560 17312 0 0 0 84461 3 0 0 25 0 22 0 831071698 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 46912506426832 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26261/tid=26361] ppid=26259 vsize=10562408 CPUtime=844.67 cores=1,3,5,7
/proc/26261/task/26361/stat : 26361 (java) R 26259 26261 22425 0 -1 4202560 295963 0 0 0 84437 30 0 0 25 0 22 0 831071698 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 46912506611409 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26261/tid=26362] ppid=26259 vsize=10562408 CPUtime=0 cores=1,3,5,7
/proc/26261/task/26362/stat : 26362 (java) S 26259 26261 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831071698 10815905792 966240 33554432000 1073741824 1073778376 140736296128272 18446744073709551615 235606683136 0 4 0 16800975 18446604460003611008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10562408

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

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

[startup+930.422 s]
/proc/loadavg: 3.47 3.53 3.59 4/489 26397
/proc/meminfo: memFree=26794248/32950928 swapFree=34365992/67111528
[pid=26261] ppid=26259 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/26261/stat : 26261 (java) Z 26259 26261 22425 0 -1 4203548 974610 0 1 0 179906 119 0 0 17 0 2 0 831069169 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26261/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 930.471
CPU time (s): 1800.31
CPU user time (s): 1799.06
CPU system time (s): 1.24581
CPU usage (%): 193.484
Max. virtual memory (cumulated for all children) (KiB): 10562408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.24581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 974610
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23460
involuntary context switches= 19071

runsolver used 4.17636 second user time and 9.99048 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-04 15:38:24
IDJOB=3453968
IDBENCH=48172
IDSOLVER=1950
FILE ID=node120/3453968-1307194704
RUNJOBID= node120-1307194704-26233
PBS_JOBID= 13508848
Free space on /tmp= 73816 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453968-1307194704/watcher-3453968-1307194704 -o /tmp/evaluation-result-3453968-1307194704/solver-3453968-1307194704 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453968-1307194704.opb

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

MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227
RANDOM SEED=2054241447

node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31268376 kB
Buffers:        316112 kB
Cached:        1016300 kB
SwapCached:      12852 kB
Active:         413416 kB
Inactive:       975832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31268376 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:            1616 kB
Writeback:           0 kB
AnonPages:       53640 kB
Mapped:          14264 kB
Slab:           133940 kB
PageTables:      91428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 115701304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73816 MiB
End job on node120 at 2011-06-04 15:53:56