Trace number 3454529

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-34 1800.37 939.624

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM5249f5f1c551add7f5b5b920fc1c3b9c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
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 phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No 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-3454529-1307189439.opb
0.10/0.12	c reading problem ... 
1.06/0.62	c ... done. Wall clock time 0.505s.
1.06/0.62	c #vars     760
1.06/0.62	c #constraints  41263
1.06/0.62	c constraints type 
1.06/0.62	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41263
1.06/0.62	c constraints type 
1.06/0.62	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41263
1.06/0.64	c  And the winner is Resolution
1.13/1.13	c SATISFIABLE
1.13/1.13	c OPTIMIZING...
1.13/1.13	c Got one! Elapsed wall clock time (in seconds):1.015
1.13/1.13	o -28
1.41/1.28	c  And the winner is Resolution
2.09/1.64	c Got one! Elapsed wall clock time (in seconds):1.524
2.09/1.64	o -29
2.29/1.73	c  And the winner is Resolution
2.44/2.15	c Got one! Elapsed wall clock time (in seconds):2.029
2.44/2.15	o -30
4.22/2.93	c  And the winner is Resolution
4.32/3.15	c Got one! Elapsed wall clock time (in seconds):3.037
4.32/3.15	o -31
4.64/3.34	c cleaning 3121 clauses out of 6242 with flag 1001/6242
5.59/3.80	c  And the winner is Resolution
5.67/4.16	c Got one! Elapsed wall clock time (in seconds):4.045
5.67/4.16	o -32
6.64/4.65	c cleaning 4304 clauses out of 8616 with flag 3000/11737
8.65/5.68	c cleaning 5153 clauses out of 10314 with flag 9002/17739
10.95/6.88	c cleaning 6080 clauses out of 12160 with flag 16001/24738
14.10/8.45	c cleaning 7039 clauses out of 14079 with flag 24000/32737
17.24/10.04	c cleaning 8021 clauses out of 16041 with flag 33001/41738
21.12/12.06	c cleaning 9007 clauses out of 18020 with flag 43001/51738
25.21/14.16	c cleaning 10005 clauses out of 20012 with flag 54000/62737
30.51/16.80	c cleaning 10994 clauses out of 22007 with flag 66000/74737
35.62/19.48	c cleaning 11992 clauses out of 24014 with flag 79001/87738
42.88/23.19	c cleaning 13005 clauses out of 26023 with flag 93002/101739
51.26/27.42	c cleaning 14007 clauses out of 28016 with flag 108000/116737
58.56/31.29	c cleaning 14999 clauses out of 30009 with flag 124000/132737
67.74/35.91	c cleaning 15997 clauses out of 32010 with flag 141000/149737
77.89/41.18	c cleaning 17003 clauses out of 34014 with flag 159001/167738
86.65/45.66	c cleaning 18006 clauses out of 36011 with flag 178001/186738
91.25/48.14	c  And the winner is Resolution
92.30/49.13	c Got one! Elapsed wall clock time (in seconds):49.016
92.30/49.13	o -33
94.23/50.15	c cleaning 16170 clauses out of 32339 with flag 5000/201072
96.76/51.57	c cleaning 11085 clauses out of 22170 with flag 11001/207073
99.86/53.28	c cleaning 9039 clauses out of 18084 with flag 18000/214072
103.41/55.16	c cleaning 8521 clauses out of 17045 with flag 26000/222072
108.19/57.75	c cleaning 8759 clauses out of 17524 with flag 35000/231072
112.65/60.15	c cleaning 9371 clauses out of 18765 with flag 45000/241072
118.14/63.00	c cleaning 10193 clauses out of 20394 with flag 56000/252072
124.38/66.30	c cleaning 11100 clauses out of 22202 with flag 68001/264073
129.48/69.16	c cleaning 12051 clauses out of 24102 with flag 81001/277073
135.52/72.36	c cleaning 13026 clauses out of 26051 with flag 95001/291073
142.76/76.15	c cleaning 14013 clauses out of 28025 with flag 110001/306073
151.18/80.56	c cleaning 15006 clauses out of 30011 with flag 126000/322072
159.81/85.11	c cleaning 15994 clauses out of 32005 with flag 143000/339072
169.41/90.19	c cleaning 16996 clauses out of 34011 with flag 161000/357072
180.77/96.02	c cleaning 18002 clauses out of 36016 with flag 180001/376073
192.37/102.02	c cleaning 19006 clauses out of 38014 with flag 200001/396073
201.58/106.93	c cleaning 20004 clauses out of 40008 with flag 221001/417073
212.13/112.45	c cleaning 20994 clauses out of 42004 with flag 243001/439073
224.92/119.02	c cleaning 21999 clauses out of 44009 with flag 266000/462072
239.25/126.49	c cleaning 22999 clauses out of 46011 with flag 290001/486073
254.46/134.37	c cleaning 24001 clauses out of 48011 with flag 315000/511072
267.72/141.23	c cleaning 25002 clauses out of 50010 with flag 341000/537072
284.82/150.06	c cleaning 25996 clauses out of 52008 with flag 368000/564072
304.27/160.05	c cleaning 27001 clauses out of 54012 with flag 396000/592072
317.67/167.11	c cleaning 28002 clauses out of 56011 with flag 425000/621072
332.80/174.99	c cleaning 29005 clauses out of 58011 with flag 455002/651074
353.61/185.65	c cleaning 29995 clauses out of 60005 with flag 486001/682073
374.91/196.58	c cleaning 30998 clauses out of 62009 with flag 518000/714072
393.63/206.30	c cleaning 32003 clauses out of 64011 with flag 551000/747072
418.23/218.97	c cleaning 33001 clauses out of 66009 with flag 585001/781073
438.99/229.69	c cleaning 33998 clauses out of 68007 with flag 620000/816072
465.74/243.37	c cleaning 35005 clauses out of 70009 with flag 656000/852072
480.39/251.18	c cleaning 0 clauses out of 5670 with flag 0/5671
496.51/259.38	c cleaning 35998 clauses out of 72004 with flag 693000/889072
514.71/268.70	c cleaning 36997 clauses out of 74006 with flag 731000/927072
537.83/280.62	c cleaning 38003 clauses out of 76009 with flag 770000/966072
564.56/294.58	c cleaning 38996 clauses out of 78006 with flag 810000/1006072
570.43/297.86	c  And the winner is Resolution
571.59/298.99	c Got one! Elapsed wall clock time (in seconds):298.87
571.59/298.99	o -34
573.91/300.15	c cleaning 26651 clauses out of 53313 with flag 5001/1020375
577.27/302.10	c cleaning 16319 clauses out of 32661 with flag 11000/1026374
581.19/304.45	c cleaning 11670 clauses out of 23343 with flag 18001/1033375
586.14/307.41	c cleaning 9833 clauses out of 19672 with flag 26000/1041374
590.81/310.19	c cleaning 9412 clauses out of 18840 with flag 35001/1050375
595.88/313.05	c cleaning 9709 clauses out of 19427 with flag 45000/1060374
601.56/316.29	c cleaning 10351 clauses out of 20718 with flag 56000/1071374
608.06/319.98	c cleaning 11180 clauses out of 22367 with flag 68000/1083374
615.37/323.97	c cleaning 12092 clauses out of 24187 with flag 81000/1096374
624.87/329.03	c cleaning 13046 clauses out of 26095 with flag 95000/1110374
634.10/334.08	c cleaning 14016 clauses out of 28049 with flag 110000/1125374
643.35/339.15	c cleaning 15013 clauses out of 30033 with flag 126000/1141374
652.20/343.98	c cleaning 16006 clauses out of 32020 with flag 143000/1158374
663.64/350.06	c cleaning 17003 clauses out of 34014 with flag 161000/1176374
675.49/356.37	c cleaning 17996 clauses out of 36011 with flag 180000/1195374
687.42/362.85	c cleaning 18999 clauses out of 38015 with flag 200000/1215374
699.03/369.01	c cleaning 20003 clauses out of 40016 with flag 221000/1236374
712.53/376.11	c cleaning 21004 clauses out of 42014 with flag 243001/1258375
728.73/384.64	c cleaning 22004 clauses out of 44009 with flag 266000/1281374
745.83/393.75	c cleaning 23002 clauses out of 46006 with flag 290001/1305375
766.41/404.42	c cleaning 24002 clauses out of 48004 with flag 315001/1330375
788.62/415.95	c cleaning 24999 clauses out of 50001 with flag 341000/1356374
802.36/423.22	c cleaning 25994 clauses out of 52002 with flag 368000/1383374
816.36/430.82	c cleaning 27002 clauses out of 54008 with flag 396000/1411374
832.59/439.35	c cleaning 27999 clauses out of 56006 with flag 425000/1440374
848.36/447.61	c cleaning 28994 clauses out of 58007 with flag 455000/1470374
868.59/458.10	c cleaning 29999 clauses out of 60013 with flag 486000/1501374
888.93/468.96	c cleaning 30990 clauses out of 62014 with flag 518000/1533374
912.86/481.33	c cleaning 32006 clauses out of 64024 with flag 551000/1566374
937.69/494.10	c cleaning 33005 clauses out of 66019 with flag 585001/1600375
963.61/507.58	c cleaning 34006 clauses out of 68013 with flag 620000/1635374
986.84/519.74	c cleaning 34985 clauses out of 70008 with flag 656001/1671375
1012.73/533.04	c cleaning 36007 clauses out of 72022 with flag 693000/1708374
1039.25/546.66	c cleaning 37007 clauses out of 74016 with flag 731001/1746375
1070.63/562.72	c cleaning 37998 clauses out of 76008 with flag 770000/1785374
1097.09/576.58	c cleaning 39004 clauses out of 78010 with flag 810000/1825374
1128.22/592.55	c cleaning 40002 clauses out of 80006 with flag 851000/1866374
1162.88/610.27	c cleaning 40999 clauses out of 82004 with flag 893000/1908374
1201.42/629.91	c cleaning 41502 clauses out of 83006 with flag 935001/1950375
1242.98/651.38	c cleaning 41751 clauses out of 83503 with flag 977000/1992374
1287.94/674.30	c cleaning 41873 clauses out of 83752 with flag 1019000/2034374
1310.02/685.73	c cleaning 41930 clauses out of 83880 with flag 1061001/2076375
1335.51/698.98	c cleaning 41967 clauses out of 83949 with flag 1103000/2118374
1361.66/712.63	c cleaning 41988 clauses out of 83982 with flag 1145000/2160374
1388.54/726.56	c cleaning 41986 clauses out of 83994 with flag 1187000/2202374
1413.99/739.73	c cleaning 42000 clauses out of 84008 with flag 1229000/2244374
1444.05/755.23	c cleaning 41998 clauses out of 84008 with flag 1271000/2286374
1476.68/772.24	c cleaning 42001 clauses out of 84010 with flag 1313000/2328374
1513.47/791.19	c cleaning 41997 clauses out of 84009 with flag 1355000/2370374
1547.13/808.40	c cleaning 41995 clauses out of 84012 with flag 1397000/2412374
1582.75/826.77	c cleaning 41999 clauses out of 84018 with flag 1439001/2454375
1612.05/842.13	c cleaning 41997 clauses out of 84018 with flag 1481000/2496374
1640.87/857.05	c cleaning 42007 clauses out of 84021 with flag 1523000/2538374
1674.02/874.11	c cleaning 42002 clauses out of 84015 with flag 1565001/2580375
1706.55/891.00	c cleaning 41996 clauses out of 84013 with flag 1607001/2622375
1743.39/910.16	c cleaning 42000 clauses out of 84017 with flag 1649001/2664375
1771.68/924.70	c cleaning 41997 clauses out of 84016 with flag 1691000/2706374
1800.08/939.44	c starts		: 238
1800.08/939.44	c conflicts		: 2747296
1800.08/939.44	c decisions		: 2942155
1800.08/939.44	c propagations		: 16475390
1800.08/939.44	c inspects		: 3128381058
1800.08/939.44	c shortcuts		: 0
1800.08/939.44	c learnt literals	: 0
1800.08/939.44	c learnt binary clauses	: 0
1800.08/939.44	c learnt ternary clauses	: 0
1800.08/939.44	c learnt constraints	: 2747296
1800.08/939.44	c ignored constraints	: 0
1800.08/939.44	c root simplifications	: 0
1800.08/939.44	c removed literals (reason simplification)	: 38474786
1800.08/939.44	c reason swapping (by a shorter reason)	: 0
1800.08/939.44	c Calls to reduceDB	: 109
1800.08/939.44	c number of reductions to clauses (during analyze)	: 0
1800.08/939.44	c number of learned constraints concerned by reduction	: 0
1800.08/939.44	c number of learning phase by resolution	: 0
1800.08/939.44	c number of learning phase by cutting planes	: 0
1800.08/939.44	c speed (assignments/second)	: 25724.55008478361
1800.08/939.44	c non guided choices	0
1800.08/939.47	c learnt constraints type 
1800.08/939.47	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 82963
1800.08/939.47	c constraints type 
1800.08/939.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/939.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41263
1800.08/939.47	c constraints type 
1800.08/939.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41263
1800.08/939.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.08/939.47	s SATISFIABLE
1800.08/939.47	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 
1800.08/939.47	c objective function=-34
1800.08/939.47	c Total wall clock time (in seconds): 939.356

Verifier Data 

OK	-34

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-3454529-1307189439/watcher-3454529-1307189439 -o /tmp/evaluation-result-3454529-1307189439/solver-3454529-1307189439 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454529-1307189439.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: 4.02 3.89 3.47 3/536 20070
/proc/meminfo: memFree=21519904/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 3547 0 1 0 0 0 0 0 25 0 2 0 909174615 10694979584 3248 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2611079 3263 917 9 0 2602235 0
[pid=20070/tid=20071] ppid=20068 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) R 20068 20070 16455 0 -1 4202560 5695 0 1 0 0 0 0 0 25 0 2 0 909174616 10694979584 6511 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.100036 s]
/proc/loadavg: 4.02 3.89 3.47 3/536 20070
/proc/meminfo: memFree=21519904/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10540308 CPUtime=0.1 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 12976 0 1 0 9 1 0 0 25 0 18 0 909174615 10793275392 12672 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2635077 12673 2093 9 0 2625811 0
[pid=20070/tid=20071] ppid=20068 vsize=10540308 CPUtime=0.08 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) R 20068 20070 16455 0 -1 4202560 11063 0 1 0 7 1 0 0 18 0 18 0 909174616 10793275392 12673 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 47137094220627 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540308

[startup+0.201027 s]
/proc/loadavg: 4.02 3.89 3.47 3/536 20070
/proc/meminfo: memFree=21519904/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10540896 CPUtime=0.23 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 13855 0 1 0 22 1 0 0 25 0 18 0 909174615 10793877504 13551 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2635224 13551 2166 9 0 2625958 0
[pid=20070/tid=20071] ppid=20068 vsize=10540896 CPUtime=0.18 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) R 20068 20070 16455 0 -1 4202560 11735 0 1 0 17 1 0 0 18 0 18 0 909174616 10793877504 13551 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 47137090582122 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10540896

[startup+0.303525 s]
/proc/loadavg: 4.02 3.89 3.47 3/536 20070
/proc/meminfo: memFree=21519904/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10542116 CPUtime=0.45 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 15421 0 1 0 43 2 0 0 25 0 18 0 909174615 10795126784 14786 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2635529 14787 2200 9 0 2626263 0
[pid=20070/tid=20071] ppid=20068 vsize=10542116 CPUtime=0.28 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) R 20068 20070 16455 0 -1 4202560 12576 0 1 0 26 2 0 0 18 0 18 0 909174616 10795126784 14787 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 46912505545054 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10542116

[startup+0.700935 s]
/proc/loadavg: 4.02 3.89 3.47 3/536 20070
/proc/meminfo: memFree=21519904/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10552328 CPUtime=1.13 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 39175 0 1 0 107 6 0 0 25 0 19 0 909174615 10805583872 37733 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2638082 37733 2230 9 0 2628816 0
[pid=20070/tid=20071] ppid=20068 vsize=10552328 CPUtime=0.61 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) S 20068 20070 16455 0 -1 4202560 33131 0 1 0 56 5 0 0 19 0 19 0 909174616 10805583872 37733 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 10552328

[startup+1.50076 s]
/proc/loadavg: 4.02 3.89 3.47 3/555 20092
/proc/meminfo: memFree=21376356/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10552328 CPUtime=2 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 46448 0 1 0 193 7 0 0 25 0 19 0 909174615 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2638082 42371 2235 9 0 2628816 0
[pid=20070/tid=20071] ppid=20068 vsize=10552328 CPUtime=0.61 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) S 20068 20070 16455 0 -1 4202560 33186 0 1 0 56 5 0 0 16 0 19 0 909174616 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20073] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20073/stat : 20073 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20074] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20074/stat : 20074 (java) S 20068 20070 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909174617 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20075] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20075/stat : 20075 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20076] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20076/stat : 20076 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 16455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909174618 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 0 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 16455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909174619 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909174619 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174621 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427215281 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=10552328 CPUtime=0.44 cores=0,2,4,6
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 16455 0 -1 4202560 2388 0 0 0 44 0 0 0 16 0 19 0 909174621 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=10552328 CPUtime=0.58 cores=0,2,4,6
/proc/20070/task/20086/stat : 20086 (java) R 20068 20070 16455 0 -1 4202560 8877 0 0 0 57 1 0 0 16 0 19 0 909174621 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 47137090571384 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174621 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20088] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20088/stat : 20088 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909174621 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20091] ppid=20068 vsize=10552328 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20091/stat : 20091 (java) S 20068 20070 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909174679 10805583872 42371 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10552328

[startup+3.10151 s]
/proc/loadavg: 4.25 3.94 3.49 7/558 20101
/proc/meminfo: memFree=21341860/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10554984 CPUtime=4.32 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 89991 0 1 0 420 12 0 0 25 0 19 0 909174615 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2638746 84585 2242 9 0 2629480 0
[pid=20070/tid=20071] ppid=20068 vsize=10554984 CPUtime=0.62 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) S 20068 20070 16455 0 -1 4202560 33248 0 1 0 57 5 0 0 15 0 19 0 909174616 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20073] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20073/stat : 20073 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20074] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20074/stat : 20074 (java) S 20068 20070 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909174617 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20075] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20075/stat : 20075 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20076] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20076/stat : 20076 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174617 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 16455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909174618 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 0 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 16455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909174619 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909174619 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174621 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427215281 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=10554984 CPUtime=0.66 cores=0,2,4,6
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 16455 0 -1 4202560 3119 0 0 0 66 0 0 0 15 0 19 0 909174621 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=10554984 CPUtime=0.91 cores=0,2,4,6
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 16455 0 -1 4202560 9819 0 0 0 90 1 0 0 15 0 19 0 909174621 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909174621 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20088] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20088/stat : 20088 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909174621 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20091] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20091/stat : 20091 (java) S 20068 20070 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909174679 10808303616 84585 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 10554984

[startup+6.30079 s]
/proc/loadavg: 4.25 3.94 3.49 5/558 20107
/proc/meminfo: memFree=20864960/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10554984 CPUtime=9.94 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 180474 0 1 0 972 22 0 0 25 0 22 0 909174615 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2638746 175007 2268 9 0 2629480 0
[pid=20070/tid=20071] ppid=20068 vsize=10554984 CPUtime=0.62 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) S 20068 20070 16455 0 -1 4202560 33282 0 1 0 57 5 0 0 15 0 22 0 909174616 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20073] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20073/stat : 20073 (java) S 20068 20070 16455 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 909174617 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20074] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20074/stat : 20074 (java) S 20068 20070 16455 0 -1 4202560 1412 0 0 0 0 0 0 0 18 0 22 0 909174617 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20075] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20075/stat : 20075 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909174617 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20076] ppid=20068 vsize=10554984 CPUtime=0.01 cores=0,2,4,6
/proc/20070/task/20076/stat : 20076 (java) S 20068 20070 16455 0 -1 4202560 2257 0 0 0 1 0 0 0 18 0 22 0 909174617 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=10554984 CPUtime=0.02 cores=0,2,4,6
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 16455 0 -1 4202560 4433 0 0 0 2 0 0 0 18 0 22 0 909174617 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=10554984 CPUtime=0.03 cores=0,2,4,6
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 16455 0 -1 4202560 3384 0 0 0 3 0 0 0 18 0 22 0 909174617 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 16455 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 22 0 909174617 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=10554984 CPUtime=0.01 cores=0,2,4,6
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 16455 0 -1 4202560 2048 0 0 0 1 0 0 0 15 0 22 0 909174617 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=10554984 CPUtime=0.22 cores=0,2,4,6
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 16455 0 -1 4202560 14063 0 0 0 21 1 0 0 15 0 22 0 909174618 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 0 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909174619 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 16455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909174619 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174621 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427215281 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=10554984 CPUtime=0.79 cores=0,2,4,6
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 16455 0 -1 4202560 3131 0 0 0 79 0 0 0 16 0 22 0 909174621 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=10554984 CPUtime=0.97 cores=0,2,4,6
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 16455 0 -1 4202560 9829 0 0 0 96 1 0 0 16 0 22 0 909174621 10808303616 175007 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0

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

/proc/20070/task/20075/stat : 20075 (java) S 20068 20070 16455 0 -1 4202560 3270 0 0 0 99 0 0 0 16 0 22 0 909174617 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20076] ppid=20068 vsize=10554984 CPUtime=1.09 cores=0,2,4,6
/proc/20070/task/20076/stat : 20076 (java) S 20068 20070 16455 0 -1 4202560 7888 0 0 0 109 0 0 0 16 0 22 0 909174617 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=10554984 CPUtime=0.99 cores=0,2,4,6
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 16455 0 -1 4202560 9091 0 0 0 98 1 0 0 16 0 22 0 909174617 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=10554984 CPUtime=1.44 cores=0,2,4,6
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 16455 0 -1 4202560 10051 0 0 0 143 1 0 0 15 0 22 0 909174617 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=10554984 CPUtime=0.93 cores=0,2,4,6
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 16455 0 -1 4202560 5332 0 0 0 93 0 0 0 15 0 22 0 909174617 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=10554984 CPUtime=1.49 cores=0,2,4,6
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 16455 0 -1 4202560 6520 0 0 0 148 1 0 0 16 0 22 0 909174617 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=10554984 CPUtime=70.36 cores=0,2,4,6
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 16455 0 -1 4202560 159019 0 0 0 7017 19 0 0 15 0 22 0 909174618 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 0 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909174619 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 16455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909174619 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174621 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427215281 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=10554984 CPUtime=1.07 cores=0,2,4,6
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 16455 0 -1 4202560 3153 0 0 0 107 0 0 0 15 0 22 0 909174621 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=10554984 CPUtime=1.45 cores=0,2,4,6
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 16455 0 -1 4202560 9899 0 0 0 144 1 0 0 15 0 22 0 909174621 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174621 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20088] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20088/stat : 20088 (java) S 20068 20070 16455 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909174621 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20091] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20091/stat : 20091 (java) S 20068 20070 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909174679 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20119] ppid=20068 vsize=10554984 CPUtime=475.02 cores=0,2,4,6
/proc/20070/task/20119/stat : 20119 (java) R 20068 20070 16455 0 -1 4202560 7630 0 0 0 47501 1 0 0 25 0 22 0 909204514 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 46912505898253 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20070/tid=20120] ppid=20068 vsize=10554984 CPUtime=475.02 cores=0,2,4,6
/proc/20070/task/20120/stat : 20120 (java) R 20068 20070 16455 0 -1 4202560 241694 0 0 0 47475 27 0 0 25 0 22 0 909204514 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 46912505916539 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20070/tid=20121] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20121/stat : 20121 (java) S 20068 20070 16455 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909204514 10808303616 875391 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1573.95
Current children cumulated vsize (KiB) 10554984

[startup+882.321 s]
/proc/loadavg: 3.92 3.91 3.72 5/558 20187
/proc/meminfo: memFree=15814036/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10554984 CPUtime=1689.39 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 886223 0 1 0 168833 106 0 0 25 0 22 0 909174615 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2638746 880496 2269 9 0 2629480 0
[pid=20070/tid=20071] ppid=20068 vsize=10554984 CPUtime=0.63 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) S 20068 20070 16455 0 -1 4202560 33353 0 1 0 58 5 0 0 15 0 22 0 909174616 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20073] ppid=20068 vsize=10554984 CPUtime=1.14 cores=0,2,4,6
/proc/20070/task/20073/stat : 20073 (java) S 20068 20070 16455 0 -1 4202560 8103 0 0 0 113 1 0 0 16 0 22 0 909174617 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20074] ppid=20068 vsize=10554984 CPUtime=1.2 cores=0,2,4,6
/proc/20070/task/20074/stat : 20074 (java) S 20068 20070 16455 0 -1 4202560 6600 0 0 0 120 0 0 0 16 0 22 0 909174617 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20075] ppid=20068 vsize=10554984 CPUtime=1.03 cores=0,2,4,6
/proc/20070/task/20075/stat : 20075 (java) S 20068 20070 16455 0 -1 4202560 3270 0 0 0 103 0 0 0 15 0 22 0 909174617 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20076] ppid=20068 vsize=10554984 CPUtime=1.17 cores=0,2,4,6
/proc/20070/task/20076/stat : 20076 (java) S 20068 20070 16455 0 -1 4202560 7888 0 0 0 117 0 0 0 15 0 22 0 909174617 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=10554984 CPUtime=1 cores=0,2,4,6
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 16455 0 -1 4202560 9101 0 0 0 99 1 0 0 15 0 22 0 909174617 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=10554984 CPUtime=1.52 cores=0,2,4,6
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 16455 0 -1 4202560 10064 0 0 0 151 1 0 0 15 0 22 0 909174617 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=10554984 CPUtime=0.96 cores=0,2,4,6
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 16455 0 -1 4202560 5332 0 0 0 96 0 0 0 16 0 22 0 909174617 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=10554984 CPUtime=1.56 cores=0,2,4,6
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 16455 0 -1 4202560 6520 0 0 0 155 1 0 0 16 0 22 0 909174617 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=10554984 CPUtime=75.19 cores=0,2,4,6
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 16455 0 -1 4202560 164103 0 0 0 7500 19 0 0 15 0 22 0 909174618 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 0 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909174619 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 16455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909174619 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174621 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427215281 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=10554984 CPUtime=1.07 cores=0,2,4,6
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 16455 0 -1 4202560 3153 0 0 0 107 0 0 0 15 0 22 0 909174621 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=10554984 CPUtime=1.45 cores=0,2,4,6
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 16455 0 -1 4202560 9899 0 0 0 144 1 0 0 15 0 22 0 909174621 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174621 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20088] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20088/stat : 20088 (java) S 20068 20070 16455 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909174621 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20091] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20091/stat : 20091 (java) S 20068 20070 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909174679 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20119] ppid=20068 vsize=10554984 CPUtime=530.05 cores=0,2,4,6
/proc/20070/task/20119/stat : 20119 (java) R 20068 20070 16455 0 -1 4202560 7634 0 0 0 53004 1 0 0 25 0 22 0 909204514 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 46912505795431 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20070/tid=20120] ppid=20068 vsize=10554984 CPUtime=530.05 cores=0,2,4,6
/proc/20070/task/20120/stat : 20120 (java) R 20068 20070 16455 0 -1 4202560 241694 0 0 0 52978 27 0 0 25 0 22 0 909204514 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 46912505946158 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20070/tid=20121] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20121/stat : 20121 (java) S 20068 20070 16455 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909204514 10808303616 880496 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1689.39
Current children cumulated vsize (KiB) 10554984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+939.401 s]
/proc/loadavg: 3.83 3.88 3.72 6/558 20189
/proc/meminfo: memFree=15779380/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=10554984 CPUtime=1800.08 cores=0,2,4,6
/proc/20070/stat : 20070 (java) S 20068 20070 16455 0 -1 4202496 888741 0 1 0 179902 106 0 0 25 0 22 0 909174615 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 2638746 883005 2269 9 0 2629480 0
[pid=20070/tid=20071] ppid=20068 vsize=10554984 CPUtime=0.63 cores=0,2,4,6
/proc/20070/task/20071/stat : 20071 (java) S 20068 20070 16455 0 -1 4202560 33353 0 1 0 58 5 0 0 15 0 22 0 909174616 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20073] ppid=20068 vsize=10554984 CPUtime=1.25 cores=0,2,4,6
/proc/20070/task/20073/stat : 20073 (java) S 20068 20070 16455 0 -1 4202560 8117 0 0 0 124 1 0 0 16 0 22 0 909174617 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20074] ppid=20068 vsize=10554984 CPUtime=1.3 cores=0,2,4,6
/proc/20070/task/20074/stat : 20074 (java) S 20068 20070 16455 0 -1 4202560 6710 0 0 0 130 0 0 0 16 0 22 0 909174617 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 6 0 0 0
[pid=20070/tid=20075] ppid=20068 vsize=10554984 CPUtime=1.06 cores=0,2,4,6
/proc/20070/task/20075/stat : 20075 (java) S 20068 20070 16455 0 -1 4202560 3271 0 0 0 106 0 0 0 16 0 22 0 909174617 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20076] ppid=20068 vsize=10554984 CPUtime=1.17 cores=0,2,4,6
/proc/20070/task/20076/stat : 20076 (java) S 20068 20070 16455 0 -1 4202560 7889 0 0 0 117 0 0 0 15 0 22 0 909174617 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=10554984 CPUtime=1.09 cores=0,2,4,6
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 16455 0 -1 4202560 9313 0 0 0 108 1 0 0 16 0 22 0 909174617 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=10554984 CPUtime=1.57 cores=0,2,4,6
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 16455 0 -1 4202560 10116 0 0 0 156 1 0 0 15 0 22 0 909174617 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=10554984 CPUtime=1 cores=0,2,4,6
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 16455 0 -1 4202560 5384 0 0 0 100 0 0 0 16 0 22 0 909174617 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=10554984 CPUtime=1.56 cores=0,2,4,6
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 16455 0 -1 4202560 6521 0 0 0 155 1 0 0 15 0 22 0 909174617 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=10554984 CPUtime=78.88 cores=0,2,4,6
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 16455 0 -1 4202560 166173 0 0 0 7868 20 0 0 15 0 22 0 909174618 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 0 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909174619 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 16455 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909174619 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174621 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427215281 0 4 0 16800975 18446604446917902528 0 0 -1 2 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=10554984 CPUtime=1.07 cores=0,2,4,6
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 16455 0 -1 4202560 3153 0 0 0 107 0 0 0 15 0 22 0 909174621 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=10554984 CPUtime=1.45 cores=0,2,4,6
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 16455 0 -1 4202560 9899 0 0 0 144 1 0 0 15 0 22 0 909174621 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909174621 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427207577 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20088] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20088/stat : 20088 (java) S 20068 20070 16455 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909174621 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
[pid=20070/tid=20091] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20091/stat : 20091 (java) S 20068 20070 16455 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909174679 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 0 0 0 0
[pid=20070/tid=20119] ppid=20068 vsize=10554984 CPUtime=583.35 cores=0,2,4,6
/proc/20070/task/20119/stat : 20119 (java) R 20068 20070 16455 0 -1 4202560 7637 0 0 0 58334 1 0 0 25 0 22 0 909204514 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 46912505795431 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20070/tid=20120] ppid=20068 vsize=10554984 CPUtime=583.34 cores=0,2,4,6
/proc/20070/task/20120/stat : 20120 (java) R 20068 20070 16455 0 -1 4202560 241694 0 0 0 58307 27 0 0 25 0 22 0 909204514 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 46912505937235 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20070/tid=20121] ppid=20068 vsize=10554984 CPUtime=0 cores=0,2,4,6
/proc/20070/task/20121/stat : 20121 (java) S 20068 20070 16455 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909204514 10808303616 883005 33554432000 1073741824 1073778376 140734831068848 18446744073709551615 256427208192 0 4 0 16800975 18446604446917902528 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10554984

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

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

[startup+939.546 s]
/proc/loadavg: 3.83 3.88 3.72 6/558 20189
/proc/meminfo: memFree=15779380/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/20070/stat : 20070 (java) Z 20068 20070 16455 0 -1 4203548 888770 0 1 0 179915 113 0 0 17 0 2 0 909174615 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 0 0 0 0 0 0 0
[pid=20070/tid=20119] ppid=20068 vsize=0 CPUtime=583.46 cores=0,2,4,6
/proc/20070/task/20119/stat : 20119 (java) R 20068 20070 16455 0 -1 4203588 7637 0 0 0 58338 8 0 0 25 0 2 0 909204514 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

[startup+939.601 s]
/proc/loadavg: 3.83 3.88 3.72 6/558 20189
/proc/meminfo: memFree=15779380/32950928 swapFree=58671692/67111528
[pid=20070] ppid=20068 vsize=0 CPUtime=1800.33 cores=0,2,4,6
/proc/20070/stat : 20070 (java) Z 20068 20070 16455 0 -1 4203548 888770 0 1 0 179915 118 0 0 17 0 2 0 909174615 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20070/statm: 0 0 0 0 0 0 0
[pid=20070/tid=20119] ppid=20068 vsize=0 CPUtime=583.52 cores=0,2,4,6
/proc/20070/task/20119/stat : 20119 (java) R 20068 20070 16455 0 -1 4203588 7637 0 0 0 58338 14 0 0 25 0 2 0 909204514 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 939.624
CPU time (s): 1800.37
CPU user time (s): 1799.16
CPU system time (s): 1.21081
CPU usage (%): 191.605
Max. virtual memory (cumulated for all children) (KiB): 10554984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.21081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 888770
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= 24465
involuntary context switches= 28059

runsolver used 5.40718 second user time and 11.6302 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 14:10:39
IDJOB=3454529
IDBENCH=2242
IDSOLVER=1950
FILE ID=node115/3454529-1307189439
RUNJOBID= node115-1307187576-18739
PBS_JOBID= 13508831
Free space on /tmp= 73836 MiB

SOLVER NAME= 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-2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454529-1307189439/watcher-3454529-1307189439 -o /tmp/evaluation-result-3454529-1307189439/solver-3454529-1307189439 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454529-1307189439.opb

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

MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c
RANDOM SEED=2116424096

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.77
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.811
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21520076 kB
Buffers:        201456 kB
Cached:         323620 kB
SwapCached:      65828 kB
Active:        2672112 kB
Inactive:      8514012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21520076 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:            1248 kB
Writeback:           0 kB
AnonPages:    10598640 kB
Mapped:          35760 kB
Slab:            97056 kB
PageTables:      78552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 162194392 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= 73828 MiB
End job on node115 at 2011-06-04 14:26:21