Trace number 3458766

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)-41 1800.27 1792.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUMe81d6b8e8ff8ec031773b7b65d16ea78
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1797.36
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -50
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80258
Number of constraints which are clauses80258
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.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458766-1307148837.opb
0.10/0.11	c reading problem ... 
0.88/0.65	c ... done. Wall clock time 0.533s.
0.88/0.65	c #vars     1150
0.88/0.65	c #constraints  80258
0.88/0.65	c constraints type 
0.88/0.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80258
0.88/0.67	c SATISFIABLE
0.88/0.67	c OPTIMIZING...
0.88/0.67	c Got one! Elapsed wall clock time (in seconds):0.558
0.88/0.67	o -36
1.32/0.83	c Got one! Elapsed wall clock time (in seconds):0.718
1.32/0.83	o -37
1.46/0.94	c Got one! Elapsed wall clock time (in seconds):0.83
1.46/0.94	o -38
2.72/2.14	c cleaning 2811 clauses out of 5621 with flag 5000/5621
4.17/3.52	c cleaning 4406 clauses out of 8811 with flag 11001/11622
5.79/5.18	c cleaning 5702 clauses out of 11404 with flag 18000/18621
7.81/7.14	c cleaning 6851 clauses out of 13702 with flag 26000/26621
9.78/9.09	c Got one! Elapsed wall clock time (in seconds):8.983
9.78/9.09	o -39
11.14/10.31	c cleaning 9721 clauses out of 19441 with flag 5001/39211
12.65/11.86	c cleaning 7860 clauses out of 15719 with flag 11000/45210
14.47/13.66	c cleaning 7427 clauses out of 14859 with flag 18000/52210
16.58/15.70	c cleaning 7707 clauses out of 15432 with flag 26000/60210
19.12/18.29	c cleaning 8357 clauses out of 16725 with flag 35000/69210
21.90/20.96	c cleaning 9180 clauses out of 18368 with flag 45000/79210
24.80/23.80	c cleaning 10094 clauses out of 20188 with flag 56000/90210
28.11/27.19	c cleaning 11047 clauses out of 22095 with flag 68001/102211
32.34/31.36	c cleaning 12024 clauses out of 24048 with flag 81001/115211
33.97/32.94	c Got one! Elapsed wall clock time (in seconds):32.827
33.97/32.94	o -40
35.28/34.23	c cleaning 11774 clauses out of 23558 with flag 5000/126745
36.90/35.89	c cleaning 8892 clauses out of 17784 with flag 11000/132745
38.91/37.83	c cleaning 7943 clauses out of 15893 with flag 18001/139746
39.02/37.97	c Got one! Elapsed wall clock time (in seconds):37.856
39.02/37.97	o -41
40.52/39.44	c cleaning 6616 clauses out of 13240 with flag 5001/145036
42.14/41.06	c cleaning 6303 clauses out of 12623 with flag 11000/151035
44.07/42.93	c cleaning 6658 clauses out of 13321 with flag 18001/158036
46.27/45.19	c cleaning 7331 clauses out of 14662 with flag 26000/166035
48.86/47.71	c cleaning 8162 clauses out of 16331 with flag 35000/175035
51.38/50.21	c cleaning 9082 clauses out of 18170 with flag 45001/185036
54.40/53.27	c cleaning 10036 clauses out of 20087 with flag 56000/196035
58.21/57.02	c cleaning 11026 clauses out of 22051 with flag 68000/208035
62.13/60.96	c cleaning 12013 clauses out of 24025 with flag 81000/221035
66.16/64.98	c cleaning 13001 clauses out of 26012 with flag 95000/235035
71.25/70.01	c cleaning 14005 clauses out of 28011 with flag 110000/250035
75.76/74.54	c cleaning 14990 clauses out of 30006 with flag 126000/266035
80.41/79.20	c cleaning 16008 clauses out of 32016 with flag 143000/283035
86.04/84.73	c cleaning 16998 clauses out of 34008 with flag 161000/301035
92.15/90.89	c cleaning 18006 clauses out of 36011 with flag 180001/320036
98.98/97.61	c cleaning 19000 clauses out of 38005 with flag 200001/340036
105.61/104.24	c cleaning 19994 clauses out of 40004 with flag 221000/361035
113.84/112.48	c cleaning 21005 clauses out of 42010 with flag 243000/383035
120.38/118.99	c cleaning 21997 clauses out of 44005 with flag 266000/406035
127.71/126.25	c cleaning 22993 clauses out of 46008 with flag 290000/430035
136.26/134.72	c cleaning 24002 clauses out of 48015 with flag 315000/455035
145.72/144.15	c cleaning 25003 clauses out of 50013 with flag 341000/481035
155.75/154.17	c cleaning 26005 clauses out of 52010 with flag 368000/508035
165.80/164.12	c cleaning 27000 clauses out of 54005 with flag 396000/536035
178.14/176.49	c cleaning 28001 clauses out of 56005 with flag 425000/565035
189.38/187.67	c cleaning 28994 clauses out of 58005 with flag 455001/595036
198.81/197.05	c cleaning 29999 clauses out of 60011 with flag 486001/626036
209.07/207.21	c cleaning 31001 clauses out of 62011 with flag 518000/658035
219.73/217.88	c cleaning 31994 clauses out of 64010 with flag 551000/691035
231.26/229.37	c cleaning 33002 clauses out of 66016 with flag 585000/725035
244.21/242.29	c cleaning 34004 clauses out of 68015 with flag 620001/760036
257.35/255.32	c cleaning 35001 clauses out of 70010 with flag 656000/796035
271.52/269.46	c cleaning 36004 clauses out of 72010 with flag 693001/833036
286.76/284.69	c cleaning 36994 clauses out of 74005 with flag 731000/871035
299.31/297.15	c cleaning 38006 clauses out of 76011 with flag 770000/910035
312.19/309.91	c cleaning 39001 clauses out of 78005 with flag 810000/950035
326.77/324.48	c cleaning 39997 clauses out of 80004 with flag 851000/991035
341.15/338.73	c cleaning 40998 clauses out of 82007 with flag 893000/1033035
359.13/356.62	c cleaning 41997 clauses out of 84009 with flag 936000/1076035
376.63/374.06	c cleaning 42996 clauses out of 86013 with flag 980001/1120036
395.32/392.62	c cleaning 44002 clauses out of 88016 with flag 1025000/1165035
412.46/409.74	c cleaning 45001 clauses out of 90014 with flag 1071000/1211035
432.36/429.51	c cleaning 46004 clauses out of 92013 with flag 1118000/1258035
454.72/451.86	c cleaning 47002 clauses out of 94011 with flag 1166002/1306037
471.83/468.82	c cleaning 47996 clauses out of 96007 with flag 1215000/1355035
488.03/484.93	c cleaning 48997 clauses out of 98011 with flag 1265000/1405035
507.21/504.00	c cleaning 50001 clauses out of 100014 with flag 1316000/1456035
527.59/524.31	c cleaning 51002 clauses out of 102014 with flag 1368001/1508036
547.26/543.93	c cleaning 52003 clauses out of 104011 with flag 1421000/1561035
574.79/571.33	c cleaning 53001 clauses out of 106008 with flag 1475000/1615035
598.35/594.85	c cleaning 54000 clauses out of 108008 with flag 1530001/1670036
623.49/619.94	c cleaning 54996 clauses out of 110007 with flag 1586000/1726035
646.57/642.92	c cleaning 56003 clauses out of 112012 with flag 1643001/1783036
672.75/669.00	c cleaning 57000 clauses out of 114008 with flag 1701000/1841035
701.25/697.44	c cleaning 58001 clauses out of 116009 with flag 1760001/1900036
728.13/724.23	c cleaning 58999 clauses out of 118007 with flag 1820000/1960035
750.61/746.70	c cleaning 60000 clauses out of 120009 with flag 1881001/2021036
772.85/768.81	c cleaning 61002 clauses out of 122009 with flag 1943001/2083036
797.49/793.28	c cleaning 62004 clauses out of 124008 with flag 2006002/2146037
823.47/819.12	c cleaning 62989 clauses out of 126002 with flag 2070000/2210035
853.47/849.06	c cleaning 64002 clauses out of 128013 with flag 2135000/2275035
879.82/875.39	c cleaning 65002 clauses out of 130011 with flag 2201000/2341035
912.63/908.03	c cleaning 65996 clauses out of 132010 with flag 2268001/2408036
940.28/935.64	c cleaning 66999 clauses out of 134013 with flag 2336000/2476035
971.85/967.20	c cleaning 67996 clauses out of 136014 with flag 2405000/2545035
1008.37/1003.59	c cleaning 69002 clauses out of 138018 with flag 2475000/2615035
1037.05/1032.12	c cleaning 70000 clauses out of 140016 with flag 2546000/2686035
1076.85/1071.83	c cleaning 70999 clauses out of 142016 with flag 2618000/2758035
1113.65/1108.57	c cleaning 72004 clauses out of 144017 with flag 2691000/2831035
1154.05/1148.81	c cleaning 73003 clauses out of 146013 with flag 2765000/2905035
1198.56/1193.30	c cleaning 74006 clauses out of 148011 with flag 2840001/2980036
1224.18/1218.79	c cleaning 74994 clauses out of 150004 with flag 2916000/3056035
1254.07/1248.54	c cleaning 75997 clauses out of 152010 with flag 2993000/3133035
1287.79/1282.16	c cleaning 76992 clauses out of 154013 with flag 3071000/3211035
1326.23/1320.40	c cleaning 78009 clauses out of 156021 with flag 3150000/3290035
1368.63/1362.62	c cleaning 79001 clauses out of 158012 with flag 3230000/3370035
1413.32/1407.20	c cleaning 79993 clauses out of 160011 with flag 3311000/3451035
1452.93/1446.62	c cleaning 80502 clauses out of 161019 with flag 3392001/3532036
1491.93/1485.59	c cleaning 80757 clauses out of 161518 with flag 3473002/3613037
1526.04/1519.59	c cleaning 80868 clauses out of 161760 with flag 3554001/3694036
1568.67/1562.09	c cleaning 80942 clauses out of 161891 with flag 3635000/3775035
1610.44/1603.65	c cleaning 80969 clauses out of 161949 with flag 3716000/3856035
1649.32/1642.47	c cleaning 80977 clauses out of 161980 with flag 3797000/3937035
1684.61/1677.62	c cleaning 80995 clauses out of 162003 with flag 3878000/4018035
1726.53/1719.48	c cleaning 80999 clauses out of 162008 with flag 3959000/4099035
1770.26/1763.05	c cleaning 80995 clauses out of 162009 with flag 4040000/4180035
1800.10/1792.72	c starts		: 259
1800.10/1792.72	c conflicts		: 4243799
1800.10/1792.72	c decisions		: 4597875
1800.10/1792.72	c propagations		: 25258662
1800.10/1792.72	c inspects		: 6894569493
1800.10/1792.72	c shortcuts		: 0
1800.10/1792.72	c learnt literals	: 0
1800.10/1792.72	c learnt binary clauses	: 0
1800.10/1792.72	c learnt ternary clauses	: 0
1800.10/1792.72	c learnt constraints	: 4243799
1800.10/1792.72	c ignored constraints	: 0
1800.10/1792.72	c root simplifications	: 0
1800.10/1792.72	c removed literals (reason simplification)	: 57259809
1800.10/1792.72	c reason swapping (by a shorter reason)	: 0
1800.10/1792.72	c Calls to reduceDB	: 102
1800.10/1792.72	c number of reductions to clauses (during analyze)	: 0
1800.10/1792.72	c number of learned constraints concerned by reduction	: 0
1800.10/1792.72	c number of learning phase by resolution	: 0
1800.10/1792.72	c number of learning phase by cutting planes	: 0
1800.10/1792.72	c speed (assignments/second)	: 14394.429301445845
1800.10/1792.72	c non guided choices	0
1800.10/1792.75	c learnt constraints type 
1800.10/1792.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 144801
1800.10/1792.75	c constraints type 
1800.10/1792.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1792.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80258
1800.10/1792.75	s SATISFIABLE
1800.10/1792.75	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.10/1792.75	c objective function=-41
1800.10/1792.75	c Total wall clock time (in seconds): 1792.643

Verifier Data 

OK	-41

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-3458766-1307148837/watcher-3458766-1307148837 -o /tmp/evaluation-result-3458766-1307148837/solver-3458766-1307148837 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458766-1307148837.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: 1.85 1.99 1.92 1/479 11511
/proc/meminfo: memFree=27417332/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 2936 0 1 0 0 0 0 0 25 0 2 0 826483386 13833195520 2637 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3377245 2651 906 9 0 3368401 0
[pid=11511/tid=11512] ppid=11509 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 4973 0 1 0 0 0 0 0 25 0 2 0 826483387 13850947584 5789 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.047333 s]
/proc/loadavg: 1.85 1.99 1.92 1/479 11511
/proc/meminfo: memFree=27417332/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 13719 0 1 0 2 1 0 0 25 0 13 0 826483386 13874667520 13415 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3387370 13416 1669 9 0 3378118 0
[pid=11511/tid=11512] ppid=11509 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 12572 0 1 0 2 1 0 0 25 0 13 0 826483387 13874667520 13416 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46987527199056 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.100325 s]
/proc/loadavg: 1.85 1.99 1.92 1/479 11511
/proc/meminfo: memFree=27417332/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13687412 CPUtime=0.1 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 15499 0 1 0 9 1 0 0 25 0 18 0 826483386 14015909888 15150 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3421853 15151 2092 9 0 3412587 0
[pid=11511/tid=11512] ppid=11509 vsize=13687412 CPUtime=0.08 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 13555 0 1 0 7 1 0 0 25 0 18 0 826483387 14015909888 15151 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46987528705560 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13687412

[startup+0.300289 s]
/proc/loadavg: 1.85 1.99 1.92 1/479 11511
/proc/meminfo: memFree=27417332/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13689340 CPUtime=0.47 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 18290 0 1 0 45 2 0 0 25 0 18 0 826483386 14017884160 17823 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3422335 17824 2200 9 0 3413069 0
[pid=11511/tid=11512] ppid=11509 vsize=13689340 CPUtime=0.27 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 15424 0 1 0 26 1 0 0 25 0 18 0 826483387 14017884160 17824 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46912505546520 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13689340

[startup+0.700211 s]
/proc/loadavg: 1.85 1.99 1.92 1/479 11511
/proc/meminfo: memFree=27417332/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13690100 CPUtime=1.02 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 51743 0 1 0 97 5 0 0 25 0 19 0 826483386 14018662400 50349 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3422525 50349 2224 9 0 3413259 0
[pid=11511/tid=11512] ppid=11509 vsize=13690100 CPUtime=0.68 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 46842 0 1 0 63 5 0 0 25 0 19 0 826483387 14018662400 50349 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46912505167053 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13690100

[startup+1.50112 s]
/proc/loadavg: 1.85 1.99 1.92 2/498 11530
/proc/meminfo: memFree=27216692/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13692472 CPUtime=2.08 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 56178 0 1 0 202 6 0 0 25 0 19 0 826483386 14021091328 54539 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3423118 54539 2230 9 0 3413852 0
[pid=11511/tid=11512] ppid=11509 vsize=13692472 CPUtime=1.48 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 50418 0 1 0 142 6 0 0 25 0 19 0 826483387 14021091328 54539 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46987530140499 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11511/tid=11514] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483389 14021091328 54539 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11515] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483389 14021091328 54539 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11516] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483389 14021091328 54539 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11517] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483389 14021091328 54539 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11518] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483389 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11519] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483389 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11520] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483389 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11521] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483389 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11522] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11509 11511 9472 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826483390 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 0 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11523] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11509 11511 9472 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826483391 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11524] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11509 11511 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826483391 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11525] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11525/stat : 11525 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092055985 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11526] ppid=11509 vsize=13692472 CPUtime=0.29 cores=1,3,5,7
/proc/11511/task/11526/stat : 11526 (java) S 11509 11511 9472 0 -1 4202560 1537 0 0 0 29 0 0 0 17 0 19 0 826483393 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11527] ppid=11509 vsize=13692472 CPUtime=0.29 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11509 11511 9472 0 -1 4202560 3062 0 0 0 29 0 0 0 22 0 19 0 826483393 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11528] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11528/stat : 11528 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11529] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11529/stat : 11529 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826483393 14021091328 54540 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11530] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11530/stat : 11530 (java) S 11509 11511 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826483453 14021091328 54541 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 13692472

[startup+3.10075 s]
/proc/loadavg: 1.85 1.99 1.92 3/517 11574
/proc/meminfo: memFree=27055020/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13692472 CPUtime=3.76 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 68212 0 1 0 368 8 0 0 25 0 19 0 826483386 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3423118 66569 2259 9 0 3413852 0
[pid=11511/tid=11512] ppid=11509 vsize=13692472 CPUtime=3.03 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 53472 0 1 0 297 6 0 0 25 0 19 0 826483387 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46912505835718 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11511/tid=11514] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826483389 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11515] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826483389 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11516] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826483389 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11517] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826483389 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11518] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826483389 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11519] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11509 11511 9472 0 -1 4202560 1310 0 0 0 0 0 0 0 18 0 19 0 826483389 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11520] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11509 11511 9472 0 -1 4202560 552 0 0 0 0 0 0 0 18 0 19 0 826483389 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11521] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11509 11511 9472 0 -1 4202560 2679 0 0 0 0 0 0 0 18 0 19 0 826483389 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11522] ppid=11509 vsize=13692472 CPUtime=0.02 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11509 11511 9472 0 -1 4202560 4371 0 0 0 2 0 0 0 16 0 19 0 826483390 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 0 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11523] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11509 11511 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826483391 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11524] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11509 11511 9472 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826483391 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11525] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11525/stat : 11525 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092055985 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11526] ppid=11509 vsize=13692472 CPUtime=0.34 cores=1,3,5,7
/proc/11511/task/11526/stat : 11526 (java) S 11509 11511 9472 0 -1 4202560 1608 0 0 0 34 0 0 0 15 0 19 0 826483393 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11527] ppid=11509 vsize=13692472 CPUtime=0.31 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11509 11511 9472 0 -1 4202560 3064 0 0 0 31 0 0 0 18 0 19 0 826483393 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11528] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11528/stat : 11528 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11529] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11529/stat : 11529 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826483393 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11530] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11530/stat : 11530 (java) S 11509 11511 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826483453 14021091328 66569 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13692472

[startup+6.3012 s]
/proc/loadavg: 1.86 1.99 1.92 3/518 11575
/proc/meminfo: memFree=26794100/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13692472 CPUtime=7.01 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 82965 0 1 0 692 9 0 0 25 0 19 0 826483386 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3423118 81310 2259 9 0 3413852 0
[pid=11511/tid=11512] ppid=11509 vsize=13692472 CPUtime=6.14 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 53477 0 1 0 608 6 0 0 25 0 19 0 826483387 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46912505738892 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11511/tid=11514] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826483389 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11515] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11509 11511 9472 0 -1 4202560 1031 0 0 0 0 0 0 0 16 0 19 0 826483389 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11516] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11509 11511 9472 0 -1 4202560 2507 0 0 0 0 0 0 0 15 0 19 0 826483389 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11517] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11509 11511 9472 0 -1 4202560 870 0 0 0 0 0 0 0 15 0 19 0 826483389 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11518] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11509 11511 9472 0 -1 4202560 3005 0 0 0 0 0 0 0 15 0 19 0 826483389 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11519] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11509 11511 9472 0 -1 4202560 1310 0 0 0 0 0 0 0 15 0 19 0 826483389 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11520] ppid=11509 vsize=13692472 CPUtime=0.01 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11509 11511 9472 0 -1 4202560 2346 0 0 0 1 0 0 0 17 0 19 0 826483389 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11521] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11509 11511 9472 0 -1 4202560 2679 0 0 0 0 0 0 0 15 0 19 0 826483389 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11522] ppid=11509 vsize=13692472 CPUtime=0.08 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11509 11511 9472 0 -1 4202560 9909 0 0 0 8 0 0 0 15 0 19 0 826483390 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 0 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11523] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11509 11511 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826483391 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11524] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11509 11511 9472 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826483391 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11525] ppid=11509 vsize=13692472 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11525/stat : 11525 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092055985 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11526] ppid=11509 vsize=13692472 CPUtime=0.35 cores=1,3,5,7
/proc/11511/task/11526/stat : 11526 (java) S 11509 11511 9472 0 -1 4202560 1611 0 0 0 35 0 0 0 15 0 19 0 826483393 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11527] ppid=11509 vsize=13692472 CPUtime=0.32 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11509 11511 9472 0 -1 4202560 3068 0 0 0 32 0 0 0 15 0 19 0 826483393 14021091328 81310 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0

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

/proc/11511/task/11523/stat : 11523 (java) S 11509 11511 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826483391 14020423680 395555 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11524] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11509 11511 9472 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826483391 14020423680 395555 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11525] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11525/stat : 11525 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14020423680 395555 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092055985 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11526] ppid=11509 vsize=13691820 CPUtime=0.48 cores=1,3,5,7
/proc/11511/task/11526/stat : 11526 (java) S 11509 11511 9472 0 -1 4202560 1941 0 0 0 48 0 0 0 15 0 19 0 826483393 14020423680 395555 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11527] ppid=11509 vsize=13691820 CPUtime=0.44 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11509 11511 9472 0 -1 4202560 3083 0 0 0 44 0 0 0 15 0 19 0 826483393 14020423680 395555 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11528] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11528/stat : 11528 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14020423680 395555 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11529] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11529/stat : 11529 (java) S 11509 11511 9472 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826483393 14020423680 395555 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11530] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11530/stat : 11530 (java) S 11509 11511 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826483453 14020423680 395555 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.31
Current children cumulated vsize (KiB) 13691820

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 11633
/proc/meminfo: memFree=24315292/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13691820 CPUtime=1729.56 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 398056 0 1 0 172904 52 0 0 25 0 19 0 826483386 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3422955 395573 2260 9 0 3413689 0
[pid=11511/tid=11512] ppid=11509 vsize=13691820 CPUtime=1711.05 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 101689 0 1 0 171091 14 0 0 25 0 19 0 826483387 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46912505755347 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11511/tid=11514] ppid=11509 vsize=13691820 CPUtime=1.08 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11509 11511 9472 0 -1 4202560 13465 0 0 0 107 1 0 0 15 0 19 0 826483389 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11515] ppid=11509 vsize=13691820 CPUtime=1.25 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11509 11511 9472 0 -1 4202560 18145 0 0 0 123 2 0 0 15 0 19 0 826483389 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11516] ppid=11509 vsize=13691820 CPUtime=1.15 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11509 11511 9472 0 -1 4202560 34076 0 0 0 111 4 0 0 16 0 19 0 826483389 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11517] ppid=11509 vsize=13691820 CPUtime=1.33 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11509 11511 9472 0 -1 4202560 17235 0 0 0 131 2 0 0 16 0 19 0 826483389 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11518] ppid=11509 vsize=13691820 CPUtime=1.37 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11509 11511 9472 0 -1 4202560 20779 0 0 0 135 2 0 0 16 0 19 0 826483389 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11519] ppid=11509 vsize=13691820 CPUtime=1.28 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11509 11511 9472 0 -1 4202560 27601 0 0 0 124 4 0 0 15 0 19 0 826483389 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11520] ppid=11509 vsize=13691820 CPUtime=0.93 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11509 11511 9472 0 -1 4202560 17951 0 0 0 91 2 0 0 15 0 19 0 826483389 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11521] ppid=11509 vsize=13691820 CPUtime=1.07 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11509 11511 9472 0 -1 4202560 16276 0 0 0 105 2 0 0 15 0 19 0 826483389 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11522] ppid=11509 vsize=13691820 CPUtime=8.02 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11509 11511 9472 0 -1 4202560 124564 0 0 0 789 13 0 0 15 0 19 0 826483390 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 0 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11523] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11509 11511 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826483391 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11524] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11509 11511 9472 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826483391 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11525] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11525/stat : 11525 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092055985 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11526] ppid=11509 vsize=13691820 CPUtime=0.48 cores=1,3,5,7
/proc/11511/task/11526/stat : 11526 (java) S 11509 11511 9472 0 -1 4202560 1941 0 0 0 48 0 0 0 15 0 19 0 826483393 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11527] ppid=11509 vsize=13691820 CPUtime=0.44 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11509 11511 9472 0 -1 4202560 3083 0 0 0 44 0 0 0 15 0 19 0 826483393 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11528] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11528/stat : 11528 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11529] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11529/stat : 11529 (java) S 11509 11511 9472 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826483393 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11530] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11530/stat : 11530 (java) S 11509 11511 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826483453 14020423680 395573 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.56
Current children cumulated vsize (KiB) 13691820

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11635
/proc/meminfo: memFree=24264536/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13691820 CPUtime=1789.69 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 398097 0 1 0 178917 52 0 0 25 0 19 0 826483386 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3422955 395609 2260 9 0 3413689 0
[pid=11511/tid=11512] ppid=11509 vsize=13691820 CPUtime=1770.87 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 101690 0 1 0 177073 14 0 0 25 0 19 0 826483387 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46912505760788 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11511/tid=11514] ppid=11509 vsize=13691820 CPUtime=1.08 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11509 11511 9472 0 -1 4202560 13465 0 0 0 107 1 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11515] ppid=11509 vsize=13691820 CPUtime=1.31 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11509 11511 9472 0 -1 4202560 18145 0 0 0 129 2 0 0 16 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11516] ppid=11509 vsize=13691820 CPUtime=1.15 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11509 11511 9472 0 -1 4202560 34076 0 0 0 111 4 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11517] ppid=11509 vsize=13691820 CPUtime=1.33 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11509 11511 9472 0 -1 4202560 17235 0 0 0 131 2 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11518] ppid=11509 vsize=13691820 CPUtime=1.37 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11509 11511 9472 0 -1 4202560 20779 0 0 0 135 2 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11519] ppid=11509 vsize=13691820 CPUtime=1.35 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11509 11511 9472 0 -1 4202560 27633 0 0 0 131 4 0 0 16 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11520] ppid=11509 vsize=13691820 CPUtime=0.99 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11509 11511 9472 0 -1 4202560 17955 0 0 0 97 2 0 0 16 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11521] ppid=11509 vsize=13691820 CPUtime=1.07 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11509 11511 9472 0 -1 4202560 16276 0 0 0 105 2 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11522] ppid=11509 vsize=13691820 CPUtime=8.13 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11509 11511 9472 0 -1 4202560 124566 0 0 0 800 13 0 0 15 0 19 0 826483390 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 0 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11523] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11509 11511 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826483391 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11524] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11509 11511 9472 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826483391 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11525] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11525/stat : 11525 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092055985 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11526] ppid=11509 vsize=13691820 CPUtime=0.48 cores=1,3,5,7
/proc/11511/task/11526/stat : 11526 (java) S 11509 11511 9472 0 -1 4202560 1941 0 0 0 48 0 0 0 15 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11527] ppid=11509 vsize=13691820 CPUtime=0.44 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11509 11511 9472 0 -1 4202560 3083 0 0 0 44 0 0 0 15 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11528] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11528/stat : 11528 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11529] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11529/stat : 11529 (java) S 11509 11511 9472 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11530] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11530/stat : 11530 (java) S 11509 11511 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826483453 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.69
Current children cumulated vsize (KiB) 13691820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.7 s]
/proc/loadavg: 2.00 2.03 2.00 2/498 11638
/proc/meminfo: memFree=25834020/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=13691820 CPUtime=1800.1 cores=1,3,5,7
/proc/11511/stat : 11511 (java) S 11509 11511 9472 0 -1 4202496 398099 0 1 0 179958 52 0 0 25 0 19 0 826483386 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 3422955 395609 2260 9 0 3413689 0
[pid=11511/tid=11512] ppid=11509 vsize=13691820 CPUtime=1781.29 cores=1,3,5,7
/proc/11511/task/11512/stat : 11512 (java) R 11509 11511 9472 0 -1 4202560 101690 0 1 0 178115 14 0 0 25 0 19 0 826483387 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 46912505811716 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11511/tid=11514] ppid=11509 vsize=13691820 CPUtime=1.08 cores=1,3,5,7
/proc/11511/task/11514/stat : 11514 (java) S 11509 11511 9472 0 -1 4202560 13465 0 0 0 107 1 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11515] ppid=11509 vsize=13691820 CPUtime=1.31 cores=1,3,5,7
/proc/11511/task/11515/stat : 11515 (java) S 11509 11511 9472 0 -1 4202560 18145 0 0 0 129 2 0 0 16 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11516] ppid=11509 vsize=13691820 CPUtime=1.15 cores=1,3,5,7
/proc/11511/task/11516/stat : 11516 (java) S 11509 11511 9472 0 -1 4202560 34076 0 0 0 111 4 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11517] ppid=11509 vsize=13691820 CPUtime=1.33 cores=1,3,5,7
/proc/11511/task/11517/stat : 11517 (java) S 11509 11511 9472 0 -1 4202560 17235 0 0 0 131 2 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11518] ppid=11509 vsize=13691820 CPUtime=1.37 cores=1,3,5,7
/proc/11511/task/11518/stat : 11518 (java) S 11509 11511 9472 0 -1 4202560 20779 0 0 0 135 2 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11519] ppid=11509 vsize=13691820 CPUtime=1.35 cores=1,3,5,7
/proc/11511/task/11519/stat : 11519 (java) S 11509 11511 9472 0 -1 4202560 27633 0 0 0 131 4 0 0 16 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11520] ppid=11509 vsize=13691820 CPUtime=0.99 cores=1,3,5,7
/proc/11511/task/11520/stat : 11520 (java) S 11509 11511 9472 0 -1 4202560 17955 0 0 0 97 2 0 0 16 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11521] ppid=11509 vsize=13691820 CPUtime=1.07 cores=1,3,5,7
/proc/11511/task/11521/stat : 11521 (java) S 11509 11511 9472 0 -1 4202560 16276 0 0 0 105 2 0 0 15 0 19 0 826483389 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11522] ppid=11509 vsize=13691820 CPUtime=8.13 cores=1,3,5,7
/proc/11511/task/11522/stat : 11522 (java) S 11509 11511 9472 0 -1 4202560 124566 0 0 0 800 13 0 0 15 0 19 0 826483390 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 0 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11523] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11523/stat : 11523 (java) S 11509 11511 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826483391 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11524] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11524/stat : 11524 (java) S 11509 11511 9472 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826483391 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11525] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11525/stat : 11525 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092055985 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11526] ppid=11509 vsize=13691820 CPUtime=0.48 cores=1,3,5,7
/proc/11511/task/11526/stat : 11526 (java) S 11509 11511 9472 0 -1 4202560 1941 0 0 0 48 0 0 0 15 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 1 0 0 0
[pid=11511/tid=11527] ppid=11509 vsize=13691820 CPUtime=0.44 cores=1,3,5,7
/proc/11511/task/11527/stat : 11527 (java) S 11509 11511 9472 0 -1 4202560 3083 0 0 0 44 0 0 0 15 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
[pid=11511/tid=11528] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11528/stat : 11528 (java) S 11509 11511 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048281 0 4 0 16800975 18446604457050417216 0 0 -1 5 0 0 0
[pid=11511/tid=11529] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11529/stat : 11529 (java) S 11509 11511 9472 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826483393 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 3 0 0 0
[pid=11511/tid=11530] ppid=11509 vsize=13691820 CPUtime=0 cores=1,3,5,7
/proc/11511/task/11530/stat : 11530 (java) S 11509 11511 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826483453 14020423680 395609 33554432000 1073741824 1073778376 140735770539648 18446744073709551615 208092048896 0 4 0 16800975 18446604457050417216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13691820

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

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

[startup+1792.82 s]
/proc/loadavg: 2.00 2.03 2.00 2/498 11638
/proc/meminfo: memFree=25834020/32950928 swapFree=39617324/67111528
[pid=11511] ppid=11509 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/11511/stat : 11511 (java) Z 11509 11511 9472 0 -1 4203548 398159 0 1 0 179968 58 0 0 17 0 2 0 826483386 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11511/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1792.83
CPU time (s): 1800.27
CPU user time (s): 1799.68
CPU system time (s): 0.58791
CPU usage (%): 100.415
Max. virtual memory (cumulated for all children) (KiB): 13692932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.58791
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398159
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= 39486
involuntary context switches= 15531

runsolver used 8.64269 second user time and 20.7568 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-04 02:53:57
IDJOB=3458766
IDBENCH=2263
IDSOLVER=1952
FILE ID=node127/3458766-1307148837
RUNJOBID= node127-1307147038-11375
PBS_JOBID= 13508789
Free space on /tmp= 73940 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-4.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458766-1307148837/watcher-3458766-1307148837 -o /tmp/evaluation-result-3458766-1307148837/solver-3458766-1307148837 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458766-1307148837.opb

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

MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78
RANDOM SEED=602260580

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27417612 kB
Buffers:        322792 kB
Cached:         910896 kB
SwapCached:      59160 kB
Active:        3247084 kB
Inactive:      1997952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27417612 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:            2392 kB
Writeback:           0 kB
AnonPages:     3958732 kB
Mapped:          22136 kB
Slab:           122996 kB
PageTables:      95096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 119758572 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= 73932 MiB
End job on node127 at 2011-06-04 03:23:52