Trace number 3458768

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 Resolution 2.3.0SAT (TO)-40 1800.25 1790.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1797.39
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
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 1150
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 1150
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 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.12/0.11	c Pseudo Boolean Optimization
0.12/0.11	c --- Begin Solver configuration ---
0.12/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.12/0.11	c Learn all clauses as in MiniSAT
0.12/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.11	c Expensive reason simplification
0.12/0.11	c Armin Biere (Picosat) restarts strategy
0.12/0.11	c Glucose learned constraints deletion strategy
0.12/0.11	c timeout=2147483s
0.12/0.11	c DB Simplification allowed=false
0.12/0.11	c --- End Solver configuration ---
0.12/0.11	c solving HOME/instance-3458768-1307148827.opb
0.12/0.11	c reading problem ... 
0.91/0.65	c ... done. Wall clock time 0.538s.
0.91/0.65	c #vars     1150
0.91/0.65	c #constraints  80035
0.91/0.65	c constraints type 
0.91/0.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80035
0.91/0.67	c SATISFIABLE
0.91/0.67	c OPTIMIZING...
0.91/0.67	c Got one! Elapsed wall clock time (in seconds):0.563
0.91/0.67	o -34
1.05/0.75	c Got one! Elapsed wall clock time (in seconds):0.639
1.05/0.75	o -35
1.34/0.86	c Got one! Elapsed wall clock time (in seconds):0.758
1.34/0.86	o -36
1.47/0.93	c Got one! Elapsed wall clock time (in seconds):0.825
1.47/0.93	o -37
2.83/2.11	c cleaning 2805 clauses out of 5610 with flag 5000/5610
2.83/2.21	c Got one! Elapsed wall clock time (in seconds):2.105
2.83/2.22	o -38
4.00/3.30	c cleaning 4030 clauses out of 8061 with flag 5000/10866
5.41/4.68	c cleaning 5013 clauses out of 10031 with flag 11000/16866
6.45/5.63	c Got one! Elapsed wall clock time (in seconds):5.528
6.45/5.64	o -39
6.83/6.08	c cleaning 5492 clauses out of 10993 with flag 2000/22841
8.39/7.52	c cleaning 5750 clauses out of 11501 with flag 8000/28841
10.10/9.20	c cleaning 6373 clauses out of 12751 with flag 15000/35841
12.04/11.18	c cleaning 7185 clauses out of 14378 with flag 23000/43841
14.33/13.43	c cleaning 8094 clauses out of 16193 with flag 32000/52841
16.85/15.93	c cleaning 9045 clauses out of 18099 with flag 42000/62841
20.06/19.10	c cleaning 10027 clauses out of 20054 with flag 53000/73841
22.99/22.05	c cleaning 11012 clauses out of 22028 with flag 65001/85842
26.49/25.60	c cleaning 12000 clauses out of 24015 with flag 78000/98841
30.72/29.75	c cleaning 13008 clauses out of 26016 with flag 92001/112842
32.24/31.21	c Got one! Elapsed wall clock time (in seconds):31.1
32.24/31.21	o -40
33.44/32.45	c cleaning 11889 clauses out of 23778 with flag 5001/123612
34.96/33.99	c cleaning 8944 clauses out of 17888 with flag 11000/129611
36.96/35.91	c cleaning 7971 clauses out of 15945 with flag 18001/136612
38.98/37.94	c cleaning 7978 clauses out of 15973 with flag 26000/144611
41.40/40.37	c cleaning 8498 clauses out of 16995 with flag 35000/153611
44.22/43.15	c cleaning 9245 clauses out of 18497 with flag 45000/163611
47.35/46.26	c cleaning 10120 clauses out of 20252 with flag 56000/174611
50.47/49.31	c cleaning 11057 clauses out of 22132 with flag 68000/186611
54.10/52.93	c cleaning 12028 clauses out of 24075 with flag 81000/199611
58.19/57.06	c cleaning 13014 clauses out of 26047 with flag 95000/213611
62.94/61.76	c cleaning 14009 clauses out of 28034 with flag 110001/228612
67.64/66.48	c cleaning 15004 clauses out of 30024 with flag 126000/244611
73.16/71.99	c cleaning 16006 clauses out of 32020 with flag 143000/261611
77.78/76.54	c cleaning 16998 clauses out of 34014 with flag 161000/279611
83.42/82.17	c cleaning 18008 clauses out of 36017 with flag 180001/298612
90.06/88.77	c cleaning 18999 clauses out of 38008 with flag 200000/318611
96.81/95.41	c cleaning 20004 clauses out of 40009 with flag 221000/339611
103.45/102.09	c cleaning 20986 clauses out of 42005 with flag 243000/361611
111.68/110.21	c cleaning 22005 clauses out of 44020 with flag 266001/384612
118.52/117.05	c cleaning 23000 clauses out of 46014 with flag 290000/408611
125.69/124.16	c cleaning 24003 clauses out of 48015 with flag 315001/433612
133.82/132.25	c cleaning 25004 clauses out of 50012 with flag 341001/459612
142.67/141.08	c cleaning 25999 clauses out of 52007 with flag 368000/486611
152.73/151.01	c cleaning 27002 clauses out of 54008 with flag 396000/514611
162.09/160.32	c cleaning 27995 clauses out of 56006 with flag 425000/543611
172.36/170.59	c cleaning 28999 clauses out of 58012 with flag 455001/573612
181.81/179.94	c cleaning 30003 clauses out of 60012 with flag 486000/604611
191.37/189.43	c cleaning 30999 clauses out of 62009 with flag 518000/636611
202.84/200.86	c cleaning 32000 clauses out of 64010 with flag 551000/669611
214.99/212.95	c cleaning 32997 clauses out of 66010 with flag 585000/703611
226.65/224.55	c cleaning 34001 clauses out of 68013 with flag 620000/738611
240.78/238.72	c cleaning 35004 clauses out of 70014 with flag 656002/774613
253.36/251.17	c cleaning 35999 clauses out of 72008 with flag 693000/811611
268.55/266.31	c cleaning 37006 clauses out of 74011 with flag 731002/849613
283.43/281.07	c cleaning 37986 clauses out of 76003 with flag 770000/888611
295.34/292.80	c cleaning 39000 clauses out of 78017 with flag 810000/928611
309.32/306.72	c cleaning 40004 clauses out of 80019 with flag 851002/969613
327.11/324.47	c cleaning 41007 clauses out of 82013 with flag 893000/1011611
343.31/340.57	c cleaning 41998 clauses out of 84007 with flag 936001/1054612
359.70/356.80	c cleaning 43002 clauses out of 86009 with flag 980001/1098612
378.18/375.29	c cleaning 44000 clauses out of 88007 with flag 1025001/1143612
396.37/393.30	c cleaning 44995 clauses out of 90006 with flag 1071000/1189611
415.27/412.12	c cleaning 46000 clauses out of 92011 with flag 1118000/1236611
437.05/433.81	c cleaning 46996 clauses out of 94011 with flag 1166000/1284611
457.73/454.46	c cleaning 48006 clauses out of 96015 with flag 1215000/1333611
473.36/469.91	c cleaning 49004 clauses out of 98009 with flag 1265000/1383611
491.16/487.60	c cleaning 49997 clauses out of 100005 with flag 1316000/1434611
509.70/506.10	c cleaning 51002 clauses out of 102008 with flag 1368000/1486611
530.01/526.20	c cleaning 51997 clauses out of 104006 with flag 1421000/1539611
552.49/548.68	c cleaning 52993 clauses out of 106009 with flag 1475000/1593611
573.39/569.50	c cleaning 54008 clauses out of 108016 with flag 1530000/1648611
602.84/598.74	c cleaning 55005 clauses out of 110009 with flag 1586001/1704612
633.24/629.03	c cleaning 55991 clauses out of 112003 with flag 1643000/1761611
657.18/652.81	c cleaning 57006 clauses out of 114012 with flag 1701000/1819611
684.50/680.06	c cleaning 57985 clauses out of 116006 with flag 1760000/1878611
713.31/708.74	c cleaning 59009 clauses out of 118022 with flag 1820001/1938612
740.51/735.84	c cleaning 60000 clauses out of 120012 with flag 1881000/1999611
760.23/755.43	c cleaning 60994 clauses out of 122012 with flag 1943000/2061611
784.08/779.11	c cleaning 61997 clauses out of 124018 with flag 2006000/2124611
815.04/809.91	c cleaning 63012 clauses out of 126023 with flag 2070002/2188613
844.92/839.63	c cleaning 63995 clauses out of 128009 with flag 2135000/2253611
869.55/864.15	c cleaning 65007 clauses out of 130014 with flag 2201000/2319611
903.49/897.95	c cleaning 66004 clauses out of 132007 with flag 2268000/2386611
936.22/930.59	c cleaning 67000 clauses out of 134004 with flag 2336001/2454612
965.80/959.94	c cleaning 67999 clauses out of 136003 with flag 2405000/2523611
999.75/993.75	c cleaning 69000 clauses out of 138005 with flag 2475001/2593612
1030.21/1024.09	c cleaning 69992 clauses out of 140004 with flag 2546000/2664611
1062.70/1056.34	c cleaning 70993 clauses out of 142013 with flag 2618001/2736612
1096.17/1089.66	c cleaning 71999 clauses out of 144019 with flag 2691000/2809611
1131.18/1124.55	c cleaning 72998 clauses out of 146020 with flag 2765000/2883611
1172.71/1165.95	c cleaning 74007 clauses out of 148022 with flag 2840000/2958611
1201.36/1194.42	c cleaning 75002 clauses out of 150015 with flag 2916000/3034611
1229.75/1222.61	c cleaning 75991 clauses out of 152013 with flag 2993000/3111611
1262.99/1255.70	c cleaning 77000 clauses out of 154022 with flag 3071000/3189611
1305.33/1297.91	c cleaning 78012 clauses out of 156023 with flag 3150001/3268612
1340.24/1332.65	c cleaning 78995 clauses out of 158011 with flag 3230001/3348612
1381.98/1374.20	c cleaning 79989 clauses out of 160016 with flag 3311001/3429612
1422.83/1414.95	c cleaning 80512 clauses out of 161026 with flag 3392000/3510611
1469.51/1461.47	c cleaning 80752 clauses out of 161514 with flag 3473000/3591611
1504.77/1496.59	c cleaning 80877 clauses out of 161762 with flag 3554000/3672611
1543.19/1534.90	c cleaning 80937 clauses out of 161886 with flag 3635001/3753612
1582.25/1573.79	c cleaning 80972 clauses out of 161948 with flag 3716000/3834611
1618.93/1610.27	c cleaning 80984 clauses out of 161976 with flag 3797000/3915611
1656.39/1647.56	c cleaning 80987 clauses out of 161993 with flag 3878001/3996612
1692.74/1683.76	c cleaning 80992 clauses out of 162006 with flag 3959001/4077612
1739.54/1730.37	c cleaning 81006 clauses out of 162014 with flag 4040001/4158612
1778.10/1768.73	c cleaning 80998 clauses out of 162007 with flag 4121000/4239611
1800.09/1790.52	c starts		: 260
1800.09/1790.52	c conflicts		: 4286751
1800.09/1790.52	c decisions		: 4629044
1800.09/1790.52	c propagations		: 25569751
1800.09/1790.52	c inspects		: 7019027660
1800.09/1790.52	c shortcuts		: 0
1800.09/1790.52	c learnt literals	: 0
1800.09/1790.52	c learnt binary clauses	: 0
1800.09/1790.52	c learnt ternary clauses	: 0
1800.09/1790.52	c learnt constraints	: 4286751
1800.09/1790.52	c ignored constraints	: 0
1800.09/1790.52	c root simplifications	: 0
1800.09/1790.52	c removed literals (reason simplification)	: 58877012
1800.09/1790.52	c reason swapping (by a shorter reason)	: 0
1800.09/1790.52	c Calls to reduceDB	: 100
1800.09/1790.52	c number of reductions to clauses (during analyze)	: 0
1800.09/1790.52	c number of learned constraints concerned by reduction	: 0
1800.09/1790.52	c number of learning phase by resolution	: 0
1800.09/1790.52	c number of learning phase by cutting planes	: 0
1800.09/1790.52	c speed (assignments/second)	: 14533.917158713955
1800.09/1790.52	c non guided choices	0
1800.09/1790.56	c learnt constraints type 
1800.09/1790.56	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 128179
1800.09/1790.56	c constraints type 
1800.09/1790.56	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/1790.56	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80035
1800.09/1790.56	s SATISFIABLE
1800.09/1790.56	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 
1800.09/1790.56	c objective function=-40
1800.09/1790.56	c Total wall clock time (in seconds): 1790.453

Verifier Data 

OK	-40

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-3458768-1307148827/watcher-3458768-1307148827 -o /tmp/evaluation-result-3458768-1307148827/solver-3458768-1307148827 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458768-1307148827.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.48 1.90 1.96 4/516 12895
/proc/meminfo: memFree=21309156/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 4265 0 1 0 0 0 0 0 22 0 2 0 826479392 13850947584 3967 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3381579 3978 917 9 0 3372735 0
[pid=12895/tid=12897] ppid=12893 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 7754 0 1 0 0 0 0 0 24 0 2 0 826479393 13850947584 8569 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.113828 s]
/proc/loadavg: 1.48 1.90 1.96 4/516 12895
/proc/meminfo: memFree=21309156/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13622620 CPUtime=0.12 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 15807 0 1 0 10 2 0 0 22 0 18 0 826479392 13949562880 15452 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3405655 15452 2125 9 0 3396389 0
[pid=12895/tid=12897] ppid=12893 vsize=13622620 CPUtime=0.1 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 13793 0 1 0 8 2 0 0 18 0 18 0 826479393 13949562880 15452 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 47922155421603 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13622620

[startup+0.20335 s]
/proc/loadavg: 1.48 1.90 1.96 4/516 12895
/proc/meminfo: memFree=21309156/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13623884 CPUtime=0.29 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 16841 0 1 0 27 2 0 0 22 0 18 0 826479392 13950857216 16400 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3405971 16400 2185 9 0 3396705 0
[pid=12895/tid=12897] ppid=12893 vsize=13623884 CPUtime=0.19 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 14336 0 1 0 17 2 0 0 18 0 18 0 826479393 13950857216 16400 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13623884

[startup+0.331815 s]
/proc/loadavg: 1.48 1.90 1.96 4/516 12895
/proc/meminfo: memFree=21309156/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13624544 CPUtime=0.57 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 19477 0 1 0 55 2 0 0 22 0 18 0 826479392 13951533056 18728 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3406136 18730 2204 9 0 3396870 0
[pid=12895/tid=12897] ppid=12893 vsize=13624544 CPUtime=0.32 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 16289 0 1 0 30 2 0 0 18 0 18 0 826479393 13951533056 18730 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 46912505547486 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13624544

[startup+0.700677 s]
/proc/loadavg: 1.48 1.90 1.96 4/516 12895
/proc/meminfo: memFree=21309156/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13629116 CPUtime=1.05 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 51914 0 1 0 98 7 0 0 22 0 19 0 826479392 13956214784 50319 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3407279 50319 2227 9 0 3398013 0
[pid=12895/tid=12897] ppid=12893 vsize=13629116 CPUtime=0.68 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 46741 0 1 0 62 6 0 0 19 0 19 0 826479393 13956214784 50319 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 46912505217124 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13629116

[startup+1.50155 s]
/proc/loadavg: 1.84 1.97 1.98 5/554 12933
/proc/meminfo: memFree=20902388/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13629116 CPUtime=2.15 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 56450 0 1 0 208 7 0 0 22 0 19 0 826479392 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3407279 54578 2234 9 0 3398013 0
[pid=12895/tid=12897] ppid=12893 vsize=13629116 CPUtime=1.49 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 50441 0 1 0 142 7 0 0 20 0 19 0 826479393 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 46912505808798 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12895/tid=12908] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12908/stat : 12908 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479395 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12909] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12909/stat : 12909 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479395 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12910] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12910/stat : 12910 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479395 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12911] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12911/stat : 12911 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479395 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12912] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12912/stat : 12912 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479395 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12913] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12913/stat : 12913 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479395 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12914] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12914/stat : 12914 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479395 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12915] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12915/stat : 12915 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479395 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12917] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12917/stat : 12917 (java) S 12893 12895 7151 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 0 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12920] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12920/stat : 12920 (java) S 12893 12895 7151 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826479396 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12921] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12921/stat : 12921 (java) S 12893 12895 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826479396 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12925] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12925/stat : 12925 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512515505 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12927] ppid=12893 vsize=13629116 CPUtime=0.31 cores=0,2,4,6
/proc/12895/task/12927/stat : 12927 (java) S 12893 12895 7151 0 -1 4202560 1974 0 0 0 31 0 0 0 17 0 19 0 826479398 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12929] ppid=12893 vsize=13629116 CPUtime=0.34 cores=0,2,4,6
/proc/12895/task/12929/stat : 12929 (java) S 12893 12895 7151 0 -1 4202560 2876 0 0 0 34 0 0 0 15 0 19 0 826479398 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12930] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12930/stat : 12930 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12931] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12931/stat : 12931 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826479398 13956214784 54578 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12933] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12933/stat : 12933 (java) S 12893 12895 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13956214784 54579 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 13629116

[startup+3.10123 s]
/proc/loadavg: 1.84 1.97 1.98 4/554 12933
/proc/meminfo: memFree=20822780/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13629116 CPUtime=3.87 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 68298 0 1 0 378 9 0 0 22 0 19 0 826479392 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3407279 66423 2262 9 0 3398013 0
[pid=12895/tid=12897] ppid=12893 vsize=13629116 CPUtime=3.04 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 53417 0 1 0 297 7 0 0 24 0 19 0 826479393 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 46912505765114 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12895/tid=12908] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12908/stat : 12908 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826479395 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12909] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12909/stat : 12909 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826479395 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12910] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12910/stat : 12910 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826479395 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12911] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12911/stat : 12911 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826479395 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12912] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12912/stat : 12912 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826479395 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12913] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12913/stat : 12913 (java) S 12893 12895 7151 0 -1 4202560 554 0 0 0 0 0 0 0 18 0 19 0 826479395 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12914] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12914/stat : 12914 (java) S 12893 12895 7151 0 -1 4202560 2385 0 0 0 0 0 0 0 18 0 19 0 826479395 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12915] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12915/stat : 12915 (java) S 12893 12895 7151 0 -1 4202560 1568 0 0 0 0 0 0 0 18 0 19 0 826479395 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12917] ppid=12893 vsize=13629116 CPUtime=0.02 cores=0,2,4,6
/proc/12895/task/12917/stat : 12917 (java) S 12893 12895 7151 0 -1 4202560 4348 0 0 0 2 0 0 0 17 0 19 0 826479396 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 0 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12920] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12920/stat : 12920 (java) S 12893 12895 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12921] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12921/stat : 12921 (java) S 12893 12895 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12925] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12925/stat : 12925 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512515505 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12927] ppid=12893 vsize=13629116 CPUtime=0.34 cores=0,2,4,6
/proc/12895/task/12927/stat : 12927 (java) S 12893 12895 7151 0 -1 4202560 1982 0 0 0 34 0 0 0 15 0 19 0 826479398 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12929] ppid=12893 vsize=13629116 CPUtime=0.4 cores=0,2,4,6
/proc/12895/task/12929/stat : 12929 (java) S 12893 12895 7151 0 -1 4202560 2890 0 0 0 40 0 0 0 15 0 19 0 826479398 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12930] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12930/stat : 12930 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12931] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12931/stat : 12931 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826479398 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12933] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12933/stat : 12933 (java) S 12893 12895 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13956214784 66423 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13629116

[startup+6.3016 s]
/proc/loadavg: 1.84 1.97 1.98 4/554 12933
/proc/meminfo: memFree=20681916/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13629116 CPUtime=7.19 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 80287 0 1 0 709 10 0 0 22 0 19 0 826479392 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3407279 78404 2262 9 0 3398013 0
[pid=12895/tid=12897] ppid=12893 vsize=13629116 CPUtime=6.11 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 53424 0 1 0 604 7 0 0 25 0 19 0 826479393 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 46912505770511 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12895/tid=12908] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12908/stat : 12908 (java) S 12893 12895 7151 0 -1 4202560 3188 0 0 0 0 0 0 0 15 0 19 0 826479395 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12909] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12909/stat : 12909 (java) S 12893 12895 7151 0 -1 4202560 231 0 0 0 0 0 0 0 16 0 19 0 826479395 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12910] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12910/stat : 12910 (java) S 12893 12895 7151 0 -1 4202560 249 0 0 0 0 0 0 0 16 0 19 0 826479395 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12911] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12911/stat : 12911 (java) S 12893 12895 7151 0 -1 4202560 250 0 0 0 0 0 0 0 16 0 19 0 826479395 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12912] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12912/stat : 12912 (java) S 12893 12895 7151 0 -1 4202560 276 0 0 0 0 0 0 0 15 0 19 0 826479395 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12913] ppid=12893 vsize=13629116 CPUtime=0.02 cores=0,2,4,6
/proc/12895/task/12913/stat : 12913 (java) S 12893 12895 7151 0 -1 4202560 3417 0 0 0 2 0 0 0 15 0 19 0 826479395 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12914] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12914/stat : 12914 (java) S 12893 12895 7151 0 -1 4202560 2799 0 0 0 0 0 0 0 18 0 19 0 826479395 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12915] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12915/stat : 12915 (java) S 12893 12895 7151 0 -1 4202560 1568 0 0 0 0 0 0 0 15 0 19 0 826479395 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12917] ppid=12893 vsize=13629116 CPUtime=0.11 cores=0,2,4,6
/proc/12895/task/12917/stat : 12917 (java) S 12893 12895 7151 0 -1 4202560 8849 0 0 0 11 0 0 0 16 0 19 0 826479396 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 0 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12920] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12920/stat : 12920 (java) S 12893 12895 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12921] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12921/stat : 12921 (java) S 12893 12895 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12925] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12925/stat : 12925 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512515505 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12927] ppid=12893 vsize=13629116 CPUtime=0.36 cores=0,2,4,6
/proc/12895/task/12927/stat : 12927 (java) S 12893 12895 7151 0 -1 4202560 1984 0 0 0 36 0 0 0 15 0 19 0 826479398 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12929] ppid=12893 vsize=13629116 CPUtime=0.47 cores=0,2,4,6
/proc/12895/task/12929/stat : 12929 (java) S 12893 12895 7151 0 -1 4202560 2903 0 0 0 47 0 0 0 15 0 19 0 826479398 13956214784 78404 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0

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

/proc/12895/task/12921/stat : 12921 (java) S 12893 12895 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 379475 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12925] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12925/stat : 12925 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 379475 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512515505 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12927] ppid=12893 vsize=13629116 CPUtime=0.36 cores=0,2,4,6
/proc/12895/task/12927/stat : 12927 (java) S 12893 12895 7151 0 -1 4202560 1984 0 0 0 36 0 0 0 15 0 19 0 826479398 13956214784 379475 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12929] ppid=12893 vsize=13629116 CPUtime=0.5 cores=0,2,4,6
/proc/12895/task/12929/stat : 12929 (java) S 12893 12895 7151 0 -1 4202560 2906 0 0 0 50 0 0 0 15 0 19 0 826479398 13956214784 379475 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12930] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12930/stat : 12930 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 379475 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12931] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12931/stat : 12931 (java) S 12893 12895 7151 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 826479398 13956214784 379475 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12933] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12933/stat : 12933 (java) S 12893 12895 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13956214784 379475 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1671.34
Current children cumulated vsize (KiB) 13629116

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 4/554 12991
/proc/meminfo: memFree=18264028/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13629116 CPUtime=1731.53 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 382471 0 1 0 173101 52 0 0 22 0 19 0 826479392 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3407279 380244 2263 9 0 3398013 0
[pid=12895/tid=12897] ppid=12893 vsize=13629116 CPUtime=1711.24 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 101818 0 1 0 171110 14 0 0 25 0 19 0 826479393 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 46912505778600 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12895/tid=12908] ppid=12893 vsize=13629116 CPUtime=1.33 cores=0,2,4,6
/proc/12895/task/12908/stat : 12908 (java) S 12893 12895 7151 0 -1 4202560 21729 0 0 0 131 2 0 0 16 0 19 0 826479395 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 4 0 0 0
[pid=12895/tid=12909] ppid=12893 vsize=13629116 CPUtime=1.44 cores=0,2,4,6
/proc/12895/task/12909/stat : 12909 (java) S 12893 12895 7151 0 -1 4202560 17676 0 0 0 142 2 0 0 16 0 19 0 826479395 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12910] ppid=12893 vsize=13629116 CPUtime=1.5 cores=0,2,4,6
/proc/12895/task/12910/stat : 12910 (java) S 12893 12895 7151 0 -1 4202560 19893 0 0 0 147 3 0 0 16 0 19 0 826479395 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 4 0 0 0
[pid=12895/tid=12911] ppid=12893 vsize=13629116 CPUtime=1.54 cores=0,2,4,6
/proc/12895/task/12911/stat : 12911 (java) S 12893 12895 7151 0 -1 4202560 13886 0 0 0 152 2 0 0 16 0 19 0 826479395 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12912] ppid=12893 vsize=13629116 CPUtime=1.12 cores=0,2,4,6
/proc/12895/task/12912/stat : 12912 (java) S 12893 12895 7151 0 -1 4202560 12893 0 0 0 110 2 0 0 16 0 19 0 826479395 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 4 0 0 0
[pid=12895/tid=12913] ppid=12893 vsize=13629116 CPUtime=1.29 cores=0,2,4,6
/proc/12895/task/12913/stat : 12913 (java) S 12893 12895 7151 0 -1 4202560 21636 0 0 0 127 2 0 0 16 0 19 0 826479395 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12914] ppid=12893 vsize=13629116 CPUtime=1.55 cores=0,2,4,6
/proc/12895/task/12914/stat : 12914 (java) S 12893 12895 7151 0 -1 4202560 24623 0 0 0 152 3 0 0 16 0 19 0 826479395 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12915] ppid=12893 vsize=13629116 CPUtime=1.64 cores=0,2,4,6
/proc/12895/task/12915/stat : 12915 (java) S 12893 12895 7151 0 -1 4202560 26418 0 0 0 161 3 0 0 15 0 19 0 826479395 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12917] ppid=12893 vsize=13629116 CPUtime=7.88 cores=0,2,4,6
/proc/12895/task/12917/stat : 12917 (java) S 12893 12895 7151 0 -1 4202560 115761 0 0 0 774 14 0 0 15 0 19 0 826479396 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 0 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12920] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12920/stat : 12920 (java) S 12893 12895 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12921] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12921/stat : 12921 (java) S 12893 12895 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12925] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12925/stat : 12925 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512515505 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12927] ppid=12893 vsize=13629116 CPUtime=0.36 cores=0,2,4,6
/proc/12895/task/12927/stat : 12927 (java) S 12893 12895 7151 0 -1 4202560 1984 0 0 0 36 0 0 0 15 0 19 0 826479398 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12929] ppid=12893 vsize=13629116 CPUtime=0.5 cores=0,2,4,6
/proc/12895/task/12929/stat : 12929 (java) S 12893 12895 7151 0 -1 4202560 2906 0 0 0 50 0 0 0 15 0 19 0 826479398 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12930] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12930/stat : 12930 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12931] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12931/stat : 12931 (java) S 12893 12895 7151 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 826479398 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12933] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12933/stat : 12933 (java) S 12893 12895 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13956214784 380244 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1731.53
Current children cumulated vsize (KiB) 13629116

[startup+1782.3 s]
/proc/loadavg: 2.38 2.14 2.04 4/554 12993
/proc/meminfo: memFree=18233496/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13629116 CPUtime=1791.87 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 384163 0 1 0 179135 52 0 0 22 0 19 0 826479392 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3407279 381926 2263 9 0 3398013 0
[pid=12895/tid=12897] ppid=12893 vsize=13629116 CPUtime=1770.79 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 101820 0 1 0 177065 14 0 0 25 0 19 0 826479393 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 46912505765029 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12895/tid=12908] ppid=12893 vsize=13629116 CPUtime=1.39 cores=0,2,4,6
/proc/12895/task/12908/stat : 12908 (java) S 12893 12895 7151 0 -1 4202560 21750 0 0 0 137 2 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 4 0 0 0
[pid=12895/tid=12909] ppid=12893 vsize=13629116 CPUtime=1.56 cores=0,2,4,6
/proc/12895/task/12909/stat : 12909 (java) S 12893 12895 7151 0 -1 4202560 17676 0 0 0 154 2 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12910] ppid=12893 vsize=13629116 CPUtime=1.56 cores=0,2,4,6
/proc/12895/task/12910/stat : 12910 (java) S 12893 12895 7151 0 -1 4202560 19906 0 0 0 153 3 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 4 0 0 0
[pid=12895/tid=12911] ppid=12893 vsize=13629116 CPUtime=1.65 cores=0,2,4,6
/proc/12895/task/12911/stat : 12911 (java) S 12893 12895 7151 0 -1 4202560 13893 0 0 0 163 2 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12912] ppid=12893 vsize=13629116 CPUtime=1.13 cores=0,2,4,6
/proc/12895/task/12912/stat : 12912 (java) S 12893 12895 7151 0 -1 4202560 12893 0 0 0 111 2 0 0 15 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 4 0 0 0
[pid=12895/tid=12913] ppid=12893 vsize=13629116 CPUtime=1.35 cores=0,2,4,6
/proc/12895/task/12913/stat : 12913 (java) S 12893 12895 7151 0 -1 4202560 21650 0 0 0 133 2 0 0 15 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12914] ppid=12893 vsize=13629116 CPUtime=1.55 cores=0,2,4,6
/proc/12895/task/12914/stat : 12914 (java) S 12893 12895 7151 0 -1 4202560 24623 0 0 0 152 3 0 0 15 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12915] ppid=12893 vsize=13629116 CPUtime=1.71 cores=0,2,4,6
/proc/12895/task/12915/stat : 12915 (java) S 12893 12895 7151 0 -1 4202560 26437 0 0 0 168 3 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12917] ppid=12893 vsize=13629116 CPUtime=8.22 cores=0,2,4,6
/proc/12895/task/12917/stat : 12917 (java) S 12893 12895 7151 0 -1 4202560 117373 0 0 0 808 14 0 0 15 0 19 0 826479396 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 0 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12920] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12920/stat : 12920 (java) S 12893 12895 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12921] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12921/stat : 12921 (java) S 12893 12895 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12925] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12925/stat : 12925 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512515505 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12927] ppid=12893 vsize=13629116 CPUtime=0.36 cores=0,2,4,6
/proc/12895/task/12927/stat : 12927 (java) S 12893 12895 7151 0 -1 4202560 1984 0 0 0 36 0 0 0 15 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12929] ppid=12893 vsize=13629116 CPUtime=0.5 cores=0,2,4,6
/proc/12895/task/12929/stat : 12929 (java) S 12893 12895 7151 0 -1 4202560 2906 0 0 0 50 0 0 0 15 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12930] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12930/stat : 12930 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12931] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12931/stat : 12931 (java) S 12893 12895 7151 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12933] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12933/stat : 12933 (java) S 12893 12895 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1791.87
Current children cumulated vsize (KiB) 13629116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.5 s]
/proc/loadavg: 2.32 2.13 2.04 3/554 12993
/proc/meminfo: memFree=18234112/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=13629116 CPUtime=1800.09 cores=0,2,4,6
/proc/12895/stat : 12895 (java) S 12893 12895 7151 0 -1 4202496 384163 0 1 0 179957 52 0 0 22 0 19 0 826479392 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 3407279 381926 2263 9 0 3398013 0
[pid=12895/tid=12897] ppid=12893 vsize=13629116 CPUtime=1779.01 cores=0,2,4,6
/proc/12895/task/12897/stat : 12897 (java) R 12893 12895 7151 0 -1 4202560 101820 0 1 0 177887 14 0 0 25 0 19 0 826479393 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 46912505770375 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12895/tid=12908] ppid=12893 vsize=13629116 CPUtime=1.39 cores=0,2,4,6
/proc/12895/task/12908/stat : 12908 (java) S 12893 12895 7151 0 -1 4202560 21750 0 0 0 137 2 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 4 0 0 0
[pid=12895/tid=12909] ppid=12893 vsize=13629116 CPUtime=1.56 cores=0,2,4,6
/proc/12895/task/12909/stat : 12909 (java) S 12893 12895 7151 0 -1 4202560 17676 0 0 0 154 2 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12910] ppid=12893 vsize=13629116 CPUtime=1.56 cores=0,2,4,6
/proc/12895/task/12910/stat : 12910 (java) S 12893 12895 7151 0 -1 4202560 19906 0 0 0 153 3 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 4 0 0 0
[pid=12895/tid=12911] ppid=12893 vsize=13629116 CPUtime=1.65 cores=0,2,4,6
/proc/12895/task/12911/stat : 12911 (java) S 12893 12895 7151 0 -1 4202560 13893 0 0 0 163 2 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12912] ppid=12893 vsize=13629116 CPUtime=1.13 cores=0,2,4,6
/proc/12895/task/12912/stat : 12912 (java) S 12893 12895 7151 0 -1 4202560 12893 0 0 0 111 2 0 0 15 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 4 0 0 0
[pid=12895/tid=12913] ppid=12893 vsize=13629116 CPUtime=1.35 cores=0,2,4,6
/proc/12895/task/12913/stat : 12913 (java) S 12893 12895 7151 0 -1 4202560 21650 0 0 0 133 2 0 0 15 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12914] ppid=12893 vsize=13629116 CPUtime=1.55 cores=0,2,4,6
/proc/12895/task/12914/stat : 12914 (java) S 12893 12895 7151 0 -1 4202560 24623 0 0 0 152 3 0 0 15 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12915] ppid=12893 vsize=13629116 CPUtime=1.71 cores=0,2,4,6
/proc/12895/task/12915/stat : 12915 (java) S 12893 12895 7151 0 -1 4202560 26437 0 0 0 168 3 0 0 16 0 19 0 826479395 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12917] ppid=12893 vsize=13629116 CPUtime=8.22 cores=0,2,4,6
/proc/12895/task/12917/stat : 12917 (java) S 12893 12895 7151 0 -1 4202560 117373 0 0 0 808 14 0 0 15 0 19 0 826479396 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 0 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12920] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12920/stat : 12920 (java) S 12893 12895 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12921] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12921/stat : 12921 (java) S 12893 12895 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826479396 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12925] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12925/stat : 12925 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512515505 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12927] ppid=12893 vsize=13629116 CPUtime=0.36 cores=0,2,4,6
/proc/12895/task/12927/stat : 12927 (java) S 12893 12895 7151 0 -1 4202560 1984 0 0 0 36 0 0 0 15 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 6 0 0 0
[pid=12895/tid=12929] ppid=12893 vsize=13629116 CPUtime=0.5 cores=0,2,4,6
/proc/12895/task/12929/stat : 12929 (java) S 12893 12895 7151 0 -1 4202560 2906 0 0 0 50 0 0 0 15 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12930] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12930/stat : 12930 (java) S 12893 12895 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512507801 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
[pid=12895/tid=12931] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12931/stat : 12931 (java) S 12893 12895 7151 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826479398 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 0 0 0 0
[pid=12895/tid=12933] ppid=12893 vsize=13629116 CPUtime=0 cores=0,2,4,6
/proc/12895/task/12933/stat : 12933 (java) S 12893 12895 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13956214784 381926 33554432000 1073741824 1073778376 140736413536736 18446744073709551615 254512508416 0 4 0 16800975 18446604445454709056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13629116

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

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

[startup+1790.63 s]
/proc/loadavg: 2.32 2.13 2.04 3/554 12993
/proc/meminfo: memFree=18234112/32950928 swapFree=34259960/67111528
[pid=12895] ppid=12893 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/12895/stat : 12895 (java) Z 12893 12895 7151 0 -1 4203548 384219 0 1 0 179966 58 0 0 17 0 2 0 826479392 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12895/statm: 0 0 0 0 0 0 0
[pid=12895/tid=12911] ppid=12893 vsize=0 CPUtime=1.71 cores=0,2,4,6
/proc/12895/task/12911/stat : 12911 (java) R 12893 12895 7151 0 -1 4203588 13893 0 0 0 163 8 0 0 15 0 2 0 826479395 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1790.63
CPU time (s): 1800.25
CPU user time (s): 1799.66
CPU system time (s): 0.59191
CPU usage (%): 100.537
Max. virtual memory (cumulated for all children) (KiB): 13629116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.59191
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 384219
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= 39579
involuntary context switches= 7357

runsolver used 9.8375 second user time and 21.2538 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-04 02:53:47
IDJOB=3458768
IDBENCH=2262
IDSOLVER=1952
FILE ID=node149/3458768-1307148827
RUNJOBID= node149-1307148827-12876
PBS_JOBID= 13508767
Free space on /tmp= 73524 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458768-1307148827/watcher-3458768-1307148827 -o /tmp/evaluation-result-3458768-1307148827/solver-3458768-1307148827 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458768-1307148827.opb

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

MD5SUM BENCH= 32f273c48805c1e726044ae006778010
RANDOM SEED=1222297947

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.83
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.806
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.73
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.806
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.82
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.806
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.806
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.806
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:      21309824 kB
Buffers:        332276 kB
Cached:        3495176 kB
SwapCached:     123196 kB
Active:         330876 kB
Inactive:     10971780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21309824 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:            4748 kB
Writeback:           0 kB
AnonPages:     7376048 kB
Mapped:          17972 kB
Slab:           150284 kB
PageTables:     117888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173093152 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= 73524 MiB
End job on node149 at 2011-06-04 03:23:40