Trace number 3688146

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)175 1800.04 955.343

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark10.9333
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
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 constraint1
Maximum length of a constraint386
Number of terms in the objective function 3098
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 3098
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.2.v20120418
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		501472288
0.03/0.08	c Max memory 		7480803328
0.03/0.08	c Total memory 		504102912
0.03/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3688146-1337875759.opb
0.11/0.11	c reading problem ... 
1.24/0.72	c ... done. Wall clock time 0.614s.
1.24/0.72	c declared #vars     3098
1.24/0.72	c #constraints  5747
1.24/0.72	c constraints type 
1.24/0.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5699
1.24/0.72	c ignored satisfied constraints => 265
1.24/0.72	c org.sat4j.minisat.constraints.cnf.UnitClause => 26
1.24/0.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22
1.24/0.72	c 6012 constraints processed.
1.24/0.72	c constraints type 
1.24/0.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22
1.24/0.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5699
1.24/0.72	c ignored satisfied constraints => 265
1.24/0.72	c org.sat4j.pb.constraints.pb.UnitClausePB => 26
1.24/0.72	c 6012 constraints processed.
1.24/0.72	c objective function length is 3098 literals
1.24/0.79	c  And the winner is solver0
1.55/1.23	c SATISFIABLE
1.55/1.23	c OPTIMIZING...
1.55/1.23	c Got one! Elapsed wall clock time (in seconds):1.119
1.55/1.23	o 183
2.21/1.47	c  And the winner is solver0
2.74/1.74	c Got one! Elapsed wall clock time (in seconds):1.637
2.74/1.74	o 182
4.47/2.50	c  And the winner is solver0
4.52/2.75	c Got one! Elapsed wall clock time (in seconds):2.647
4.52/2.75	o 181
6.52/3.78	c cleaning 2688 clauses out of 5376 with flag 3000/5376
8.36/4.61	c  And the winner is solver1
8.39/4.76	c Got one! Elapsed wall clock time (in seconds):4.654
8.39/4.76	o 180
10.37/5.72	c cleaning 3947 clauses out of 7913 with flag 3000/10601
13.57/7.31	c  And the winner is solver1
13.64/7.78	c Got one! Elapsed wall clock time (in seconds):7.67
13.64/7.78	o 179
14.10/8.07	c cleaning 4804 clauses out of 9607 with flag 1002/16242
18.49/10.22	c cleaning 5402 clauses out of 10803 with flag 7002/22242
20.46/11.23	c  And the winner is solver1
20.56/11.32	c Got one! Elapsed wall clock time (in seconds):11.216
20.56/11.32	o 178
22.30/12.21	c cleaning 5564 clauses out of 11129 with flag 3005/27970
26.27/14.22	c cleaning 5779 clauses out of 11564 with flag 9004/33969
31.19/16.73	c cleaning 6393 clauses out of 12785 with flag 16004/40969
32.12/17.20	c  And the winner is solver1
32.11/17.33	c Got one! Elapsed wall clock time (in seconds):17.22
32.11/17.33	o 177
34.57/18.55	c cleaning 5703 clauses out of 11409 with flag 4000/45986
39.05/20.86	c cleaning 5839 clauses out of 11706 with flag 10000/51986
44.19/23.47	c cleaning 6424 clauses out of 12868 with flag 17001/58987
50.30/26.55	c cleaning 7213 clauses out of 14444 with flag 25001/66987
57.60/30.29	c cleaning 8115 clauses out of 16230 with flag 34000/75986
66.06/34.55	c cleaning 9059 clauses out of 18117 with flag 44002/85988
75.37/39.21	c cleaning 10027 clauses out of 20056 with flag 55000/96986
85.19/44.29	c cleaning 10983 clauses out of 22029 with flag 67000/108986
95.03/49.29	c cleaning 12016 clauses out of 24046 with flag 80000/121986
106.71/55.23	c cleaning 13001 clauses out of 26034 with flag 94004/135990
118.84/61.43	c cleaning 13969 clauses out of 28029 with flag 109000/150986
134.16/69.30	c cleaning 14980 clauses out of 30060 with flag 125000/166986
152.21/78.43	c  And the winner is solver1
151.98/78.70	c Got one! Elapsed wall clock time (in seconds):78.592
151.98/78.70	o 176
154.99/80.21	c cleaning 18340 clauses out of 36679 with flag 5002/188585
159.56/82.88	c cleaning 12154 clauses out of 24337 with flag 11000/194583
165.35/85.92	c cleaning 9574 clauses out of 19183 with flag 18000/201583
171.51/89.29	c cleaning 8806 clauses out of 17611 with flag 26002/209585
179.06/93.22	c cleaning 8840 clauses out of 17803 with flag 35000/218583
187.78/97.98	c cleaning 9439 clauses out of 18963 with flag 45000/228583
196.95/102.79	c cleaning 10206 clauses out of 20524 with flag 56000/239583
207.69/108.38	c cleaning 11156 clauses out of 22322 with flag 68004/251587
218.63/114.07	c cleaning 12049 clauses out of 24162 with flag 81000/264583
231.33/120.78	c cleaning 13041 clauses out of 26120 with flag 95007/278590
245.29/127.90	c cleaning 13995 clauses out of 28073 with flag 110001/293584
261.67/136.31	c cleaning 15031 clauses out of 30077 with flag 126000/309583
278.59/145.10	c cleaning 15909 clauses out of 32046 with flag 143000/326583
299.54/155.91	c cleaning 17041 clauses out of 34141 with flag 161004/344587
316.98/164.94	c cleaning 18006 clauses out of 36096 with flag 180000/363583
332.87/173.33	c cleaning 19045 clauses out of 38090 with flag 200000/383583
351.53/183.99	c cleaning 20024 clauses out of 40051 with flag 221006/404589
369.40/193.16	c cleaning 21001 clauses out of 42021 with flag 243000/426583
388.26/202.94	c cleaning 22011 clauses out of 44021 with flag 266001/449584
408.08/213.27	c cleaning 22981 clauses out of 46011 with flag 290002/473585
428.45/224.17	c cleaning 24014 clauses out of 48028 with flag 315000/498583
450.39/235.52	c cleaning 25004 clauses out of 50014 with flag 341000/524583
472.91/247.26	c cleaning 25963 clauses out of 52016 with flag 368006/551589
495.96/259.24	c cleaning 27006 clauses out of 54047 with flag 396000/579583
518.64/271.35	c cleaning 27980 clauses out of 56041 with flag 425000/608583
543.61/284.21	c cleaning 28975 clauses out of 58061 with flag 455000/638583
568.45/297.13	c cleaning 30022 clauses out of 60086 with flag 486000/669583
595.29/311.09	c cleaning 31026 clauses out of 62064 with flag 518000/701583
623.59/325.90	c cleaning 32009 clauses out of 64038 with flag 551000/734583
649.67/339.44	c cleaning 32975 clauses out of 66031 with flag 585002/768585
676.69/353.43	c cleaning 34011 clauses out of 68055 with flag 620001/803584
705.99/368.79	c cleaning 34987 clauses out of 70043 with flag 656000/839583
710.10/371.82	c  And the winner is solver1
710.10/371.89	c Got one! Elapsed wall clock time (in seconds):371.782
710.10/371.89	o 175
710.46/372.74	c cleaning 20354 clauses out of 40743 with flag 3000/845270
715.23/375.73	c cleaning 13173 clauses out of 26389 with flag 9000/851270
720.91/379.13	c cleaning 10090 clauses out of 20216 with flag 16000/858270
727.71/383.16	c cleaning 9064 clauses out of 18129 with flag 24003/866273
736.71/388.65	c cleaning 9032 clauses out of 18064 with flag 33002/875272
746.10/393.91	c cleaning 9504 clauses out of 19031 with flag 43001/885271
756.16/399.56	c cleaning 10250 clauses out of 20526 with flag 54000/896270
766.95/405.57	c cleaning 11121 clauses out of 22276 with flag 66000/908270
779.53/412.86	c cleaning 12014 clauses out of 24155 with flag 79000/921270
791.69/419.52	c cleaning 13046 clauses out of 26141 with flag 93000/935270
805.09/426.85	c cleaning 14035 clauses out of 28099 with flag 108004/950274
819.05/434.43	c cleaning 15028 clauses out of 30060 with flag 124000/966270
834.17/443.04	c cleaning 16015 clauses out of 32032 with flag 141000/983270
849.11/451.18	c cleaning 17006 clauses out of 34020 with flag 159003/1001273
864.85/459.69	c cleaning 17987 clauses out of 36011 with flag 178000/1020270
881.00/468.39	c cleaning 19006 clauses out of 38024 with flag 198000/1040270
899.49/478.62	c cleaning 20001 clauses out of 40020 with flag 219002/1061272
917.62/488.37	c cleaning 20993 clauses out of 42020 with flag 241003/1083273
936.34/498.36	c cleaning 22002 clauses out of 44024 with flag 264000/1106270
954.63/508.19	c cleaning 23006 clauses out of 46023 with flag 288001/1130271
973.49/518.63	c cleaning 24007 clauses out of 48021 with flag 313005/1155275
992.99/529.01	c cleaning 24982 clauses out of 50010 with flag 339001/1181271
1012.86/539.60	c cleaning 25996 clauses out of 52027 with flag 366000/1208270
1033.92/550.80	c cleaning 27005 clauses out of 54031 with flag 394000/1236270
1055.93/562.99	c cleaning 27990 clauses out of 56026 with flag 423000/1265270
1079.40/575.38	c cleaning 29005 clauses out of 58036 with flag 453000/1295270
1103.62/588.10	c cleaning 30011 clauses out of 60031 with flag 484000/1326270
1128.86/601.41	c cleaning 30982 clauses out of 62021 with flag 516001/1358271
1153.81/615.10	c cleaning 31968 clauses out of 64040 with flag 549002/1391272
1179.42/628.51	c cleaning 33013 clauses out of 66072 with flag 583002/1425272
1209.17/644.96	c cleaning 33989 clauses out of 68060 with flag 618003/1460273
1241.27/661.74	c cleaning 35014 clauses out of 70068 with flag 654000/1496270
1271.62/677.55	c cleaning 36015 clauses out of 72059 with flag 691005/1533275
1302.32/693.58	c cleaning 36995 clauses out of 74039 with flag 729000/1571270
1332.17/709.17	c cleaning 37990 clauses out of 76044 with flag 768000/1610270
1363.23/725.80	c cleaning 39023 clauses out of 78055 with flag 808001/1650271
1394.68/742.29	c cleaning 39985 clauses out of 80031 with flag 849000/1691270
1426.97/759.17	c cleaning 40996 clauses out of 82046 with flag 891000/1733270
1461.23/777.06	c cleaning 42004 clauses out of 84050 with flag 934000/1776270
1501.08/798.35	c cleaning 43011 clauses out of 86046 with flag 978000/1820270
1539.13/818.17	c cleaning 43955 clauses out of 88035 with flag 1023000/1865270
1581.25/840.07	c cleaning 44990 clauses out of 90082 with flag 1069002/1911272
1624.03/862.23	c cleaning 46036 clauses out of 92090 with flag 1116000/1958270
1669.97/887.69	c cleaning 46990 clauses out of 94055 with flag 1164001/2006271
1712.75/909.86	c cleaning 48023 clauses out of 96066 with flag 1213002/2055272
1756.21/932.40	c cleaning 49009 clauses out of 98042 with flag 1263001/2105271
1798.57/955.31	c starts		: 34
1798.57/955.31	c conflicts		: 5680
1798.57/955.31	c decisions		: 297046
1798.57/955.31	c propagations		: 1090419
1798.57/955.31	c inspects		: 173605203
1798.57/955.31	c shortcuts		: 0
1798.57/955.31	c learnt literals	: 0
1798.57/955.31	c learnt binary clauses	: 0
1798.57/955.31	c learnt ternary clauses	: 1
1798.57/955.31	c learnt constraints	: 5679
1798.57/955.31	c ignored constraints	: 0
1798.57/955.31	c root simplifications	: 0
1798.57/955.31	c removed literals (reason simplification)	: 0
1798.57/955.31	c reason swapping (by a shorter reason)	: 0
1798.57/955.31	c Calls to reduceDB	: 0
1798.57/955.31	c number of reductions to clauses (during analyze)	: 0
1798.57/955.31	c number of learned constraints concerned by reduction	: 0
1798.57/955.31	c number of learning phase by resolution	: 0
1798.57/955.31	c number of learning phase by cutting planes	: 0
1798.57/955.31	c speed (assignments/second)	: 1144.7355574662145
1798.57/955.31	c non guided choices	0
1798.57/955.31	c learnt constraints type 
1798.57/955.31	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 34
1798.57/955.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 193
1798.57/955.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5453
1798.57/955.31	c constraints type 
1798.57/955.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5699
1798.57/955.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1798.57/955.31	c ignored satisfied constraints => 265
1798.57/955.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 26
1798.57/955.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22
1798.57/955.31	c 6013 constraints processed.
1798.57/955.31	c constraints type 
1798.57/955.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22
1798.57/955.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5699
1798.57/955.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1798.57/955.31	c ignored satisfied constraints => 265
1798.57/955.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 26
1798.57/955.31	c 6013 constraints processed.
1798.57/955.31	s SATISFIABLE
1798.57/955.32	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 x633 x634 x635 x636 x637 x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 x949 x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 -x2032 x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 x2446 x2447 -x2448 x2449 x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 x2533 -x2534 x2535 x2536 x2537 x2538 x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 x2685 x2686 -x2687 -x2688 x2689 x2690 -x2691 x2692 -x2693 -x2694 x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926 x2927 -x2928 x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 x2989 x2990 x2991 x2992 -x2993 -x2994 -x2995 -x2996 -x2997 x2998 x2999 x3000 -x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 
1798.57/955.33	c objective function=175
1798.57/955.33	c Total wall clock time (in seconds): 955.218

Verifier Data 

OK	175

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688146-1337875759/watcher-3688146-1337875759 -o /tmp/evaluation-result-3688146-1337875759/solver-3688146-1337875759 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688146-1337875759.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.78 3.91 3.72 4/197 25305
/proc/meminfo: memFree=28366592/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 253700250 24780800 867 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 6050 867 654 9 0 385 0
[pid=25305/tid=25306] ppid=25303 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) R 25303 25305 24080 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 2 0 253700251 91889664 882 33554432000 1073741824 1073778376 140737190263120 140737190252184 209883639461 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.0398811 s]
/proc/loadavg: 3.78 3.91 3.72 4/197 25305
/proc/meminfo: memFree=28366592/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 3033 0 1 0 2 1 0 0 20 0 13 0 253700250 9446973440 3731 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 2306390 3731 1701 9 0 2297091 0
[pid=25305/tid=25306] ppid=25303 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) R 25303 25305 24080 0 -1 4202560 1851 0 1 0 1 0 0 0 20 0 13 0 253700251 9446973440 3731 33554432000 1073741824 1073778376 140737190263120 139674897592560 209887225101 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100284 s]
/proc/loadavg: 3.78 3.91 3.72 4/197 25305
/proc/meminfo: memFree=28366592/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 4404 0 1 0 9 2 0 0 20 0 18 0 253700250 9787813888 6113 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 2389603 6113 2124 9 0 2380296 0
[pid=25305/tid=25306] ppid=25303 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) R 25303 25305 24080 0 -1 4202560 2431 0 1 0 6 1 0 0 20 0 18 0 253700251 9787813888 6113 33554432000 1073741824 1073778376 140737190263120 139674897594704 209887225101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300277 s]
/proc/loadavg: 3.78 3.91 3.72 4/197 25305
/proc/meminfo: memFree=28366592/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=9558412 CPUtime=0.57 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 7360 0 1 0 55 2 0 0 20 0 18 0 253700250 9787813888 10243 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 2389603 10243 2218 9 0 2380296 0
[pid=25305/tid=25306] ppid=25303 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) R 25303 25305 24080 0 -1 4202560 2450 0 1 0 26 1 0 0 20 0 18 0 253700251 9787813888 10243 33554432000 1073741824 1073778376 140737190263120 139674897596696 209887225101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558412

[startup+0.700284 s]
/proc/loadavg: 3.78 3.91 3.72 4/197 25305
/proc/meminfo: memFree=28366592/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=9558412 CPUtime=1.24 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 12914 0 1 0 118 6 0 0 20 0 18 0 253700250 9787813888 44053 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 2389603 44053 2245 9 0 2380296 0
[pid=25305/tid=25306] ppid=25303 vsize=9558412 CPUtime=0.67 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) R 25303 25305 24080 0 -1 4202560 2511 0 1 0 62 5 0 0 20 0 18 0 253700251 9787813888 44053 33554432000 1073741824 1073778376 140737190263120 139674897595640 139674769598060 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9558412

[startup+1.50064 s]
/proc/loadavg: 3.78 3.91 3.72 3/216 25327
/proc/meminfo: memFree=28194420/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=9824668 CPUtime=2.57 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 18290 0 1 0 247 10 0 0 20 0 20 0 253700250 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 2456167 47529 2267 9 0 2446860 0
[pid=25305/tid=25306] ppid=25303 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) S 25303 25305 24080 0 -1 4202560 2525 0 1 0 67 5 0 0 20 0 20 0 253700251 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674897597432 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25308] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25308/stat : 25308 (java) S 25303 25305 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253700251 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674741586856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25309] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25309/stat : 25309 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253700251 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674740534312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25310] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25310/stat : 25310 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253700251 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674739481256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25311] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25311/stat : 25311 (java) S 25303 25305 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 253700251 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674738428712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25312] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25312/stat : 25312 (java) S 25303 25305 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 253700251 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674737375656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25313] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25313/stat : 25313 (java) S 25303 25305 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 253700251 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674736323112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25314] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25314/stat : 25314 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253700251 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674735270056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25315] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25315/stat : 25315 (java) S 25303 25305 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253700251 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674734217512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25316] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25316/stat : 25316 (java) S 25303 25305 24080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 253700253 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674721807208 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25317] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25317/stat : 25317 (java) S 25303 25305 24080 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 253700253 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674720753528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25318] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25318/stat : 25318 (java) S 25303 25305 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253700253 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674719700360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25319] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25319/stat : 25319 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253700255 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674718649104 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25320] ppid=25303 vsize=9824668 CPUtime=0.51 cores=0,2,4,6
/proc/25305/task/25320/stat : 25320 (java) R 25303 25305 24080 0 -1 4202560 8179 0 0 0 50 1 0 0 20 0 20 0 253700255 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674717590000 139674904571557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25321] ppid=25303 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/25305/task/25321/stat : 25321 (java) R 25303 25305 24080 0 -1 4202560 6228 0 0 0 66 0 0 0 20 0 20 0 253700255 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674716543416 139674901714408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25322] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25322/stat : 25322 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253700255 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674715490552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25323] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25323/stat : 25323 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253700255 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674714438216 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25326] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25326/stat : 25326 (java) S 25303 25305 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253700325 10060460032 47529 33554432000 1073741824 1073778376 140737190263120 139674711278888 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9824668

[startup+3.10062 s]
/proc/loadavg: 3.78 3.91 3.72 5/219 25333
/proc/meminfo: memFree=28178000/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=9824668 CPUtime=5.26 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 18346 0 1 0 513 13 0 0 20 0 22 0 253700250 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 2456167 47024 2273 9 0 2446860 0
[pid=25305/tid=25306] ppid=25303 vsize=9824668 CPUtime=0.74 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) S 25303 25305 24080 0 -1 4202560 2525 0 1 0 69 5 0 0 20 0 22 0 253700251 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674897597432 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25308] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25308/stat : 25308 (java) S 25303 25305 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674741586856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25309] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25309/stat : 25309 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674740534312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25310] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25310/stat : 25310 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674739481256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25311] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25311/stat : 25311 (java) S 25303 25305 24080 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674738428712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25312] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25312/stat : 25312 (java) S 25303 25305 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674737375656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25313] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25313/stat : 25313 (java) S 25303 25305 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674736323112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25314] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25314/stat : 25314 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674735270056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25315] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25315/stat : 25315 (java) S 25303 25305 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674734217512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25316] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25316/stat : 25316 (java) S 25303 25305 24080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674721807208 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25317] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25317/stat : 25317 (java) S 25303 25305 24080 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674720753528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25318] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25318/stat : 25318 (java) S 25303 25305 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674719700360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25319] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25319/stat : 25319 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674718649104 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25320] ppid=25303 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/25305/task/25320/stat : 25320 (java) S 25303 25305 24080 0 -1 4202560 8214 0 0 0 82 2 0 0 20 0 22 0 253700255 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674717595960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25321] ppid=25303 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/25305/task/25321/stat : 25321 (java) S 25303 25305 24080 0 -1 4202560 6234 0 0 0 80 0 0 0 20 0 22 0 253700255 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674716543416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25322] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25322/stat : 25322 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674715490552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25323] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25323/stat : 25323 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674714438216 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25326] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25326/stat : 25326 (java) S 25303 25305 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253700325 10060460032 47024 33554432000 1073741824 1073778376 140737190263120 139674711278888 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 9824668

[startup+6.30075 s]
/proc/loadavg: 3.80 3.91 3.72 5/219 25339
/proc/meminfo: memFree=28138076/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=9824668 CPUtime=11.53 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 18441 0 1 0 1134 19 0 0 20 0 22 0 253700250 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 2456167 55296 2285 9 0 2446860 0
[pid=25305/tid=25306] ppid=25303 vsize=9824668 CPUtime=0.74 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) S 25303 25305 24080 0 -1 4202560 2526 0 1 0 69 5 0 0 20 0 22 0 253700251 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674897597432 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25308] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25308/stat : 25308 (java) S 25303 25305 24080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674741586856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25309] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25309/stat : 25309 (java) S 25303 25305 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674740534312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25310] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25310/stat : 25310 (java) S 25303 25305 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674739481256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25311] ppid=25303 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25305/task/25311/stat : 25311 (java) S 25303 25305 24080 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 253700251 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674738428712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25312] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25312/stat : 25312 (java) S 25303 25305 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674737375656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25313] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25313/stat : 25313 (java) S 25303 25305 24080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674736323112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25314] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25314/stat : 25314 (java) S 25303 25305 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674735270056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25315] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25315/stat : 25315 (java) S 25303 25305 24080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253700251 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674734217512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25316] ppid=25303 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/25305/task/25316/stat : 25316 (java) S 25303 25305 24080 0 -1 4202560 39 0 0 0 7 1 0 0 20 0 22 0 253700253 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674721807208 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25317] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25317/stat : 25317 (java) S 25303 25305 24080 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674720753528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25318] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25318/stat : 25318 (java) S 25303 25305 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674719700360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25319] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25319/stat : 25319 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674718649104 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25320] ppid=25303 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/25305/task/25320/stat : 25320 (java) S 25303 25305 24080 0 -1 4202560 8218 0 0 0 94 2 0 0 20 0 22 0 253700255 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674717595960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25321] ppid=25303 vsize=9824668 CPUtime=0.91 cores=0,2,4,6
/proc/25305/task/25321/stat : 25321 (java) S 25303 25305 24080 0 -1 4202560 6235 0 0 0 91 0 0 0 20 0 22 0 253700255 10060460032 55296 33554432000 1073741824 1073778376 140737190263120 139674716543416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=25305/tid=25311] ppid=25303 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/25305/task/25311/stat : 25311 (java) S 25303 25305 24080 0 -1 4202560 705 0 0 0 190 12 0 0 20 0 22 0 253700251 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674738428712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25312] ppid=25303 vsize=9824668 CPUtime=1.77 cores=0,2,4,6
/proc/25305/task/25312/stat : 25312 (java) S 25303 25305 24080 0 -1 4202560 639 0 0 0 166 11 0 0 20 0 22 0 253700251 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674737375656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25313] ppid=25303 vsize=9824668 CPUtime=1.71 cores=0,2,4,6
/proc/25305/task/25313/stat : 25313 (java) S 25303 25305 24080 0 -1 4202560 640 0 0 0 163 8 0 0 20 0 22 0 253700251 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674736323112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25314] ppid=25303 vsize=9824668 CPUtime=1.98 cores=0,2,4,6
/proc/25305/task/25314/stat : 25314 (java) S 25303 25305 24080 0 -1 4202560 632 0 0 0 189 9 0 0 20 0 22 0 253700251 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674735270056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25315] ppid=25303 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/25305/task/25315/stat : 25315 (java) S 25303 25305 24080 0 -1 4202560 744 0 0 0 171 9 0 0 20 0 22 0 253700251 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674734217512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25316] ppid=25303 vsize=9824668 CPUtime=114.78 cores=0,2,4,6
/proc/25305/task/25316/stat : 25316 (java) S 25303 25305 24080 0 -1 4202560 3764 0 0 0 11456 22 0 0 20 0 22 0 253700253 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674721807208 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25317] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25317/stat : 25317 (java) S 25303 25305 24080 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674720753528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25318] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25318/stat : 25318 (java) S 25303 25305 24080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674719700360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25319] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25319/stat : 25319 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674718649104 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25320] ppid=25303 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/25305/task/25320/stat : 25320 (java) S 25303 25305 24080 0 -1 4202560 8219 0 0 0 116 2 0 0 20 0 22 0 253700255 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674717595960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25321] ppid=25303 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/25305/task/25321/stat : 25321 (java) S 25303 25305 24080 0 -1 4202560 6254 0 0 0 134 1 0 0 20 0 22 0 253700255 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674716543416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25322] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25322/stat : 25322 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674715490552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25323] ppid=25303 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/25305/task/25323/stat : 25323 (java) S 25303 25305 24080 0 -1 4202560 55 0 0 0 9 13 0 0 20 0 22 0 253700255 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674714438216 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25336] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25336/stat : 25336 (java) S 25303 25305 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253700526 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674710225960 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25357] ppid=25303 vsize=9824668 CPUtime=485.4 cores=0,2,4,6
/proc/25305/task/25357/stat : 25357 (java) R 25303 25305 24080 0 -1 4202560 16 0 0 0 48533 7 0 0 20 0 22 0 253737440 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674711276976 139674770010668 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25358] ppid=25303 vsize=9824668 CPUtime=485.44 cores=0,2,4,6
/proc/25305/task/25358/stat : 25358 (java) R 25303 25305 24080 0 -1 4202560 13 0 0 0 48537 7 0 0 20 0 22 0 253737440 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674713381392 139674770065951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25359] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25359/stat : 25359 (java) S 25303 25305 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253737440 10060460032 677765 33554432000 1073741824 1073778376 140737190263120 139674712331048 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1772.44
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+955.301 s]
/proc/loadavg: 3.84 3.83 3.78 5/219 25425
/proc/meminfo: memFree=25727216/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=9824668 CPUtime=1798.57 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 27940 0 1 0 179706 151 0 0 20 0 22 0 253700250 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 2456167 677779 2287 9 0 2446860 0
[pid=25305/tid=25306] ppid=25303 vsize=9824668 CPUtime=0.79 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) S 25303 25305 24080 0 -1 4202560 2607 0 1 0 73 6 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674897597432 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25308] ppid=25303 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/25305/task/25308/stat : 25308 (java) S 25303 25305 24080 0 -1 4202560 437 0 0 0 174 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674741586856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25309] ppid=25303 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/25305/task/25309/stat : 25309 (java) S 25303 25305 24080 0 -1 4202560 632 0 0 0 169 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674740534312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25310] ppid=25303 vsize=9824668 CPUtime=2.01 cores=0,2,4,6
/proc/25305/task/25310/stat : 25310 (java) S 25303 25305 24080 0 -1 4202560 617 0 0 0 192 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674739481256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25311] ppid=25303 vsize=9824668 CPUtime=2.05 cores=0,2,4,6
/proc/25305/task/25311/stat : 25311 (java) S 25303 25305 24080 0 -1 4202560 705 0 0 0 193 12 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674738428712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25312] ppid=25303 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/25305/task/25312/stat : 25312 (java) S 25303 25305 24080 0 -1 4202560 639 0 0 0 169 11 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674737375656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25313] ppid=25303 vsize=9824668 CPUtime=1.73 cores=0,2,4,6
/proc/25305/task/25313/stat : 25313 (java) S 25303 25305 24080 0 -1 4202560 640 0 0 0 165 8 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674736323112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25314] ppid=25303 vsize=9824668 CPUtime=2.04 cores=0,2,4,6
/proc/25305/task/25314/stat : 25314 (java) S 25303 25305 24080 0 -1 4202560 642 0 0 0 195 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674735270056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25315] ppid=25303 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/25305/task/25315/stat : 25315 (java) S 25303 25305 24080 0 -1 4202560 744 0 0 0 174 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674734217512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25316] ppid=25303 vsize=9824668 CPUtime=114.78 cores=0,2,4,6
/proc/25305/task/25316/stat : 25316 (java) S 25303 25305 24080 0 -1 4202560 3766 0 0 0 11456 22 0 0 20 0 22 0 253700253 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674721807208 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25317] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25317/stat : 25317 (java) S 25303 25305 24080 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674720753528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25318] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25318/stat : 25318 (java) S 25303 25305 24080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674719700360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25319] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25319/stat : 25319 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674718649104 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25320] ppid=25303 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/25305/task/25320/stat : 25320 (java) S 25303 25305 24080 0 -1 4202560 8219 0 0 0 116 2 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674717595960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25321] ppid=25303 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/25305/task/25321/stat : 25321 (java) S 25303 25305 24080 0 -1 4202560 6254 0 0 0 134 1 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674716543416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25322] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25322/stat : 25322 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674715490552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25323] ppid=25303 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/25305/task/25323/stat : 25323 (java) S 25303 25305 24080 0 -1 4202560 55 0 0 0 9 14 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674714438216 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25336] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25336/stat : 25336 (java) S 25303 25305 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253700526 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674710225960 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25357] ppid=25303 vsize=9824668 CPUtime=498.31 cores=0,2,4,6
/proc/25305/task/25357/stat : 25357 (java) R 25303 25305 24080 0 -1 4202560 16 0 0 0 49824 7 0 0 20 0 22 0 253737440 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674711276032 139674769918477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25358] ppid=25303 vsize=9824668 CPUtime=498.35 cores=0,2,4,6
/proc/25305/task/25358/stat : 25358 (java) R 25303 25305 24080 0 -1 4202560 13 0 0 0 49828 7 0 0 20 0 22 0 253737440 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674713382336 139674770078499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25359] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25359/stat : 25359 (java) S 25303 25305 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253737440 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674712331048 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 9824668

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

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

[startup+955.301 s]
/proc/loadavg: 3.84 3.83 3.78 5/219 25425
/proc/meminfo: memFree=25727216/32873844 swapFree=7616/7616
[pid=25305] ppid=25303 vsize=9824668 CPUtime=1798.57 cores=0,2,4,6
/proc/25305/stat : 25305 (java) S 25303 25305 24080 0 -1 4202496 27940 0 1 0 179706 151 0 0 20 0 22 0 253700250 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 140737190254256 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25305/statm: 2456167 677779 2287 9 0 2446860 0
[pid=25305/tid=25306] ppid=25303 vsize=9824668 CPUtime=0.79 cores=0,2,4,6
/proc/25305/task/25306/stat : 25306 (java) S 25303 25305 24080 0 -1 4202560 2607 0 1 0 73 6 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674897597432 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25308] ppid=25303 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/25305/task/25308/stat : 25308 (java) S 25303 25305 24080 0 -1 4202560 437 0 0 0 174 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674741586856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25309] ppid=25303 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/25305/task/25309/stat : 25309 (java) S 25303 25305 24080 0 -1 4202560 632 0 0 0 169 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674740534312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25310] ppid=25303 vsize=9824668 CPUtime=2.01 cores=0,2,4,6
/proc/25305/task/25310/stat : 25310 (java) S 25303 25305 24080 0 -1 4202560 617 0 0 0 192 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674739481256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25311] ppid=25303 vsize=9824668 CPUtime=2.05 cores=0,2,4,6
/proc/25305/task/25311/stat : 25311 (java) S 25303 25305 24080 0 -1 4202560 705 0 0 0 193 12 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674738428712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25312] ppid=25303 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/25305/task/25312/stat : 25312 (java) S 25303 25305 24080 0 -1 4202560 639 0 0 0 169 11 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674737375656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25313] ppid=25303 vsize=9824668 CPUtime=1.73 cores=0,2,4,6
/proc/25305/task/25313/stat : 25313 (java) S 25303 25305 24080 0 -1 4202560 640 0 0 0 165 8 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674736323112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25314] ppid=25303 vsize=9824668 CPUtime=2.04 cores=0,2,4,6
/proc/25305/task/25314/stat : 25314 (java) S 25303 25305 24080 0 -1 4202560 642 0 0 0 195 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674735270056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25315] ppid=25303 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/25305/task/25315/stat : 25315 (java) S 25303 25305 24080 0 -1 4202560 744 0 0 0 174 9 0 0 20 0 22 0 253700251 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674734217512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25316] ppid=25303 vsize=9824668 CPUtime=114.78 cores=0,2,4,6
/proc/25305/task/25316/stat : 25316 (java) S 25303 25305 24080 0 -1 4202560 3766 0 0 0 11456 22 0 0 20 0 22 0 253700253 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674721807208 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25317] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25317/stat : 25317 (java) S 25303 25305 24080 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674720753528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25318] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25318/stat : 25318 (java) S 25303 25305 24080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253700253 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674719700360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25305/tid=25319] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25319/stat : 25319 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674718649104 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25320] ppid=25303 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/25305/task/25320/stat : 25320 (java) S 25303 25305 24080 0 -1 4202560 8219 0 0 0 116 2 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674717595960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25321] ppid=25303 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/25305/task/25321/stat : 25321 (java) S 25303 25305 24080 0 -1 4202560 6254 0 0 0 134 1 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674716543416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25322] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25322/stat : 25322 (java) S 25303 25305 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674715490552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25323] ppid=25303 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/25305/task/25323/stat : 25323 (java) S 25303 25305 24080 0 -1 4202560 55 0 0 0 9 14 0 0 20 0 22 0 253700255 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674714438216 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25336] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25336/stat : 25336 (java) S 25303 25305 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253700526 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674710225960 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25305/tid=25357] ppid=25303 vsize=9824668 CPUtime=498.31 cores=0,2,4,6
/proc/25305/task/25357/stat : 25357 (java) R 25303 25305 24080 0 -1 4202560 16 0 0 0 49824 7 0 0 20 0 22 0 253737440 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674711276032 139674769918477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25305/tid=25358] ppid=25303 vsize=9824668 CPUtime=498.35 cores=0,2,4,6
/proc/25305/task/25358/stat : 25358 (java) R 25303 25305 24080 0 -1 4202560 13 0 0 0 49828 7 0 0 20 0 22 0 253737440 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674713382336 139674770078499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25305/tid=25359] ppid=25303 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25305/task/25359/stat : 25359 (java) S 25303 25305 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253737440 10060460032 677779 33554432000 1073741824 1073778376 140737190263120 139674712331048 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 9824668

Child status: 143

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


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

Real time (s): 955.343
CPU time (s): 1800.04
CPU user time (s): 1798.64
CPU system time (s): 1.4
CPU usage (%): 188.418
Max. virtual memory (cumulated for all children) (KiB): 9826576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.17
system time used= 1.85372
maximum resident set size= 2711232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27970
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25288
involuntary context switches= 32374

runsolver used 3.52146 second user time and 7.99278 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-24 18:09:19
IDJOB=3688146
IDBENCH=2848
IDSOLVER=2268
FILE ID=node141/3688146-1337875759
RUNJOBID= node141-1337871880-24097
PBS_JOBID= 14620063
Free space on /tmp= 71684 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688146-1337875759/watcher-3688146-1337875759 -o /tmp/evaluation-result-3688146-1337875759/solver-3688146-1337875759 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688146-1337875759.opb

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

MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59
RANDOM SEED=1946432027

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28367120 kB
Buffers:          213248 kB
Cached:          3037076 kB
SwapCached:            0 kB
Active:           879916 kB
Inactive:        2855732 kB
Active(anon):     487892 kB
Inactive(anon):        0 kB
Active(file):     392024 kB
Inactive(file):  2855732 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2908 kB
Writeback:             0 kB
AnonPages:        457640 kB
Mapped:            22500 kB
Shmem:               200 kB
Slab:             629968 kB
SReclaimable:      72248 kB
SUnreclaim:       557720 kB
KernelStack:        1800 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     797264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71684 MiB
End job on node141 at 2012-05-24 18:25:17