Trace number 3458394

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)-70 1800.22 1792.12

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.10	c version 2.3.1.v20110525
0.05/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.10	c java.vm.version	19.1-b02
0.05/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.10	c sun.arch.data.model	64
0.05/0.10	c java.version		1.6.0_24
0.05/0.10	c os.name		Linux
0.05/0.10	c os.version		2.6.18-164.el5
0.05/0.10	c os.arch		amd64
0.05/0.10	c Free memory 		12995394264
0.05/0.10	c Max memory 		13063553024
0.05/0.10	c Total memory 		13063553024
0.05/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3458394-1307160448.opb
0.10/0.12	c reading problem ... 
1.75/0.83	c ... done. Wall clock time 0.717s.
1.75/0.83	c #vars     38742
1.75/0.83	c #constraints  114226
1.75/0.83	c constraints type 
1.75/0.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37742
1.75/0.83	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1.75/0.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37742
1.96/0.98	c SATISFIABLE
1.96/0.98	c OPTIMIZING...
1.96/0.98	c Got one! Elapsed wall clock time (in seconds):0.867
1.96/0.98	o -51
2.19/1.06	c Got one! Elapsed wall clock time (in seconds):0.948
2.19/1.06	o -52
2.42/1.14	c Got one! Elapsed wall clock time (in seconds):1.023
2.42/1.14	o -53
2.42/1.18	c Got one! Elapsed wall clock time (in seconds):1.064
2.42/1.18	o -54
2.54/1.26	c Got one! Elapsed wall clock time (in seconds):1.143
2.54/1.26	o -55
2.68/1.34	c Got one! Elapsed wall clock time (in seconds):1.22
2.68/1.34	o -57
2.79/1.42	c Got one! Elapsed wall clock time (in seconds):1.307
2.79/1.42	o -58
2.90/1.51	c Got one! Elapsed wall clock time (in seconds):1.396
2.90/1.51	o -59
3.00/1.66	c Got one! Elapsed wall clock time (in seconds):1.542
3.00/1.66	o -60
3.11/1.78	c Got one! Elapsed wall clock time (in seconds):1.664
3.11/1.78	o -62
3.31/1.98	c Got one! Elapsed wall clock time (in seconds):1.86
3.31/1.98	o -63
3.53/2.19	c Got one! Elapsed wall clock time (in seconds):2.069
3.53/2.19	o -64
4.45/3.08	c Got one! Elapsed wall clock time (in seconds):2.965
4.45/3.08	o -65
4.66/3.28	c Got one! Elapsed wall clock time (in seconds):3.162
4.66/3.28	o -66
5.16/3.79	c cleaning 4058 clauses out of 8123 with flag 2000/8123
6.78/5.29	c cleaning 5033 clauses out of 10066 with flag 8001/14124
7.10/5.58	c Got one! Elapsed wall clock time (in seconds):5.466
7.10/5.58	o -67
8.20/6.64	c cleaning 5360 clauses out of 10746 with flag 5000/19837
9.33/7.73	c Got one! Elapsed wall clock time (in seconds):7.61
9.33/7.73	o -70
9.51/7.97	c cleaning 5389 clauses out of 10777 with flag 1000/25228
11.03/9.44	c cleaning 5695 clauses out of 11389 with flag 7001/31229
12.66/11.07	c cleaning 6340 clauses out of 12694 with flag 14001/38229
14.55/12.92	c cleaning 7174 clauses out of 14355 with flag 22002/46230
16.66/15.03	c cleaning 8090 clauses out of 16179 with flag 31000/55228
18.97/17.35	c cleaning 9041 clauses out of 18089 with flag 41000/65228
21.79/20.15	c cleaning 10021 clauses out of 20048 with flag 52000/76228
24.50/22.82	c cleaning 11008 clauses out of 22027 with flag 64000/88228
27.71/26.00	c cleaning 12007 clauses out of 24019 with flag 77000/101228
31.35/29.64	c cleaning 13000 clauses out of 26013 with flag 91001/115229
34.77/33.07	c cleaning 13991 clauses out of 28013 with flag 106001/130229
38.78/37.07	c cleaning 15008 clauses out of 30021 with flag 122000/146228
43.19/41.43	c cleaning 15997 clauses out of 32013 with flag 139000/163228
47.61/45.89	c cleaning 17006 clauses out of 34017 with flag 157001/181229
52.24/50.43	c cleaning 17995 clauses out of 36011 with flag 176001/200229
57.17/55.36	c cleaning 19006 clauses out of 38015 with flag 196000/220228
62.49/60.64	c cleaning 20001 clauses out of 40010 with flag 217001/241229
68.42/66.58	c cleaning 21002 clauses out of 42009 with flag 239001/263229
74.04/72.13	c cleaning 21996 clauses out of 44007 with flag 262001/286229
80.57/78.62	c cleaning 22994 clauses out of 46010 with flag 286000/310228
87.09/85.12	c cleaning 24001 clauses out of 48016 with flag 311000/335228
94.01/92.08	c cleaning 25005 clauses out of 50015 with flag 337000/361228
102.07/100.10	c cleaning 26005 clauses out of 52010 with flag 364000/388228
108.89/106.88	c cleaning 26996 clauses out of 54005 with flag 392000/416228
116.53/114.48	c cleaning 27995 clauses out of 56009 with flag 421000/445228
125.25/123.21	c cleaning 29003 clauses out of 58015 with flag 451001/475229
134.48/132.31	c cleaning 30005 clauses out of 60011 with flag 482000/506228
143.34/141.19	c cleaning 31002 clauses out of 62006 with flag 514000/538228
153.79/151.57	c cleaning 32002 clauses out of 64004 with flag 547000/571228
163.22/160.95	c cleaning 32996 clauses out of 66003 with flag 581001/605229
172.30/169.96	c cleaning 33998 clauses out of 68006 with flag 616000/640228
182.66/180.24	c cleaning 34996 clauses out of 70008 with flag 652000/676228
194.03/191.52	c cleaning 36006 clauses out of 72012 with flag 689000/713228
205.29/202.71	c cleaning 36996 clauses out of 74007 with flag 727001/751229
216.96/214.40	c cleaning 37999 clauses out of 76010 with flag 766000/790228
229.81/227.10	c cleaning 39001 clauses out of 78011 with flag 806000/830228
242.85/240.13	c cleaning 39997 clauses out of 80010 with flag 847000/871228
253.89/251.19	c cleaning 40996 clauses out of 82013 with flag 889000/913228
265.70/262.91	c cleaning 42002 clauses out of 84017 with flag 932000/956228
278.76/275.86	c cleaning 43001 clauses out of 86015 with flag 976000/1000228
292.14/289.19	c cleaning 44004 clauses out of 88015 with flag 1021001/1045229
308.21/305.14	c cleaning 45002 clauses out of 90010 with flag 1067000/1091228
325.20/322.01	c cleaning 46001 clauses out of 92009 with flag 1114001/1138229
344.28/341.02	c cleaning 46992 clauses out of 94007 with flag 1162000/1186228
362.14/358.84	c cleaning 48005 clauses out of 96015 with flag 1211000/1235228
381.23/377.82	c cleaning 49002 clauses out of 98011 with flag 1261001/1285229
400.07/396.66	c cleaning 50005 clauses out of 100009 with flag 1312001/1336229
414.37/410.82	c cleaning 51002 clauses out of 102004 with flag 1364001/1388229
432.29/428.60	c cleaning 52001 clauses out of 104002 with flag 1417001/1441229
448.59/444.89	c cleaning 52986 clauses out of 106000 with flag 1471000/1495228
465.68/461.83	c cleaning 53997 clauses out of 108015 with flag 1526001/1550229
486.16/482.26	c cleaning 55001 clauses out of 110017 with flag 1582000/1606228
505.07/501.00	c cleaning 56000 clauses out of 112016 with flag 1639000/1663228
526.59/522.50	c cleaning 57002 clauses out of 114017 with flag 1697001/1721229
546.17/541.99	c cleaning 58003 clauses out of 116015 with flag 1756001/1780229
568.99/564.62	c cleaning 59002 clauses out of 118011 with flag 1816000/1840228
591.97/587.57	c cleaning 59999 clauses out of 120010 with flag 1877001/1901229
617.19/612.66	c cleaning 61003 clauses out of 122010 with flag 1939000/1963228
635.87/631.24	c cleaning 62003 clauses out of 124007 with flag 2002000/2026228
656.19/651.48	c cleaning 62994 clauses out of 126004 with flag 2066000/2090228
676.04/671.15	c cleaning 63999 clauses out of 128010 with flag 2131000/2155228
701.34/696.34	c cleaning 65004 clauses out of 130011 with flag 2197000/2221228
725.96/720.86	c cleaning 66001 clauses out of 132007 with flag 2264000/2288228
750.81/745.56	c cleaning 66994 clauses out of 134006 with flag 2332000/2356228
778.59/773.23	c cleaning 67995 clauses out of 136012 with flag 2401000/2425228
802.99/797.52	c cleaning 69003 clauses out of 138017 with flag 2471000/2495228
828.57/823.04	c cleaning 69996 clauses out of 140015 with flag 2542001/2566229
855.82/850.24	c cleaning 71004 clauses out of 142018 with flag 2614000/2638228
883.28/877.65	c cleaning 71999 clauses out of 144014 with flag 2687000/2711228
912.76/907.04	c cleaning 73003 clauses out of 146015 with flag 2761000/2785228
944.62/938.83	c cleaning 74006 clauses out of 148012 with flag 2836000/2860228
980.49/974.64	c cleaning 75003 clauses out of 150006 with flag 2912000/2936228
1012.63/1006.77	c cleaning 75992 clauses out of 152003 with flag 2989000/3013228
1035.22/1029.21	c cleaning 76498 clauses out of 153011 with flag 3066000/3090228
1062.19/1056.19	c cleaning 76750 clauses out of 153515 with flag 3143002/3167230
1089.61/1083.49	c cleaning 76872 clauses out of 153764 with flag 3220001/3244229
1114.88/1108.64	c cleaning 76930 clauses out of 153891 with flag 3297000/3321228
1145.56/1139.21	c cleaning 76971 clauses out of 153961 with flag 3374000/3398228
1170.70/1164.23	c cleaning 76987 clauses out of 153990 with flag 3451000/3475228
1200.07/1193.57	c cleaning 76993 clauses out of 154004 with flag 3528001/3552229
1230.76/1224.19	c cleaning 77003 clauses out of 154010 with flag 3605000/3629228
1257.94/1251.21	c cleaning 76996 clauses out of 154008 with flag 3682001/3706229
1290.16/1283.34	c cleaning 77003 clauses out of 154011 with flag 3759000/3783228
1321.05/1314.17	c cleaning 76998 clauses out of 154008 with flag 3836000/3860228
1351.38/1344.41	c cleaning 76997 clauses out of 154010 with flag 3913000/3937228
1379.14/1372.19	c cleaning 77003 clauses out of 154013 with flag 3990000/4014228
1409.83/1402.70	c cleaning 77001 clauses out of 154010 with flag 4067000/4091228
1440.54/1433.32	c cleaning 76997 clauses out of 154009 with flag 4144000/4168228
1474.38/1467.19	c cleaning 77004 clauses out of 154013 with flag 4221001/4245229
1509.51/1502.23	c cleaning 76998 clauses out of 154008 with flag 4298000/4322228
1544.68/1537.33	c cleaning 76996 clauses out of 154010 with flag 4375000/4399228
1580.71/1573.36	c cleaning 77005 clauses out of 154014 with flag 4452000/4476228
1601.88/1594.47	c cleaning 76998 clauses out of 154009 with flag 4529000/4553228
1626.26/1618.72	c cleaning 76991 clauses out of 154011 with flag 4606000/4630228
1651.14/1643.56	c cleaning 77007 clauses out of 154021 with flag 4683001/4707229
1682.72/1675.00	c cleaning 77007 clauses out of 154015 with flag 4760002/4784230
1714.12/1706.32	c cleaning 76995 clauses out of 154006 with flag 4837000/4861228
1743.90/1736.00	c cleaning 77005 clauses out of 154012 with flag 4914001/4938229
1774.67/1766.78	c cleaning 76998 clauses out of 154006 with flag 4991000/5015228
1800.07/1792.02	c starts		: 289
1800.07/1792.02	c conflicts		: 5080659
1800.07/1792.02	c decisions		: 5589355
1800.07/1792.02	c propagations		: 29751130
1800.07/1792.02	c inspects		: 8913192681
1800.07/1792.02	c shortcuts		: 0
1800.07/1792.02	c learnt literals	: 0
1800.07/1792.02	c learnt binary clauses	: 0
1800.07/1792.02	c learnt ternary clauses	: 0
1800.07/1792.02	c learnt constraints	: 5080659
1800.07/1792.02	c ignored constraints	: 0
1800.07/1792.02	c root simplifications	: 0
1800.07/1792.02	c removed literals (reason simplification)	: 56527853
1800.07/1792.02	c reason swapping (by a shorter reason)	: 0
1800.07/1792.02	c Calls to reduceDB	: 102
1800.07/1792.02	c number of reductions to clauses (during analyze)	: 0
1800.07/1792.02	c number of learned constraints concerned by reduction	: 0
1800.07/1792.02	c number of learning phase by resolution	: 0
1800.07/1792.02	c number of learning phase by cutting planes	: 0
1800.07/1792.02	c speed (assignments/second)	: 16673.88632485099
1800.07/1792.02	c non guided choices	0
1800.07/1792.05	c learnt constraints type 
1800.07/1792.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 142507
1800.07/1792.06	c constraints type 
1800.07/1792.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37742
1800.07/1792.06	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.07/1792.06	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1792.06	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37742
1800.07/1792.06	s SATISFIABLE
1800.07/1792.06	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 x955 x956 x957 -x958 -x959 x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 
1800.07/1792.06	c objective function=-70
1800.07/1792.06	c Total wall clock time (in seconds): 1791.945

Verifier Data 

OK	-70

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 2/495 27788
/proc/meminfo: memFree=21295752/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 3565 0 1 0 0 0 0 0 25 0 2 0 808460114 13833195520 3268 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3377245 3282 906 9 0 3368401 0
[pid=27788/tid=27789] ppid=27786 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 4386 0 1 0 0 0 0 0 25 0 2 0 808460115 13850947584 5202 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0661069 s]
/proc/loadavg: 2.01 2.02 2.00 2/495 27788
/proc/meminfo: memFree=21295752/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13551672 CPUtime=0.05 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 14074 0 1 0 4 1 0 0 25 0 15 0 808460114 13876912128 13771 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3387918 13773 1710 9 0 3378666 0
[pid=27788/tid=27789] ppid=27786 vsize=13551672 CPUtime=0.05 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 12909 0 1 0 4 1 0 0 19 0 15 0 808460115 13876912128 13776 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254261569847 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13551672

[startup+0.101102 s]
/proc/loadavg: 2.01 2.02 2.00 2/495 27788
/proc/meminfo: memFree=21295752/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13622148 CPUtime=0.1 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 15387 0 1 0 9 1 0 0 25 0 18 0 808460114 13949079552 15084 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3405537 15084 2092 9 0 3396271 0
[pid=27788/tid=27789] ppid=27786 vsize=13622148 CPUtime=0.08 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 13521 0 1 0 7 1 0 0 22 0 18 0 808460115 13949079552 15084 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 47429027205095 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) 13622148

[startup+0.340035 s]
/proc/loadavg: 2.01 2.02 2.00 2/495 27788
/proc/meminfo: memFree=21295752/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13625084 CPUtime=0.59 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 19382 0 1 0 57 2 0 0 25 0 18 0 808460114 13952086016 18521 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3406271 18521 2222 9 0 3397005 0
[pid=27788/tid=27789] ppid=27786 vsize=13625084 CPUtime=0.31 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 15801 0 1 0 30 1 0 0 22 0 18 0 808460115 13952086016 18522 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 46912505554683 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13625084

[startup+0.701018 s]
/proc/loadavg: 2.01 2.02 2.00 2/495 27788
/proc/meminfo: memFree=21295752/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13631084 CPUtime=1.66 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 41747 0 1 0 161 5 0 0 25 0 18 0 808460114 13958230016 36568 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3407771 36573 2234 9 0 3398505 0
[pid=27788/tid=27789] ppid=27786 vsize=13631084 CPUtime=0.68 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 30109 0 1 0 65 3 0 0 24 0 18 0 808460115 13958230016 36576 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 46912505717363 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 13631084

[startup+1.50086 s]
/proc/loadavg: 2.09 2.04 2.01 3/514 27807
/proc/meminfo: memFree=21095164/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13632112 CPUtime=2.9 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 60983 0 1 0 283 7 0 0 25 0 19 0 808460114 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3408028 55802 2244 9 0 3398762 0
[pid=27788/tid=27789] ppid=27786 vsize=13632112 CPUtime=1.48 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 49262 0 1 0 142 6 0 0 18 0 19 0 808460115 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 46912506015625 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27796] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 23895 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 808460118 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 0 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27800] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27800/stat : 27800 (java) S 27786 27788 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808460119 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27801] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27801/stat : 27801 (java) S 27786 27788 23895 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 808460119 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27802] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27802/stat : 27802 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808460121 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273440177 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27803] ppid=27786 vsize=13632112 CPUtime=0.69 cores=1,3,5,7
/proc/27788/task/27803/stat : 27803 (java) S 27786 27788 23895 0 -1 4202560 5237 0 0 0 69 0 0 0 15 0 19 0 808460121 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27804] ppid=27786 vsize=13632112 CPUtime=0.7 cores=1,3,5,7
/proc/27788/task/27804/stat : 27804 (java) S 27786 27788 23895 0 -1 4202560 5323 0 0 0 70 0 0 0 15 0 19 0 808460121 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27805] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27805/stat : 27805 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808460121 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808460121 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27807] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808460204 13959282688 55802 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 13632112

[startup+3.10157 s]
/proc/loadavg: 2.09 2.04 2.01 3/514 27807
/proc/meminfo: memFree=21063916/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13632112 CPUtime=4.55 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 69147 0 1 0 447 8 0 0 25 0 19 0 808460114 13959282688 63964 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3408028 63964 2245 9 0 3398762 0
[pid=27788/tid=27789] ppid=27786 vsize=13632112 CPUtime=3.08 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 57417 0 1 0 301 7 0 0 21 0 19 0 808460115 13959282688 63964 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 46912505606826 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 63964 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 63964 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 63964 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 63964 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27796] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808460117 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 23895 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 808460118 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 0 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27800] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27800/stat : 27800 (java) S 27786 27788 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808460119 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27801] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27801/stat : 27801 (java) S 27786 27788 23895 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 808460119 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27802] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27802/stat : 27802 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808460121 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273440177 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27803] ppid=27786 vsize=13632112 CPUtime=0.69 cores=1,3,5,7
/proc/27788/task/27803/stat : 27803 (java) S 27786 27788 23895 0 -1 4202560 5237 0 0 0 69 0 0 0 15 0 19 0 808460121 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27804] ppid=27786 vsize=13632112 CPUtime=0.75 cores=1,3,5,7
/proc/27788/task/27804/stat : 27804 (java) S 27786 27788 23895 0 -1 4202560 5331 0 0 0 75 0 0 0 15 0 19 0 808460121 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27805] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27805/stat : 27805 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808460121 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808460121 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27807] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808460204 13959282688 63965 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 13632112

[startup+6.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/514 27807
/proc/meminfo: memFree=20908688/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13632112 CPUtime=7.89 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 103434 0 1 0 777 12 0 0 25 0 19 0 808460114 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3408028 98059 2270 9 0 3398762 0
[pid=27788/tid=27789] ppid=27786 vsize=13632112 CPUtime=5.99 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 60425 0 1 0 592 7 0 0 25 0 19 0 808460115 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 46912506095863 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 23895 0 -1 4202560 2278 0 0 0 0 0 0 0 16 0 19 0 808460117 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808460117 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 23895 0 -1 4202560 1954 0 0 0 0 0 0 0 16 0 19 0 808460117 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 23895 0 -1 4202560 1134 0 0 0 0 0 0 0 15 0 19 0 808460117 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808460117 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27796] ppid=27786 vsize=13632112 CPUtime=0.02 cores=1,3,5,7
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 23895 0 -1 4202560 5701 0 0 0 2 0 0 0 18 0 19 0 808460117 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=13632112 CPUtime=0.04 cores=1,3,5,7
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 23895 0 -1 4202560 3151 0 0 0 4 0 0 0 18 0 19 0 808460117 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=13632112 CPUtime=0.04 cores=1,3,5,7
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 23895 0 -1 4202560 3382 0 0 0 4 0 0 0 18 0 19 0 808460117 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=13632112 CPUtime=0.22 cores=1,3,5,7
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 23895 0 -1 4202560 13676 0 0 0 21 1 0 0 16 0 19 0 808460118 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 0 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27800] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27800/stat : 27800 (java) S 27786 27788 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27801] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27801/stat : 27801 (java) S 27786 27788 23895 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27802] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27802/stat : 27802 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808460121 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273440177 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27803] ppid=27786 vsize=13632112 CPUtime=0.72 cores=1,3,5,7
/proc/27788/task/27803/stat : 27803 (java) S 27786 27788 23895 0 -1 4202560 5242 0 0 0 72 0 0 0 16 0 19 0 808460121 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27804] ppid=27786 vsize=13632112 CPUtime=0.77 cores=1,3,5,7
/proc/27788/task/27804/stat : 27804 (java) S 27786 27788 23895 0 -1 4202560 5337 0 0 0 77 0 0 0 15 0 19 0 808460121 13959282688 98059 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0

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

[pid=27788/tid=27796] ppid=27786 vsize=13632112 CPUtime=1.07 cores=1,3,5,7
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 23895 0 -1 4202560 16876 0 0 0 105 2 0 0 15 0 19 0 808460117 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=13632112 CPUtime=1.04 cores=1,3,5,7
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 23895 0 -1 4202560 19556 0 0 0 102 2 0 0 15 0 19 0 808460117 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=13632112 CPUtime=1.01 cores=1,3,5,7
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 23895 0 -1 4202560 11712 0 0 0 99 2 0 0 16 0 19 0 808460117 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=13632112 CPUtime=15.53 cores=1,3,5,7
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 23895 0 -1 4202560 117617 0 0 0 1541 12 0 0 15 0 19 0 808460118 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 0 0 16800975 18446604466246317248 0 0 -1 3 0 0 0
[pid=27788/tid=27800] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27800/stat : 27800 (java) S 27786 27788 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27801] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27801/stat : 27801 (java) S 27786 27788 23895 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27802] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27802/stat : 27802 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808460121 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273440177 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27803] ppid=27786 vsize=13632112 CPUtime=0.73 cores=1,3,5,7
/proc/27788/task/27803/stat : 27803 (java) S 27786 27788 23895 0 -1 4202560 5245 0 0 0 73 0 0 0 15 0 19 0 808460121 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27804] ppid=27786 vsize=13632112 CPUtime=0.8 cores=1,3,5,7
/proc/27788/task/27804/stat : 27804 (java) S 27786 27788 23895 0 -1 4202560 5340 0 0 0 80 0 0 0 15 0 19 0 808460121 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27805] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27805/stat : 27805 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808460121 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 23895 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 808460121 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27807] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808460204 13959282688 328551 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1670.02
Current children cumulated vsize (KiB) 13632112

[startup+1722.3 s]
/proc/loadavg: 1.59 1.92 1.97 2/490 27876
/proc/meminfo: memFree=20070976/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13632112 CPUtime=1730.2 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 344300 0 1 0 172976 44 0 0 25 0 19 0 808460114 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3408028 338615 2271 9 0 3398762 0
[pid=27788/tid=27789] ppid=27786 vsize=13632112 CPUtime=1703.33 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 85627 0 1 0 170322 11 0 0 25 0 19 0 808460115 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 46912506008721 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=13632112 CPUtime=1.09 cores=1,3,5,7
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 23895 0 -1 4202560 12674 0 0 0 108 1 0 0 16 0 19 0 808460117 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=13632112 CPUtime=1.27 cores=1,3,5,7
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 23895 0 -1 4202560 17343 0 0 0 125 2 0 0 15 0 19 0 808460117 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=13632112 CPUtime=1.14 cores=1,3,5,7
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 23895 0 -1 4202560 13651 0 0 0 113 1 0 0 16 0 19 0 808460117 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=13632112 CPUtime=1.07 cores=1,3,5,7
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 23895 0 -1 4202560 18978 0 0 0 105 2 0 0 15 0 19 0 808460117 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=13632112 CPUtime=1.35 cores=1,3,5,7
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 23895 0 -1 4202560 12307 0 0 0 134 1 0 0 15 0 19 0 808460117 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27796] ppid=27786 vsize=13632112 CPUtime=1.13 cores=1,3,5,7
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 23895 0 -1 4202560 16886 0 0 0 111 2 0 0 16 0 19 0 808460117 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=13632112 CPUtime=1.09 cores=1,3,5,7
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 23895 0 -1 4202560 22119 0 0 0 107 2 0 0 15 0 19 0 808460117 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=13632112 CPUtime=1.08 cores=1,3,5,7
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 23895 0 -1 4202560 15260 0 0 0 105 3 0 0 15 0 19 0 808460117 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=13632112 CPUtime=15.99 cores=1,3,5,7
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 23895 0 -1 4202560 117621 0 0 0 1587 12 0 0 15 0 19 0 808460118 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 0 0 16800975 18446604466246317248 0 0 -1 3 0 0 0
[pid=27788/tid=27800] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27800/stat : 27800 (java) S 27786 27788 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27801] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27801/stat : 27801 (java) S 27786 27788 23895 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27802] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27802/stat : 27802 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808460121 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273440177 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27803] ppid=27786 vsize=13632112 CPUtime=0.73 cores=1,3,5,7
/proc/27788/task/27803/stat : 27803 (java) S 27786 27788 23895 0 -1 4202560 5245 0 0 0 73 0 0 0 15 0 19 0 808460121 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27804] ppid=27786 vsize=13632112 CPUtime=0.8 cores=1,3,5,7
/proc/27788/task/27804/stat : 27804 (java) S 27786 27788 23895 0 -1 4202560 5340 0 0 0 80 0 0 0 15 0 19 0 808460121 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27805] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27805/stat : 27805 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808460121 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 23895 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 808460121 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27807] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808460204 13959282688 338615 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1730.2
Current children cumulated vsize (KiB) 13632112

[startup+1782.3 s]
/proc/loadavg: 1.21 1.75 1.90 2/490 27877
/proc/meminfo: memFree=20070456/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13632112 CPUtime=1790.35 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 344314 0 1 0 178991 44 0 0 25 0 19 0 808460114 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3408028 338621 2271 9 0 3398762 0
[pid=27788/tid=27789] ppid=27786 vsize=13632112 CPUtime=1762.89 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 85629 0 1 0 176278 11 0 0 25 0 19 0 808460115 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 46912506114605 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=13632112 CPUtime=1.13 cores=1,3,5,7
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 23895 0 -1 4202560 12674 0 0 0 112 1 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=13632112 CPUtime=1.31 cores=1,3,5,7
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 23895 0 -1 4202560 17343 0 0 0 129 2 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=13632112 CPUtime=1.14 cores=1,3,5,7
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 23895 0 -1 4202560 13651 0 0 0 113 1 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=13632112 CPUtime=1.11 cores=1,3,5,7
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 23895 0 -1 4202560 18978 0 0 0 109 2 0 0 16 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=13632112 CPUtime=1.39 cores=1,3,5,7
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 23895 0 -1 4202560 12310 0 0 0 138 1 0 0 16 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27796] ppid=27786 vsize=13632112 CPUtime=1.13 cores=1,3,5,7
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 23895 0 -1 4202560 16886 0 0 0 111 2 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=13632112 CPUtime=1.13 cores=1,3,5,7
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 23895 0 -1 4202560 22119 0 0 0 111 2 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=13632112 CPUtime=1.12 cores=1,3,5,7
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 23895 0 -1 4202560 15263 0 0 0 109 3 0 0 16 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=13632112 CPUtime=16.35 cores=1,3,5,7
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 23895 0 -1 4202560 117623 0 0 0 1623 12 0 0 15 0 19 0 808460118 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 0 0 16800975 18446604466246317248 0 0 -1 3 0 0 0
[pid=27788/tid=27800] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27800/stat : 27800 (java) S 27786 27788 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27801] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27801/stat : 27801 (java) S 27786 27788 23895 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27802] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27802/stat : 27802 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273440177 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27803] ppid=27786 vsize=13632112 CPUtime=0.73 cores=1,3,5,7
/proc/27788/task/27803/stat : 27803 (java) S 27786 27788 23895 0 -1 4202560 5245 0 0 0 73 0 0 0 15 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27804] ppid=27786 vsize=13632112 CPUtime=0.8 cores=1,3,5,7
/proc/27788/task/27804/stat : 27804 (java) S 27786 27788 23895 0 -1 4202560 5340 0 0 0 80 0 0 0 15 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27805] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27805/stat : 27805 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 23895 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27807] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808460204 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 13632112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792 s]
/proc/loadavg: 1.18 1.72 1.89 2/490 27878
/proc/meminfo: memFree=20070572/32951124 swapFree=67057928/67111528
[pid=27788] ppid=27786 vsize=13632112 CPUtime=1800.07 cores=1,3,5,7
/proc/27788/stat : 27788 (java) S 27786 27788 23895 0 -1 4202496 344314 0 1 0 179963 44 0 0 25 0 19 0 808460114 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27788/statm: 3408028 338621 2271 9 0 3398762 0
[pid=27788/tid=27789] ppid=27786 vsize=13632112 CPUtime=1772.61 cores=1,3,5,7
/proc/27788/task/27789/stat : 27789 (java) R 27786 27788 23895 0 -1 4202560 85629 0 1 0 177250 11 0 0 25 0 19 0 808460115 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 46912506008721 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27788/tid=27791] ppid=27786 vsize=13632112 CPUtime=1.13 cores=1,3,5,7
/proc/27788/task/27791/stat : 27791 (java) S 27786 27788 23895 0 -1 4202560 12674 0 0 0 112 1 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27792] ppid=27786 vsize=13632112 CPUtime=1.31 cores=1,3,5,7
/proc/27788/task/27792/stat : 27792 (java) S 27786 27788 23895 0 -1 4202560 17343 0 0 0 129 2 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27793] ppid=27786 vsize=13632112 CPUtime=1.14 cores=1,3,5,7
/proc/27788/task/27793/stat : 27793 (java) S 27786 27788 23895 0 -1 4202560 13651 0 0 0 113 1 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27794] ppid=27786 vsize=13632112 CPUtime=1.11 cores=1,3,5,7
/proc/27788/task/27794/stat : 27794 (java) S 27786 27788 23895 0 -1 4202560 18978 0 0 0 109 2 0 0 16 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27795] ppid=27786 vsize=13632112 CPUtime=1.39 cores=1,3,5,7
/proc/27788/task/27795/stat : 27795 (java) S 27786 27788 23895 0 -1 4202560 12310 0 0 0 138 1 0 0 16 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27796] ppid=27786 vsize=13632112 CPUtime=1.13 cores=1,3,5,7
/proc/27788/task/27796/stat : 27796 (java) S 27786 27788 23895 0 -1 4202560 16886 0 0 0 111 2 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27797] ppid=27786 vsize=13632112 CPUtime=1.13 cores=1,3,5,7
/proc/27788/task/27797/stat : 27797 (java) S 27786 27788 23895 0 -1 4202560 22119 0 0 0 111 2 0 0 15 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27798] ppid=27786 vsize=13632112 CPUtime=1.12 cores=1,3,5,7
/proc/27788/task/27798/stat : 27798 (java) S 27786 27788 23895 0 -1 4202560 15263 0 0 0 109 3 0 0 16 0 19 0 808460117 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27799] ppid=27786 vsize=13632112 CPUtime=16.35 cores=1,3,5,7
/proc/27788/task/27799/stat : 27799 (java) S 27786 27788 23895 0 -1 4202560 117623 0 0 0 1623 12 0 0 15 0 19 0 808460118 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 0 0 16800975 18446604466246317248 0 0 -1 3 0 0 0
[pid=27788/tid=27800] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27800/stat : 27800 (java) S 27786 27788 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27801] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27801/stat : 27801 (java) S 27786 27788 23895 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 808460119 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27802] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27802/stat : 27802 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273440177 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27803] ppid=27786 vsize=13632112 CPUtime=0.73 cores=1,3,5,7
/proc/27788/task/27803/stat : 27803 (java) S 27786 27788 23895 0 -1 4202560 5245 0 0 0 73 0 0 0 15 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 7 0 0 0
[pid=27788/tid=27804] ppid=27786 vsize=13632112 CPUtime=0.8 cores=1,3,5,7
/proc/27788/task/27804/stat : 27804 (java) S 27786 27788 23895 0 -1 4202560 5340 0 0 0 80 0 0 0 15 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27805] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27805/stat : 27805 (java) S 27786 27788 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273432473 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
[pid=27788/tid=27806] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27806/stat : 27806 (java) S 27786 27788 23895 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 808460121 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 5 0 0 0
[pid=27788/tid=27807] ppid=27786 vsize=13632112 CPUtime=0 cores=1,3,5,7
/proc/27788/task/27807/stat : 27807 (java) S 27786 27788 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808460204 13959282688 338621 33554432000 1073741824 1073778376 140733391303776 18446744073709551615 254273433088 0 4 0 16800975 18446604466246317248 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13632112

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

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

Child status: 143
Real time (s): 1792.12
CPU time (s): 1800.22
CPU user time (s): 1799.72
CPU system time (s): 0.504923
CPU usage (%): 100.452
Max. virtual memory (cumulated for all children) (KiB): 13632112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.504923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344362
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= 39445
involuntary context switches= 6784

runsolver used 8.5647 second user time and 19.812 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-04 06:07:28
IDJOB=3458394
IDBENCH=48214
IDSOLVER=1952
FILE ID=node140/3458394-1307160448
RUNJOBID= node140-1307156475-27027
PBS_JOBID= 13508776
Free space on /tmp= 73644 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458394-1307160448/watcher-3458394-1307160448 -o /tmp/evaluation-result-3458394-1307160448/solver-3458394-1307160448 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458394-1307160448.opb

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

MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec
RANDOM SEED=1232664428

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21295908 kB
Buffers:        309416 kB
Cached:        3968376 kB
SwapCached:       6932 kB
Active:        7517532 kB
Inactive:      3801268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21295908 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:            1264 kB
Writeback:           0 kB
AnonPages:     7039384 kB
Mapped:          46252 kB
Slab:           214804 kB
PageTables:      52352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 154838024 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= 73644 MiB
End job on node140 at 2011-06-04 06:37:22