Trace number 3733074

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-34 1800.15 933.463

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM9984e76947bf9addca42277d72ff7107
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark61.0357
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved YES
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
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 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.1.v20110525
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		9996466904
0.06/0.11	c Max memory 		10048897024
0.06/0.11	c Total memory 		10048897024
0.06/0.11	c Number of processors 	8
0.06/0.14	c Pseudo Boolean Optimization
0.06/0.14	c ManyCore solver with 2 solvers running in parallel
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.14	c No reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3733074-1338687594.opb
0.06/0.14	c reading problem ... 
0.94/0.58	c ... done. Wall clock time 0.44s.
0.94/0.58	c #vars     760
0.94/0.58	c #constraints  41314
0.94/0.58	c constraints type 
0.94/0.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41314
0.94/0.58	c constraints type 
0.94/0.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41314
1.05/0.60	c  And the winner is CuttingPlanes
1.08/1.08	c SATISFIABLE
1.08/1.08	c OPTIMIZING...
1.08/1.08	c Got one! Elapsed wall clock time (in seconds):0.945
1.08/1.08	o -31
1.08/1.10	c  And the winner is Resolution
1.19/1.59	c Got one! Elapsed wall clock time (in seconds):1.451
1.19/1.59	o -32
4.22/2.62	c cleaning 2499 clauses out of 5001 with flag 5000/5001
6.59/3.73	c cleaning 4252 clauses out of 8503 with flag 11001/11002
9.18/5.08	c cleaning 5626 clauses out of 11251 with flag 18001/18002
12.39/6.65	c cleaning 6799 clauses out of 13625 with flag 26001/26002
16.31/8.63	c cleaning 7913 clauses out of 15826 with flag 35001/35002
20.22/10.66	c cleaning 8954 clauses out of 17912 with flag 45000/45001
24.78/12.97	c cleaning 9971 clauses out of 19958 with flag 56000/56001
29.92/15.58	c cleaning 10993 clauses out of 21987 with flag 68000/68001
35.76/18.57	c cleaning 11992 clauses out of 23994 with flag 81000/81001
41.84/21.61	c cleaning 12996 clauses out of 26004 with flag 95002/95003
48.52/25.05	c cleaning 14003 clauses out of 28006 with flag 110000/110001
55.16/28.44	c cleaning 14995 clauses out of 30003 with flag 126000/126001
63.07/32.54	c cleaning 16005 clauses out of 32009 with flag 143001/143002
72.12/37.19	c cleaning 17001 clauses out of 34003 with flag 161000/161001
81.51/41.98	c cleaning 17994 clauses out of 36003 with flag 180001/180002
90.93/46.70	c cleaning 19000 clauses out of 38008 with flag 200000/200001
99.60/51.24	c  And the winner is Resolution
100.76/52.45	c Got one! Elapsed wall clock time (in seconds):52.307
100.76/52.45	o -33
103.05/53.68	c cleaning 21038 clauses out of 42086 with flag 5000/223079
106.24/55.35	c cleaning 13510 clauses out of 27048 with flag 11000/229079
109.81/57.20	c cleaning 10259 clauses out of 20538 with flag 18000/236079
113.37/59.13	c cleaning 9139 clauses out of 18279 with flag 26000/244079
118.01/61.65	c cleaning 9056 clauses out of 18140 with flag 35000/253079
123.17/64.39	c cleaning 9534 clauses out of 19085 with flag 45001/263080
127.75/66.77	c cleaning 10268 clauses out of 20550 with flag 56000/274079
132.89/69.43	c cleaning 11129 clauses out of 22283 with flag 68001/286080
138.90/72.69	c cleaning 12072 clauses out of 24154 with flag 81001/299080
145.65/76.14	c cleaning 13036 clauses out of 26082 with flag 95001/313080
153.03/79.95	c cleaning 14018 clauses out of 28046 with flag 110001/328080
161.40/84.27	c cleaning 15006 clauses out of 30029 with flag 126002/344081
170.16/88.81	c cleaning 16005 clauses out of 32021 with flag 143000/361079
181.09/94.40	c cleaning 17001 clauses out of 34016 with flag 161000/379079
192.42/100.20	c cleaning 18003 clauses out of 36015 with flag 180000/398079
200.98/104.68	c cleaning 18999 clauses out of 38012 with flag 200000/418079
211.74/110.24	c cleaning 20007 clauses out of 40013 with flag 221000/439079
223.47/116.23	c cleaning 20999 clauses out of 42007 with flag 243001/461080
236.98/123.12	c cleaning 21998 clauses out of 44008 with flag 266001/484080
250.30/129.91	c cleaning 22994 clauses out of 46009 with flag 290000/508079
264.59/137.30	c cleaning 24006 clauses out of 48016 with flag 315001/533080
280.09/145.21	c cleaning 24999 clauses out of 50010 with flag 341001/559080
297.42/154.01	c cleaning 26003 clauses out of 52010 with flag 368000/586079
310.50/160.79	c cleaning 27004 clauses out of 54007 with flag 396000/614079
324.94/168.25	c cleaning 27997 clauses out of 56003 with flag 425000/643079
341.20/176.57	c cleaning 28997 clauses out of 58006 with flag 455000/673079
358.48/185.32	c cleaning 29998 clauses out of 60010 with flag 486001/704080
377.69/195.14	c cleaning 30997 clauses out of 62012 with flag 518001/736080
400.07/206.60	c cleaning 32005 clauses out of 64014 with flag 551000/769079
419.75/216.65	c cleaning 32998 clauses out of 66009 with flag 585000/803079
442.75/228.40	c cleaning 34002 clauses out of 68012 with flag 620001/838080
468.75/241.55	c cleaning 34993 clauses out of 70009 with flag 656000/874079
490.02/252.50	c cleaning 36007 clauses out of 72016 with flag 693000/911079
511.62/263.54	c cleaning 37001 clauses out of 74009 with flag 731000/949079
525.62/270.79	c cleaning 0 clauses out of 5931 with flag 0/5932
536.92/276.49	c cleaning 37988 clauses out of 76008 with flag 770000/988079
563.57/290.12	c cleaning 39011 clauses out of 78022 with flag 810002/1028081
595.33/306.21	c cleaning 39995 clauses out of 80009 with flag 851000/1069079
621.88/319.75	c cleaning 41005 clauses out of 82014 with flag 893000/1111079
660.63/339.30	c cleaning 41490 clauses out of 83009 with flag 935000/1153079
695.14/357.01	c cleaning 41755 clauses out of 83519 with flag 977000/1195079
724.90/372.11	c cleaning 41865 clauses out of 83764 with flag 1019000/1237079
756.37/388.12	c cleaning 41947 clauses out of 83900 with flag 1061001/1279080
787.63/404.00	c cleaning 41969 clauses out of 83952 with flag 1103000/1321079
811.26/416.37	c cleaning 41990 clauses out of 83983 with flag 1145000/1363079
835.28/428.61	c cleaning 41994 clauses out of 83993 with flag 1187000/1405079
863.27/442.95	c cleaning 41986 clauses out of 83999 with flag 1229000/1447079
888.64/455.90	c cleaning 41995 clauses out of 84014 with flag 1271001/1489080
920.15/472.22	c cleaning 42004 clauses out of 84018 with flag 1313000/1531079
952.74/488.88	c cleaning 41990 clauses out of 84014 with flag 1355000/1573079
983.71/504.63	c cleaning 41990 clauses out of 84024 with flag 1397000/1615079
1010.67/518.42	c cleaning 42017 clauses out of 84034 with flag 1439000/1657079
1053.39/540.35	c cleaning 42009 clauses out of 84018 with flag 1481001/1699080
1096.58/562.29	c cleaning 42002 clauses out of 84008 with flag 1523000/1741079
1139.91/584.28	c cleaning 41989 clauses out of 84006 with flag 1565000/1783079
1169.46/599.32	c cleaning 42007 clauses out of 84017 with flag 1607000/1825079
1202.58/616.57	c cleaning 42006 clauses out of 84012 with flag 1649002/1867081
1233.54/632.33	c cleaning 41987 clauses out of 84004 with flag 1691000/1909079
1260.80/646.37	c cleaning 42000 clauses out of 84018 with flag 1733001/1951080
1291.10/661.89	c cleaning 42003 clauses out of 84017 with flag 1775000/1993079
1301.71/667.76	c  And the winner is Resolution
1303.91/672.73	c Got one! Elapsed wall clock time (in seconds):672.589
1303.91/672.73	o -34
1306.45/674.06	c cleaning 33279 clauses out of 66586 with flag 5001/2017651
1310.59/676.48	c cleaning 19639 clauses out of 39307 with flag 11001/2023651
1314.51/678.78	c cleaning 13315 clauses out of 26667 with flag 18000/2030650
1319.19/681.49	c cleaning 10660 clauses out of 21352 with flag 26000/2038650
1324.78/684.84	c cleaning 9839 clauses out of 19692 with flag 35000/2047650
1330.69/688.16	c cleaning 9919 clauses out of 19853 with flag 45000/2057650
1336.39/691.34	c cleaning 10457 clauses out of 20935 with flag 56001/2068651
1343.09/695.03	c cleaning 11232 clauses out of 22478 with flag 68001/2080651
1350.90/699.51	c cleaning 12114 clauses out of 24245 with flag 81000/2093650
1358.61/703.76	c cleaning 13066 clauses out of 26131 with flag 95000/2107650
1366.74/708.18	c cleaning 14031 clauses out of 28065 with flag 110000/2122650
1375.06/712.66	c cleaning 15013 clauses out of 30034 with flag 126000/2138650
1385.65/718.55	c cleaning 16008 clauses out of 32021 with flag 143000/2155650
1396.94/724.56	c cleaning 17004 clauses out of 34013 with flag 161000/2173650
1410.50/731.65	c cleaning 18005 clauses out of 36010 with flag 180001/2192651
1421.43/737.45	c cleaning 18994 clauses out of 38004 with flag 200000/2212650
1435.75/745.25	c cleaning 20005 clauses out of 40010 with flag 221000/2233650
1451.60/753.58	c cleaning 20993 clauses out of 42005 with flag 243000/2255650
1468.06/762.14	c cleaning 22002 clauses out of 44012 with flag 266000/2278650
1481.82/769.32	c cleaning 22997 clauses out of 46011 with flag 290001/2302651
1497.43/777.76	c cleaning 24004 clauses out of 48013 with flag 315000/2327650
1514.86/786.82	c cleaning 24999 clauses out of 50010 with flag 341001/2353651
1532.40/795.95	c cleaning 26001 clauses out of 52011 with flag 368001/2380651
1553.90/807.01	c cleaning 27005 clauses out of 54009 with flag 396000/2408650
1577.23/819.37	c cleaning 28000 clauses out of 56005 with flag 425001/2437651
1596.53/829.30	c cleaning 28994 clauses out of 58006 with flag 455002/2467652
1617.55/840.21	c cleaning 30001 clauses out of 60010 with flag 486000/2498650
1640.44/852.02	c cleaning 31000 clauses out of 62009 with flag 518000/2530650
1665.78/865.32	c cleaning 32005 clauses out of 64010 with flag 551001/2563651
1694.96/880.33	c cleaning 32998 clauses out of 66005 with flag 585001/2597651
1722.79/894.63	c cleaning 34001 clauses out of 68008 with flag 620002/2632652
1754.20/910.75	c cleaning 34995 clauses out of 70005 with flag 656000/2668650
1783.31/925.96	c cleaning 35998 clauses out of 72010 with flag 693000/2705650
1797.55/933.41	c starts		: 235
1797.55/933.41	c conflicts		: 2728612
1797.55/933.41	c decisions		: 2948805
1797.55/933.41	c propagations		: 16275846
1797.55/933.41	c inspects		: 2999249816
1797.55/933.41	c shortcuts		: 0
1797.55/933.41	c learnt literals	: 0
1797.55/933.41	c learnt binary clauses	: 0
1797.55/933.41	c learnt ternary clauses	: 0
1797.55/933.41	c learnt constraints	: 2728612
1797.55/933.41	c ignored constraints	: 0
1797.55/933.41	c root simplifications	: 0
1797.55/933.41	c removed literals (reason simplification)	: 37604729
1797.55/933.41	c reason swapping (by a shorter reason)	: 0
1797.55/933.41	c Calls to reduceDB	: 108
1797.55/933.41	c number of reductions to clauses (during analyze)	: 0
1797.55/933.41	c number of learned constraints concerned by reduction	: 0
1797.55/933.41	c number of learning phase by resolution	: 0
1797.55/933.41	c number of learning phase by cutting planes	: 0
1797.55/933.41	c speed (assignments/second)	: 62435.88907515316
1797.55/933.41	c non guided choices	0
1797.55/933.44	c learnt constraints type 
1797.55/933.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 59026
1797.55/933.44	c constraints type 
1797.55/933.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1797.55/933.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41314
1797.55/933.44	c constraints type 
1797.55/933.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41314
1797.55/933.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1797.55/933.44	s SATISFIABLE
1797.55/933.44	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 
1797.55/933.44	c objective function=-34
1797.55/933.44	c Total wall clock time (in seconds): 933.305

Verifier Data 

OK	-34

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733074-1338687594/watcher-3733074-1338687594 -o /tmp/evaluation-result-3733074-1338687594/solver-3733074-1338687594 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733074-1338687594.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: 3.79 3.89 3.76 2/197 8195
/proc/meminfo: memFree=27805748/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/8195/stat : 8195 (java) D 8193 8195 2935 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 334883760 2560000 46 33554432000 1073741824 1073778376 140735950437312 140735950434440 239228513575 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/8195/statm: 625 46 37 9 0 29 0

[startup+0.0726851 s]
/proc/loadavg: 3.79 3.89 3.76 2/197 8195
/proc/meminfo: memFree=27805748/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/8195/stat : 8195 (java) S 8193 8195 2935 0 -1 4202496 4350 0 1 0 3 1 0 0 20 0 13 0 334883760 11523600384 11691 33554432000 1073741824 1073778376 140733679477312 140733679468448 239241035837 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 2813379 11691 1706 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.100318 s]
/proc/loadavg: 3.79 3.89 3.76 2/197 8195
/proc/meminfo: memFree=27805748/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/8195/stat : 8195 (java) S 8193 8195 2935 0 -1 4202496 4522 0 1 0 5 1 0 0 20 0 18 0 334883760 11864465408 12374 33554432000 1073741824 1073778376 140733679477312 140733679468448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 2896598 12374 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.30016 s]
/proc/loadavg: 3.79 3.89 3.76 2/197 8195
/proc/meminfo: memFree=27805748/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=11586392 CPUtime=0.42 cores=0,2,4,6
/proc/8195/stat : 8195 (java) S 8193 8195 2935 0 -1 4202496 6359 0 1 0 40 2 0 0 20 0 18 0 334883760 11864465408 15436 33554432000 1073741824 1073778376 140733679477312 140733679468448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 2896598 15436 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 11586392

[startup+0.70025 s]
/proc/loadavg: 3.79 3.89 3.76 2/197 8195
/proc/meminfo: memFree=27805748/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/8195/stat : 8195 (java) S 8193 8195 2935 0 -1 4202496 10272 0 1 0 102 6 0 0 20 0 19 0 334883760 12137111552 39216 33554432000 1073741824 1073778376 140733679477312 140733679468448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 2963162 39216 2253 9 0 2953849 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 11852648

[startup+1.50066 s]
/proc/loadavg: 3.79 3.89 3.76 3/216 8217
/proc/meminfo: memFree=27657332/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/8195/stat : 8195 (java) S 8193 8195 2935 0 -1 4202496 10356 0 1 0 111 8 0 0 20 0 19 0 334883760 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 140733679468448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 2963162 40295 2255 9 0 2953849 0
[pid=8195/tid=8197] ppid=8193 vsize=11852648 CPUtime=0.55 cores=0,2,4,6
/proc/8195/task/8197/stat : 8197 (java) S 8193 8195 2935 0 -1 4202560 3473 0 1 0 51 4 0 0 20 0 19 0 334883761 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679651251352 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8198] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8198/stat : 8198 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883764 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679589980840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8199] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8199/stat : 8199 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883764 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679588928296 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8200] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8200/stat : 8200 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883764 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679587875752 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8201] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8201/stat : 8201 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883764 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679586823208 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8202] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8202/stat : 8202 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883764 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679585769640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8203] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8203/stat : 8203 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883764 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679482800424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8204] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8204/stat : 8204 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883764 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679481747880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8205] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8205/stat : 8205 (java) S 8193 8195 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334883764 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679480695336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8206] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8206/stat : 8206 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334883765 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679468497512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8207] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8207/stat : 8207 (java) S 8193 8195 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334883766 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679467443832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8208] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8208/stat : 8208 (java) S 8193 8195 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334883766 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679466391176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8209] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8209/stat : 8209 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883768 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679465339920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8210] ppid=8193 vsize=11852648 CPUtime=0.26 cores=0,2,4,6
/proc/8195/task/8210/stat : 8210 (java) S 8193 8195 2935 0 -1 4202560 2751 0 0 0 26 0 0 0 20 0 19 0 334883768 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679464286264 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8211] ppid=8193 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/8195/task/8211/stat : 8211 (java) S 8193 8195 2935 0 -1 4202560 2822 0 0 0 28 0 0 0 20 0 19 0 334883768 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679463233720 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8212] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8212/stat : 8212 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883768 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679462181368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8213] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8213/stat : 8213 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334883768 12137111552 40295 33554432000 1073741824 1073778376 140733679477312 139679461129032 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 11852648

[startup+3.1101 s]
/proc/loadavg: 3.97 3.92 3.78 7/219 8223
/proc/meminfo: memFree=27595632/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=11852648 CPUtime=5.35 cores=0,2,4,6
/proc/8195/stat : 8195 (java) S 8193 8195 2935 0 -1 4202496 22073 0 1 0 517 18 0 0 20 0 22 0 334883760 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 140733679468448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 2963162 106877 2291 9 0 2953849 0
[pid=8195/tid=8197] ppid=8193 vsize=11852648 CPUtime=0.55 cores=0,2,4,6
/proc/8195/task/8197/stat : 8197 (java) S 8193 8195 2935 0 -1 4202560 3473 0 1 0 51 4 0 0 20 0 22 0 334883761 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679651251352 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8198] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8198/stat : 8198 (java) S 8193 8195 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334883764 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679589980840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8199] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8199/stat : 8199 (java) S 8193 8195 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334883764 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679588928296 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8200] ppid=8193 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/8195/task/8200/stat : 8200 (java) S 8193 8195 2935 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 334883764 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679587875752 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8201] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8201/stat : 8201 (java) S 8193 8195 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334883764 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679586823208 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8202] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8202/stat : 8202 (java) S 8193 8195 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334883764 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679585769640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8203] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8203/stat : 8203 (java) S 8193 8195 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334883764 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679482800424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8204] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8204/stat : 8204 (java) S 8193 8195 2935 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334883764 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679481747880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8205] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8205/stat : 8205 (java) S 8193 8195 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334883764 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679480695336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8206] ppid=8193 vsize=11852648 CPUtime=0.05 cores=0,2,4,6
/proc/8195/task/8206/stat : 8206 (java) S 8193 8195 2935 0 -1 4202560 39 0 0 0 4 1 0 0 20 0 22 0 334883765 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679468497512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8207] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8207/stat : 8207 (java) S 8193 8195 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679467443832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8208] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8208/stat : 8208 (java) S 8193 8195 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679466391176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8209] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8209/stat : 8209 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679465339920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8210] ppid=8193 vsize=11852648 CPUtime=0.91 cores=0,2,4,6
/proc/8195/task/8210/stat : 8210 (java) S 8193 8195 2935 0 -1 4202560 8446 0 0 0 89 2 0 0 20 0 22 0 334883768 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679464286264 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8211] ppid=8193 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/8195/task/8211/stat : 8211 (java) S 8193 8195 2935 0 -1 4202560 8612 0 0 0 75 2 0 0 20 0 22 0 334883768 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679463233720 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8212] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8212/stat : 8212 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679462181368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8213] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8213/stat : 8213 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679461129032 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8220] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8220/stat : 8220 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334883869 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679456916520 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8221] ppid=8193 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/8195/task/8221/stat : 8221 (java) R 8193 8195 2935 0 -1 4202560 16 0 0 0 140 0 0 0 20 0 22 0 334883919 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679459021384 139679591689741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8222] ppid=8193 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/8195/task/8222/stat : 8222 (java) R 8193 8195 2935 0 -1 4202560 110 0 0 0 137 2 0 0 20 0 22 0 334883919 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679460073672 139679591680379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8223] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8223/stat : 8223 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334883920 12137111552 106877 33554432000 1073741824 1073778376 140733679477312 139679457969576 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 11852648

[startup+6.30079 s]
/proc/loadavg: 3.97 3.92 3.78 5/219 8223
/proc/meminfo: memFree=27137564/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=11852648 CPUtime=11.78 cores=0,2,4,6
/proc/8195/stat : 8195 (java) S 8193 8195 2935 0 -1 4202496 22290 0 1 0 1152 26 0 0 20 0 22 0 334883760 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 140733679468448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 2963162 168567 2291 9 0 2953849 0
[pid=8195/tid=8197] ppid=8193 vsize=11852648 CPUtime=0.55 cores=0,2,4,6
/proc/8195/task/8197/stat : 8197 (java) S 8193 8195 2935 0 -1 4202560 3473 0 1 0 51 4 0 0 20 0 22 0 334883761 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679651251352 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8198] ppid=8193 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/8195/task/8198/stat : 8198 (java) S 8193 8195 2935 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 22 0 334883764 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679589980840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8199] ppid=8193 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/8195/task/8199/stat : 8199 (java) S 8193 8195 2935 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 334883764 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679588928296 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8200] ppid=8193 vsize=11852648 CPUtime=0.05 cores=0,2,4,6
/proc/8195/task/8200/stat : 8200 (java) S 8193 8195 2935 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 22 0 334883764 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679587875752 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8201] ppid=8193 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/8195/task/8201/stat : 8201 (java) S 8193 8195 2935 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 334883764 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679586823208 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8202] ppid=8193 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/8195/task/8202/stat : 8202 (java) S 8193 8195 2935 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 334883764 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679585769640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8203] ppid=8193 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/8195/task/8203/stat : 8203 (java) S 8193 8195 2935 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 334883764 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679482800424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8204] ppid=8193 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/8195/task/8204/stat : 8204 (java) S 8193 8195 2935 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 22 0 334883764 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679481747880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8205] ppid=8193 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/8195/task/8205/stat : 8205 (java) S 8193 8195 2935 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 334883764 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679480695336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8206] ppid=8193 vsize=11852648 CPUtime=0.22 cores=0,2,4,6
/proc/8195/task/8206/stat : 8206 (java) S 8193 8195 2935 0 -1 4202560 61 0 0 0 20 2 0 0 20 0 22 0 334883765 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679468497512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8207] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8207/stat : 8207 (java) S 8193 8195 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679467443832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8208] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8208/stat : 8208 (java) S 8193 8195 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679466391176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8209] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8209/stat : 8209 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679465339920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8210] ppid=8193 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/8195/task/8210/stat : 8210 (java) S 8193 8195 2935 0 -1 4202560 8449 0 0 0 91 3 0 0 20 0 22 0 334883768 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679464286264 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8211] ppid=8193 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/8195/task/8211/stat : 8211 (java) S 8193 8195 2935 0 -1 4202560 8634 0 0 0 86 2 0 0 20 0 22 0 334883768 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679463233720 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8212] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8212/stat : 8212 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679462181368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8213] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8213/stat : 8213 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679461129032 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8220] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8220/stat : 8220 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334883869 12137111552 168567 33554432000 1073741824 1073778376 140733679477312 139679456916520 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=8195/tid=8201] ppid=8193 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/8195/task/8201/stat : 8201 (java) S 8193 8195 2935 0 -1 4202560 241 0 0 0 181 5 0 0 20 0 22 0 334883764 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679586823208 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8202] ppid=8193 vsize=11852648 CPUtime=2.02 cores=0,2,4,6
/proc/8195/task/8202/stat : 8202 (java) S 8193 8195 2935 0 -1 4202560 165 0 0 0 199 3 0 0 20 0 22 0 334883764 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679585769640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8203] ppid=8193 vsize=11852648 CPUtime=1.84 cores=0,2,4,6
/proc/8195/task/8203/stat : 8203 (java) S 8193 8195 2935 0 -1 4202560 165 0 0 0 179 5 0 0 20 0 22 0 334883764 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679482800424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8204] ppid=8193 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/8195/task/8204/stat : 8204 (java) S 8193 8195 2935 0 -1 4202560 173 0 0 0 174 5 0 0 20 0 22 0 334883764 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679481747880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8205] ppid=8193 vsize=11852648 CPUtime=1.8 cores=0,2,4,6
/proc/8195/task/8205/stat : 8205 (java) S 8193 8195 2935 0 -1 4202560 232 0 0 0 176 4 0 0 20 0 22 0 334883764 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679480695336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8206] ppid=8193 vsize=11852648 CPUtime=59.67 cores=0,2,4,6
/proc/8195/task/8206/stat : 8206 (java) S 8193 8195 2935 0 -1 4202560 435 0 0 0 5952 15 0 0 20 0 22 0 334883765 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679468497512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8207] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8207/stat : 8207 (java) S 8193 8195 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679467443832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8208] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8208/stat : 8208 (java) S 8193 8195 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679466391176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8209] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8209/stat : 8209 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679465339920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8210] ppid=8193 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/8195/task/8210/stat : 8210 (java) S 8193 8195 2935 0 -1 4202560 8473 0 0 0 115 3 0 0 20 0 22 0 334883768 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679464286264 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8211] ppid=8193 vsize=11852648 CPUtime=1.36 cores=0,2,4,6
/proc/8195/task/8211/stat : 8211 (java) S 8193 8195 2935 0 -1 4202560 8794 0 0 0 134 2 0 0 20 0 22 0 334883768 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679463233720 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8212] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8212/stat : 8212 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679462181368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8213] ppid=8193 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/8195/task/8213/stat : 8213 (java) S 8193 8195 2935 0 -1 4202560 47 0 0 0 18 17 0 0 20 0 22 0 334883768 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679461129032 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8220] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8220/stat : 8220 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334883869 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679456916520 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8235] ppid=8193 vsize=11852648 CPUtime=126.06 cores=0,2,4,6
/proc/8195/task/8235/stat : 8235 (java) R 8193 8195 2935 0 -1 4202560 10 0 0 0 12605 1 0 0 20 0 22 0 334951033 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679459021008 139679591628133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8236] ppid=8193 vsize=11852648 CPUtime=126.04 cores=0,2,4,6
/proc/8195/task/8236/stat : 8236 (java) R 8193 8195 2935 0 -1 4202560 3 0 0 0 12603 1 0 0 20 0 22 0 334951033 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679460071920 139679591862458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8237] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8237/stat : 8237 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334951033 12137111552 879473 33554432000 1073741824 1073778376 140733679477312 139679457969320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1582.52
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.81 3.84 3.81 5/219 8321
/proc/meminfo: memFree=24166412/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=11852648 CPUtime=1698.2 cores=0,2,4,6
/proc/8195/stat : 8195 (java) S 8193 8195 2935 0 -1 4202496 25581 0 1 0 169668 152 0 0 20 0 22 0 334883760 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 140733679468448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 2963162 879573 2292 9 0 2953849 0
[pid=8195/tid=8197] ppid=8193 vsize=11852648 CPUtime=0.59 cores=0,2,4,6
/proc/8195/task/8197/stat : 8197 (java) S 8193 8195 2935 0 -1 4202560 3543 0 1 0 54 5 0 0 20 0 22 0 334883761 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679651251352 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8198] ppid=8193 vsize=11852648 CPUtime=1.87 cores=0,2,4,6
/proc/8195/task/8198/stat : 8198 (java) S 8193 8195 2935 0 -1 4202560 218 0 0 0 180 7 0 0 20 0 22 0 334883764 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679589980840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8199] ppid=8193 vsize=11852648 CPUtime=2.04 cores=0,2,4,6
/proc/8195/task/8199/stat : 8199 (java) S 8193 8195 2935 0 -1 4202560 233 0 0 0 198 6 0 0 20 0 22 0 334883764 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679588928296 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8200] ppid=8193 vsize=11852648 CPUtime=1.8 cores=0,2,4,6
/proc/8195/task/8200/stat : 8200 (java) S 8193 8195 2935 0 -1 4202560 254 0 0 0 174 6 0 0 20 0 22 0 334883764 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679587875752 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8201] ppid=8193 vsize=11852648 CPUtime=1.95 cores=0,2,4,6
/proc/8195/task/8201/stat : 8201 (java) S 8193 8195 2935 0 -1 4202560 252 0 0 0 190 5 0 0 20 0 22 0 334883764 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679586823208 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8202] ppid=8193 vsize=11852648 CPUtime=2.1 cores=0,2,4,6
/proc/8195/task/8202/stat : 8202 (java) S 8193 8195 2935 0 -1 4202560 194 0 0 0 207 3 0 0 20 0 22 0 334883764 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679585769640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8203] ppid=8193 vsize=11852648 CPUtime=1.94 cores=0,2,4,6
/proc/8195/task/8203/stat : 8203 (java) S 8193 8195 2935 0 -1 4202560 174 0 0 0 189 5 0 0 20 0 22 0 334883764 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679482800424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8204] ppid=8193 vsize=11852648 CPUtime=1.87 cores=0,2,4,6
/proc/8195/task/8204/stat : 8204 (java) S 8193 8195 2935 0 -1 4202560 178 0 0 0 182 5 0 0 20 0 22 0 334883764 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679481747880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8205] ppid=8193 vsize=11852648 CPUtime=1.93 cores=0,2,4,6
/proc/8195/task/8205/stat : 8205 (java) S 8193 8195 2935 0 -1 4202560 242 0 0 0 189 4 0 0 20 0 22 0 334883764 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679480695336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8206] ppid=8193 vsize=11852648 CPUtime=64.35 cores=0,2,4,6
/proc/8195/task/8206/stat : 8206 (java) S 8193 8195 2935 0 -1 4202560 439 0 0 0 6420 15 0 0 20 0 22 0 334883765 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679468497512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8207] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8207/stat : 8207 (java) S 8193 8195 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679467443832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8208] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8208/stat : 8208 (java) S 8193 8195 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679466391176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8209] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8209/stat : 8209 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679465339920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8210] ppid=8193 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/8195/task/8210/stat : 8210 (java) S 8193 8195 2935 0 -1 4202560 8473 0 0 0 115 3 0 0 20 0 22 0 334883768 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679464286264 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8211] ppid=8193 vsize=11852648 CPUtime=1.36 cores=0,2,4,6
/proc/8195/task/8211/stat : 8211 (java) S 8193 8195 2935 0 -1 4202560 8794 0 0 0 134 2 0 0 20 0 22 0 334883768 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679463233720 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8212] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8212/stat : 8212 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679462181368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8213] ppid=8193 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/8195/task/8213/stat : 8213 (java) S 8193 8195 2935 0 -1 4202560 51 0 0 0 20 17 0 0 20 0 22 0 334883768 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679461129032 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8220] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8220/stat : 8220 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334883869 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679456916520 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8235] ppid=8193 vsize=11852648 CPUtime=181.01 cores=0,2,4,6
/proc/8195/task/8235/stat : 8235 (java) R 8193 8195 2935 0 -1 4202560 12 0 0 0 18099 2 0 0 20 0 22 0 334951033 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679459021008 139679591728858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8236] ppid=8193 vsize=11852648 CPUtime=181 cores=0,2,4,6
/proc/8195/task/8236/stat : 8236 (java) R 8193 8195 2935 0 -1 4202560 3 0 0 0 18098 2 0 0 20 0 22 0 334951033 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679460071984 139679591862458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8237] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8237/stat : 8237 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334951033 12137111552 879573 33554432000 1073741824 1073778376 140733679477312 139679457969320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1698.2
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+933.401 s]
/proc/loadavg: 3.84 3.85 3.82 5/219 8321
/proc/meminfo: memFree=24028452/32873844 swapFree=7644/7644
[pid=8195] ppid=8193 vsize=11852648 CPUtime=1797.55 cores=0,2,4,6
/proc/8195/stat : 8195 (java) S 8193 8195 2935 0 -1 4202496 25651 0 1 0 179602 153 0 0 20 0 22 0 334883760 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 140733679468448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8195/statm: 2963162 879636 2292 9 0 2953849 0
[pid=8195/tid=8197] ppid=8193 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/8195/task/8197/stat : 8197 (java) S 8193 8195 2935 0 -1 4202560 3545 0 1 0 55 5 0 0 20 0 22 0 334883761 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679651251352 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8198] ppid=8193 vsize=11852648 CPUtime=1.93 cores=0,2,4,6
/proc/8195/task/8198/stat : 8198 (java) S 8193 8195 2935 0 -1 4202560 218 0 0 0 186 7 0 0 20 0 22 0 334883764 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679589980840 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8199] ppid=8193 vsize=11852648 CPUtime=2.08 cores=0,2,4,6
/proc/8195/task/8199/stat : 8199 (java) S 8193 8195 2935 0 -1 4202560 258 0 0 0 202 6 0 0 20 0 22 0 334883764 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679588928296 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8200] ppid=8193 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/8195/task/8200/stat : 8200 (java) S 8193 8195 2935 0 -1 4202560 254 0 0 0 180 6 0 0 20 0 22 0 334883764 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679587875752 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8201] ppid=8193 vsize=11852648 CPUtime=1.99 cores=0,2,4,6
/proc/8195/task/8201/stat : 8201 (java) S 8193 8195 2935 0 -1 4202560 252 0 0 0 194 5 0 0 20 0 22 0 334883764 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679586823208 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8202] ppid=8193 vsize=11852648 CPUtime=2.15 cores=0,2,4,6
/proc/8195/task/8202/stat : 8202 (java) S 8193 8195 2935 0 -1 4202560 194 0 0 0 212 3 0 0 20 0 22 0 334883764 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679585769640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8203] ppid=8193 vsize=11852648 CPUtime=2.02 cores=0,2,4,6
/proc/8195/task/8203/stat : 8203 (java) S 8193 8195 2935 0 -1 4202560 184 0 0 0 197 5 0 0 20 0 22 0 334883764 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679482800424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8204] ppid=8193 vsize=11852648 CPUtime=1.93 cores=0,2,4,6
/proc/8195/task/8204/stat : 8204 (java) S 8193 8195 2935 0 -1 4202560 179 0 0 0 188 5 0 0 20 0 22 0 334883764 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679481747880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8205] ppid=8193 vsize=11852648 CPUtime=2.02 cores=0,2,4,6
/proc/8195/task/8205/stat : 8205 (java) S 8193 8195 2935 0 -1 4202560 269 0 0 0 198 4 0 0 20 0 22 0 334883764 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679480695336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8206] ppid=8193 vsize=11852648 CPUtime=67.42 cores=0,2,4,6
/proc/8195/task/8206/stat : 8206 (java) S 8193 8195 2935 0 -1 4202560 441 0 0 0 6726 16 0 0 20 0 22 0 334883765 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679468497512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8207] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8207/stat : 8207 (java) S 8193 8195 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679467443832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8208] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8208/stat : 8208 (java) S 8193 8195 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334883766 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679466391176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8209] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8209/stat : 8209 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679465339920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8210] ppid=8193 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/8195/task/8210/stat : 8210 (java) S 8193 8195 2935 0 -1 4202560 8473 0 0 0 115 3 0 0 20 0 22 0 334883768 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679464286264 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8195/tid=8211] ppid=8193 vsize=11852648 CPUtime=1.36 cores=0,2,4,6
/proc/8195/task/8211/stat : 8211 (java) S 8193 8195 2935 0 -1 4202560 8794 0 0 0 134 2 0 0 20 0 22 0 334883768 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679463233720 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8212] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8212/stat : 8212 (java) S 8193 8195 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334883768 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679462181368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8213] ppid=8193 vsize=11852648 CPUtime=0.39 cores=0,2,4,6
/proc/8195/task/8213/stat : 8213 (java) S 8193 8195 2935 0 -1 4202560 53 0 0 0 21 18 0 0 20 0 22 0 334883768 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679461129032 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8220] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8220/stat : 8220 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334883869 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679456916520 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8195/tid=8235] ppid=8193 vsize=11852648 CPUtime=228.77 cores=0,2,4,6
/proc/8195/task/8235/stat : 8235 (java) R 8193 8195 2935 0 -1 4202560 13 0 0 0 22874 3 0 0 20 0 22 0 334951033 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679459021008 139679591689839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8195/tid=8236] ppid=8193 vsize=11852648 CPUtime=228.76 cores=0,2,4,6
/proc/8195/task/8236/stat : 8236 (java) R 8193 8195 2935 0 -1 4202560 3 0 0 0 22873 3 0 0 20 0 22 0 334951033 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679460072032 139679591741904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8195/tid=8237] ppid=8193 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/8195/task/8237/stat : 8237 (java) S 8193 8195 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334951033 12137111552 879636 33554432000 1073741824 1073778376 140733679477312 139679457969320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 11852648

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

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

Child status: 143

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


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.60022
#  lost CPU user time (s): 2.77014
#  lost CPU system time (s): -0.17

Real time (s): 933.463
CPU time (s): 1800.15
CPU user time (s): 1798.79
CPU system time (s): 1.36
CPU usage (%): 192.847
Max. virtual memory (cumulated for all children) (KiB): 11854208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 1.71074
maximum resident set size= 3518664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25683
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25189
involuntary context switches= 33375

runsolver used 3.85941 second user time and 7.97479 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-03 03:39:54
IDJOB=3733074
IDBENCH=2243
IDSOLVER=2328
FILE ID=node147/3733074-1338687594
RUNJOBID= node147-1338678629-2954
PBS_JOBID= 14636666
Free space on /tmp= 70784 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733074-1338687594/watcher-3733074-1338687594 -o /tmp/evaluation-result-3733074-1338687594/solver-3733074-1338687594 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733074-1338687594.opb

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

MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107
RANDOM SEED=1010259860

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27806128 kB
Buffers:          436540 kB
Cached:          2528104 kB
SwapCached:         3380 kB
Active:          2673608 kB
Inactive:        1532412 kB
Active(anon):    1237212 kB
Inactive(anon):     5908 kB
Active(file):    1436396 kB
Inactive(file):  1526504 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:              1344 kB
Writeback:             0 kB
AnonPages:       1245900 kB
Mapped:            17636 kB
Shmem:                 0 kB
Slab:             721160 kB
SReclaimable:     162236 kB
SUnreclaim:       558924 kB
KernelStack:        1632 kB
PageTables:         6632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1198080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70784 MiB
End job on node147 at 2012-06-03 03:55:29