Trace number 4085002

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)3406633 1800.76 1793.06

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_2.opb
MD5SUM0c9f9f4d9069e955741fce23953a7e72
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3406405
Best CPU time to get the best result obtained on this benchmark1800.51
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4085002-1465341286.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.78/0.48	c ... done. Wall clock time 0.356s.
0.78/0.48	c declared #vars     5100
0.78/0.48	c #constraints  12512
0.78/0.48	c constraints type 
0.78/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
0.78/0.48	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
0.78/0.48	c org.sat4j.specs.Constr$1 => 2
0.78/0.48	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
0.78/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
0.78/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.78/0.48	c 12512 constraints processed.
0.78/0.48	c objective function length is 4950 literals
1.37/0.66	c SATISFIABLE
1.37/0.66	c OPTIMIZING...
1.37/0.66	c Got one! Elapsed wall clock time (in seconds):0.54
1.37/0.66	o 3417891
1.62/0.72	c Got one! Elapsed wall clock time (in seconds):0.599
1.62/0.72	o 3413901
1.62/0.79	c Got one! Elapsed wall clock time (in seconds):0.665
1.62/0.79	o 3406633
3.51/2.33	c cleaning 2567 clauses out of 5138 with flag 11337/5138
5.06/3.82	c cleaning 4284 clauses out of 8572 with flag 23801/11139
6.87/5.61	c cleaning 5645 clauses out of 11290 with flag 38772/18141
8.82/7.52	c cleaning 6822 clauses out of 13643 with flag 55643/26139
11.05/9.70	c cleaning 7898 clauses out of 15820 with flag 74299/35138
13.35/12.01	c cleaning 8953 clauses out of 17922 with flag 97371/45138
15.65/14.39	c cleaning 9977 clauses out of 19970 with flag 119772/56139
18.44/17.14	c cleaning 10989 clauses out of 21993 with flag 144149/68139
21.78/20.42	c cleaning 11993 clauses out of 24003 with flag 170438/81138
25.38/24.05	c cleaning 12992 clauses out of 26010 with flag 198969/95138
29.28/27.93	c cleaning 14000 clauses out of 28019 with flag 229505/110139
33.29/31.99	c cleaning 15005 clauses out of 30019 with flag 262108/126139
37.79/36.46	c cleaning 15993 clauses out of 32013 with flag 296616/143138
42.58/41.21	c cleaning 17000 clauses out of 34020 with flag 333193/161138
48.08/46.74	c cleaning 18009 clauses out of 36022 with flag 371881/180140
53.02/51.67	c cleaning 18999 clauses out of 38011 with flag 417474/200138
57.42/56.10	c cleaning 20001 clauses out of 40013 with flag 460108/221139
62.42/61.01	c cleaning 20996 clauses out of 42011 with flag 504851/243138
67.86/66.33	c cleaning 21975 clauses out of 43960 with flag 568401/266138
72.62/70.70	c cleaning 22984 clauses out of 45975 with flag 619623/290138
76.92/74.74	c cleaning 23993 clauses out of 47986 with flag 671769/315139
81.72/79.53	c cleaning 24989 clauses out of 49991 with flag 724481/341138
86.86/84.69	c cleaning 25997 clauses out of 52003 with flag 778774/368139
91.56/89.31	c cleaning 26991 clauses out of 53997 with flag 837006/396138
96.45/94.27	c cleaning 27998 clauses out of 56007 with flag 895301/425139
101.85/99.64	c cleaning 29000 clauses out of 58008 with flag 955476/455138
107.35/105.16	c cleaning 30005 clauses out of 60009 with flag 1017762/486139
113.15/110.99	c cleaning 31000 clauses out of 62003 with flag 1081991/518138
119.25/117.04	c cleaning 31998 clauses out of 64003 with flag 1148231/551138
125.90/123.67	c cleaning 32997 clauses out of 66005 with flag 1218602/585138
132.91/130.63	c cleaning 33997 clauses out of 68008 with flag 1290497/620138
140.21/137.96	c cleaning 34998 clauses out of 70012 with flag 1364420/656139
147.61/145.34	c cleaning 35999 clauses out of 72014 with flag 1441485/693139
154.70/152.40	c cleaning 37002 clauses out of 74014 with flag 1518746/731138
162.19/159.84	c cleaning 38000 clauses out of 76012 with flag 1598592/770138
169.29/166.97	c cleaning 38992 clauses out of 78012 with flag 1680858/810138
177.49/175.18	c cleaning 40009 clauses out of 80020 with flag 1767894/851138
185.79/183.44	c cleaning 41003 clauses out of 82012 with flag 1862621/893139
194.54/192.02	c cleaning 41990 clauses out of 84008 with flag 1958805/936138
204.04/201.58	c cleaning 43001 clauses out of 86020 with flag 2053665/980140
213.44/210.98	c cleaning 44007 clauses out of 88019 with flag 2145482/1025140
222.84/220.31	c cleaning 44999 clauses out of 90010 with flag 2238484/1071138
233.00/230.48	c cleaning 45998 clauses out of 92011 with flag 2333679/1118138
242.30/239.71	c cleaning 46994 clauses out of 94012 with flag 2439915/1166138
253.31/250.72	c cleaning 48005 clauses out of 96019 with flag 2541170/1215139
265.20/262.52	c cleaning 48992 clauses out of 98013 with flag 2642371/1265138
277.30/274.64	c cleaning 49995 clauses out of 100022 with flag 2745937/1316139
288.40/285.73	c cleaning 51006 clauses out of 102026 with flag 2852707/1368138
301.02/298.29	c cleaning 52006 clauses out of 104020 with flag 2961384/1421138
313.31/310.59	c cleaning 53007 clauses out of 106015 with flag 3076002/1475139
327.50/324.72	c cleaning 53997 clauses out of 108008 with flag 3189058/1530139
342.22/339.38	c cleaning 54997 clauses out of 110010 with flag 3303906/1586138
354.52/351.68	c cleaning 55996 clauses out of 112013 with flag 3419748/1643138
367.57/364.54	c cleaning 57001 clauses out of 114017 with flag 3540365/1701138
381.37/378.39	c cleaning 58001 clauses out of 116016 with flag 3659800/1760138
394.88/391.73	c cleaning 59004 clauses out of 118015 with flag 3780902/1820138
410.19/407.07	c cleaning 60005 clauses out of 120011 with flag 3908251/1881138
427.28/424.10	c cleaning 60996 clauses out of 122008 with flag 4042748/1943140
444.57/441.34	c cleaning 62001 clauses out of 124010 with flag 4178313/2006138
462.66/459.37	c cleaning 62991 clauses out of 126009 with flag 4319992/2070138
481.34/477.90	c cleaning 64002 clauses out of 128018 with flag 4461906/2135138
500.04/496.64	c cleaning 64989 clauses out of 130016 with flag 4604374/2201138
518.78/515.36	c cleaning 66001 clauses out of 132027 with flag 4746695/2268138
534.08/530.68	c cleaning 67000 clauses out of 134012 with flag 4904769/2336138
550.89/547.43	c cleaning 67993 clauses out of 135990 with flag 5083200/2405139
566.69/563.11	c cleaning 68994 clauses out of 137996 with flag 5248669/2475138
584.89/581.31	c cleaning 69990 clauses out of 140003 with flag 5403577/2546139
602.26/598.63	c cleaning 70998 clauses out of 142013 with flag 5554220/2618139
619.83/616.16	c cleaning 72001 clauses out of 144014 with flag 5704851/2691138
639.82/636.19	c cleaning 73001 clauses out of 146012 with flag 5860865/2765138
658.87/655.10	c cleaning 74000 clauses out of 148012 with flag 6016726/2840139
678.73/674.92	c cleaning 74998 clauses out of 150011 with flag 6173314/2916138
697.33/693.57	c cleaning 76002 clauses out of 152014 with flag 6332996/2993139
716.01/712.19	c cleaning 76995 clauses out of 154010 with flag 6501418/3071138
736.46/732.56	c cleaning 77998 clauses out of 156015 with flag 6674322/3150138
756.63/752.68	c cleaning 79003 clauses out of 158017 with flag 6856120/3230138
779.73/775.76	c cleaning 79998 clauses out of 160015 with flag 7037734/3311139
798.75/794.77	c cleaning 81000 clauses out of 162017 with flag 7218439/3393139
819.99/815.97	c cleaning 82001 clauses out of 164017 with flag 7394335/3476139
839.77/835.68	c cleaning 82998 clauses out of 166013 with flag 7597412/3560138
860.24/856.07	c cleaning 84000 clauses out of 168016 with flag 7781496/3645139
883.53/879.28	c cleaning 84999 clauses out of 170016 with flag 7959497/3731139
910.42/906.00	c cleaning 85997 clauses out of 172015 with flag 8155224/3818138
933.40/928.90	c cleaning 87002 clauses out of 174018 with flag 8359343/3906139
956.76/952.30	c cleaning 87997 clauses out of 176016 with flag 8541003/3995139
983.94/979.34	c cleaning 89003 clauses out of 178019 with flag 8725892/4085139
1010.08/1005.44	c cleaning 90000 clauses out of 180016 with flag 8914953/4176139
1036.46/1031.72	c cleaning 91006 clauses out of 182015 with flag 9105701/4268138
1065.38/1060.51	c cleaning 91999 clauses out of 184010 with flag 9298871/4361139
1092.95/1088.03	c cleaning 93001 clauses out of 186010 with flag 9493240/4455138
1123.74/1118.77	c cleaning 94003 clauses out of 188009 with flag 9695492/4550138
1154.44/1149.31	c cleaning 95000 clauses out of 190007 with flag 9904512/4646139
1185.90/1180.75	c cleaning 96001 clauses out of 192007 with flag 10107668/4743139
1220.80/1215.53	c cleaning 96999 clauses out of 194005 with flag 10310248/4841138
1252.55/1247.28	c cleaning 97996 clauses out of 196007 with flag 10517906/4940139
1284.95/1279.53	c cleaning 99002 clauses out of 198011 with flag 10727173/5040139
1319.42/1313.81	c cleaning 99997 clauses out of 200008 with flag 10935872/5141138
1354.07/1348.48	c cleaning 101002 clauses out of 202011 with flag 11145446/5243138
1387.16/1381.46	c cleaning 101997 clauses out of 204009 with flag 11358052/5346138
1428.45/1422.66	c cleaning 103004 clauses out of 206012 with flag 11568343/5450138
1469.56/1463.61	c cleaning 104002 clauses out of 208008 with flag 11782849/5555138
1512.24/1506.17	c cleaning 104994 clauses out of 210007 with flag 11999315/5661139
1553.80/1547.50	c cleaning 106000 clauses out of 212013 with flag 12219147/5768139
1594.32/1587.93	c cleaning 107006 clauses out of 214012 with flag 12442406/5876138
1635.63/1629.16	c cleaning 107998 clauses out of 216007 with flag 12670113/5985139
1679.24/1672.59	c cleaning 108989 clauses out of 218008 with flag 12898963/6095138
1726.14/1719.35	c cleaning 110005 clauses out of 220019 with flag 13129905/6206138
1773.10/1766.15	c cleaning 111003 clauses out of 222014 with flag 13359228/6318138
1800.09/1793.01	c starts		: 628
1800.09/1793.01	c conflicts		: 6402411
1800.09/1793.01	c decisions		: 7134747
1800.09/1793.01	c propagations		: 89162234
1800.09/1793.01	c inspects		: 20906816888
1800.09/1793.01	c shortcuts		: 0
1800.09/1793.01	c learnt literals	: 124
1800.09/1793.01	c learnt binary clauses	: 48
1800.09/1793.01	c learnt ternary clauses	: 317
1800.09/1793.01	c learnt constraints	: 6402287
1800.09/1793.01	c ignored constraints	: 0
1800.09/1793.01	c root simplifications	: 0
1800.09/1793.01	c removed literals (reason simplification)	: 0
1800.09/1793.01	c reason swapping (by a shorter reason)	: 0
1800.09/1793.01	c Calls to reduceDB	: 108
1800.09/1793.01	c Number of update (reduction) of LBD	: 67536
1800.09/1793.01	c Imported unit clauses	: 0
1800.09/1793.01	c number of reductions to clauses (during analyze)	: 0
1800.09/1793.01	c number of learned constraints concerned by reduction	: 0
1800.09/1793.01	c number of learning phase by resolution	: 0
1800.09/1793.01	c number of learning phase by cutting planes	: 0
1800.09/1793.01	c speed (assignments/second)	: 49741.637829029394
1800.09/1793.01	c non guided choices	152
1800.09/1793.04	c learnt constraints type 
1800.09/1793.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 48
1800.09/1793.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 195236
1800.09/1793.04	s SATISFIABLE
1800.09/1793.04	c Found 3 solution(s)
1800.09/1793.05	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 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.09/1793.06	c objective function=3406633
1800.09/1793.06	c Total wall clock time (in seconds): 1792.937

Verifier Data 

OK	3406633

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4085002-1465341286/watcher-4085002-1465341286 -o /tmp/evaluation-result-4085002-1465341286/solver-4085002-1465341286 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23537 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085002-1465341286.opb 

pid=26907
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: 2.00 2.00 2.00 3/194 26910
/proc/meminfo: memFree=30362668/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/26910/stat : 26910 (java) D 26907 26910 27127 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 116063870 2560000 46 33554432000 1073741824 1073778376 140733271698640 140733271695768 249640873255 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 625 46 37 9 0 29 0

[startup+0.100129 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26910
/proc/meminfo: memFree=30362668/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 4384 0 1 0 8 0 0 0 20 0 18 0 116063870 9787879424 5500 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2389619 5500 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20027 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26910
/proc/meminfo: memFree=30362668/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 5090 0 1 0 27 1 0 0 20 0 18 0 116063870 9787879424 6987 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2389619 6987 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300281 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26910
/proc/meminfo: memFree=30362668/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 5709 0 1 0 47 1 0 0 20 0 18 0 116063870 9787879424 9259 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2389619 9259 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700243 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26910
/proc/meminfo: memFree=30362668/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9625040 CPUtime=1.62 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 11426 0 1 0 159 3 0 0 20 0 19 0 116063870 9856040960 18121 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2406260 18121 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26929
/proc/meminfo: memFree=30292976/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9625040 CPUtime=2.65 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 11435 0 1 0 262 3 0 0 20 0 19 0 116063870 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2406260 20174 2269 9 0 2396937 0
[pid=26910/tid=26912] ppid=26907 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/26910/task/26912/stat : 26912 (java) R 26907 26910 27127 0 -1 4202560 2429 0 1 0 144 2 0 0 20 0 19 0 116063872 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770395218224 139770265954747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26913] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26913/stat : 26913 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770384288040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26914] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26914/stat : 26914 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770237499560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26915] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26915/stat : 26915 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770236447272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26910/tid=26916] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26916/stat : 26916 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770235394472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26917] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26917/stat : 26917 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770234342184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26918] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26918/stat : 26918 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770233289384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26919] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26919/stat : 26919 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770232237096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26920] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26920/stat : 26920 (java) S 26907 26910 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770231184296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26921] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26921/stat : 26921 (java) S 26907 26910 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116063874 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770218985704 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26922] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26922/stat : 26922 (java) S 26907 26910 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770217931768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26923] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26923/stat : 26923 (java) S 26907 26910 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770216879368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26924] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26924/stat : 26924 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770215827856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26925] ppid=26907 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/26910/task/26925/stat : 26925 (java) S 26907 26910 27127 0 -1 4202560 4198 0 0 0 61 0 0 0 20 0 19 0 116063877 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770214775480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26926] ppid=26907 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/26910/task/26926/stat : 26926 (java) S 26907 26910 27127 0 -1 4202560 3531 0 0 0 54 0 0 0 20 0 19 0 116063877 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770213722680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26927] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26927/stat : 26927 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770212670584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26928] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26928/stat : 26928 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770211617992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26929] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26929/stat : 26929 (java) S 26907 26910 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116063921 9856040960 20174 33554432000 1073741824 1073778376 140733950513312 139770210562984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26929
/proc/meminfo: memFree=30286336/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9625040 CPUtime=4.33 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 11447 0 1 0 430 3 0 0 20 0 19 0 116063870 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2406260 22228 2274 9 0 2396937 0
[pid=26910/tid=26912] ppid=26907 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/26910/task/26912/stat : 26912 (java) R 26907 26910 27127 0 -1 4202560 2435 0 1 0 304 2 0 0 20 0 19 0 116063872 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770395226344 139770265817164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26913] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26913/stat : 26913 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770384288040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26914] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26914/stat : 26914 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770237499560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26915] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26915/stat : 26915 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770236447272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26910/tid=26916] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26916/stat : 26916 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770235394472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26917] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26917/stat : 26917 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770234342184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26918] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26918/stat : 26918 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770233289384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26919] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26919/stat : 26919 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770232237096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26920] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26920/stat : 26920 (java) S 26907 26910 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770231184296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26921] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26921/stat : 26921 (java) S 26907 26910 27127 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 116063874 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770218985704 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26922] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26922/stat : 26922 (java) S 26907 26910 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770217931768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26923] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26923/stat : 26923 (java) S 26907 26910 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770216879368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26924] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26924/stat : 26924 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770215827856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26925] ppid=26907 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/26910/task/26925/stat : 26925 (java) S 26907 26910 27127 0 -1 4202560 4201 0 0 0 68 0 0 0 20 0 19 0 116063877 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770214775480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26926] ppid=26907 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/26910/task/26926/stat : 26926 (java) S 26907 26910 27127 0 -1 4202560 3533 0 0 0 55 0 0 0 20 0 19 0 116063877 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770213722680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26927] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26927/stat : 26927 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770212670584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26928] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26928/stat : 26928 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770211617992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26929] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26929/stat : 26929 (java) S 26907 26910 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116063921 9856040960 22228 33554432000 1073741824 1073778376 140733950513312 139770210562984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26929
/proc/meminfo: memFree=30269540/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9625040 CPUtime=7.57 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 11458 0 1 0 754 3 0 0 20 0 19 0 116063870 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2406260 26763 2274 9 0 2396937 0
[pid=26910/tid=26912] ppid=26907 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/26910/task/26912/stat : 26912 (java) R 26907 26910 27127 0 -1 4202560 2446 0 1 0 624 2 0 0 20 0 19 0 116063872 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770395217632 139770265954819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26913] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26913/stat : 26913 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770384288040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26914] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26914/stat : 26914 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770237499560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26915] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26915/stat : 26915 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770236447272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26910/tid=26916] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26916/stat : 26916 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770235394472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26917] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26917/stat : 26917 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770234342184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26918] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26918/stat : 26918 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770233289384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26919] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26919/stat : 26919 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770232237096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26920] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26920/stat : 26920 (java) S 26907 26910 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116063873 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770231184296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26921] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26921/stat : 26921 (java) S 26907 26910 27127 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 116063874 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770218985704 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26922] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26922/stat : 26922 (java) S 26907 26910 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770217931768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26923] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26923/stat : 26923 (java) S 26907 26910 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770216879368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26924] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26924/stat : 26924 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770215827856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26925] ppid=26907 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/26910/task/26925/stat : 26925 (java) S 26907 26910 27127 0 -1 4202560 4201 0 0 0 71 0 0 0 20 0 19 0 116063877 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770214775480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26926] ppid=26907 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/26910/task/26926/stat : 26926 (java) S 26907 26910 27127 0 -1 4202560 3533 0 0 0 57 0 0 0 20 0 19 0 116063877 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770213722680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26927] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26927/stat : 26927 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770212670584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26928] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26928/stat : 26928 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770211617992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26929] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26929/stat : 26929 (java) S 26907 26910 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116063921 9856040960 26763 33554432000 1073741824 1073778376 140733950513312 139770210562984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 9625040


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

/proc/26910/task/26922/stat : 26922 (java) S 26907 26910 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 96709 33554432000 1073741824 1073778376 140733950513312 139770217931768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26923] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26923/stat : 26923 (java) S 26907 26910 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 96709 33554432000 1073741824 1073778376 140733950513312 139770216879368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26924] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26924/stat : 26924 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 96709 33554432000 1073741824 1073778376 140733950513312 139770215827856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26925] ppid=26907 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/26910/task/26925/stat : 26925 (java) S 26907 26910 27127 0 -1 4202560 12905 0 0 0 140 2 0 0 20 0 19 0 116063877 9856040960 96709 33554432000 1073741824 1073778376 140733950513312 139770214775480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26926] ppid=26907 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/26910/task/26926/stat : 26926 (java) S 26907 26910 27127 0 -1 4202560 3543 0 0 0 76 0 0 0 20 0 19 0 116063877 9856040960 96709 33554432000 1073741824 1073778376 140733950513312 139770213722680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26927] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26927/stat : 26927 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 96709 33554432000 1073741824 1073778376 140733950513312 139770212670584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26928] ppid=26907 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26910/task/26928/stat : 26928 (java) S 26907 26910 27127 0 -1 4202560 95 0 0 0 17 22 0 0 20 0 19 0 116063877 9856040960 96709 33554432000 1073741824 1073778376 140733950513312 139770211617992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26929] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26929/stat : 26929 (java) S 26907 26910 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116063921 9856040960 96709 33554432000 1073741824 1073778376 140733950513312 139770210562984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1668.94
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 27038
/proc/meminfo: memFree=29866628/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9625040 CPUtime=1729.16 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 23841 0 1 0 172837 79 0 0 20 0 19 0 116063870 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2406260 101903 2296 9 0 2396937 0
[pid=26910/tid=26912] ppid=26907 vsize=9625040 CPUtime=1719.34 cores=0,2,4,6
/proc/26910/task/26912/stat : 26912 (java) R 26907 26910 27127 0 -1 4202560 2558 0 1 0 171901 33 0 0 20 0 19 0 116063872 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770395225328 139770265816637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26913] ppid=26907 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/26910/task/26913/stat : 26913 (java) S 26907 26910 27127 0 -1 4202560 290 0 0 0 65 6 0 0 20 0 19 0 116063873 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770384288040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26914] ppid=26907 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/26910/task/26914/stat : 26914 (java) S 26907 26910 27127 0 -1 4202560 198 0 0 0 72 4 0 0 20 0 19 0 116063873 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770237499560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26915] ppid=26907 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/26910/task/26915/stat : 26915 (java) S 26907 26910 27127 0 -1 4202560 552 0 0 0 86 7 0 0 20 0 19 0 116063873 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770236447272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26910/tid=26916] ppid=26907 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/26910/task/26916/stat : 26916 (java) S 26907 26910 27127 0 -1 4202560 615 0 0 0 80 7 0 0 20 0 19 0 116063873 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770235394472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26910/tid=26917] ppid=26907 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/26910/task/26917/stat : 26917 (java) S 26907 26910 27127 0 -1 4202560 373 0 0 0 80 6 0 0 20 0 19 0 116063873 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770234342184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26918] ppid=26907 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/26910/task/26918/stat : 26918 (java) S 26907 26910 27127 0 -1 4202560 322 0 0 0 72 6 0 0 20 0 19 0 116063873 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770233289384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26919] ppid=26907 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/26910/task/26919/stat : 26919 (java) S 26907 26910 27127 0 -1 4202560 553 0 0 0 80 8 0 0 20 0 19 0 116063873 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770232237096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26920] ppid=26907 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/26910/task/26920/stat : 26920 (java) S 26907 26910 27127 0 -1 4202560 305 0 0 0 77 6 0 0 20 0 19 0 116063873 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770231184296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26921] ppid=26907 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/26910/task/26921/stat : 26921 (java) S 26907 26910 27127 0 -1 4202560 265 0 0 0 81 3 0 0 20 0 19 0 116063874 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770218985704 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26922] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26922/stat : 26922 (java) S 26907 26910 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770217931768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26923] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26923/stat : 26923 (java) S 26907 26910 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770216879368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26924] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26924/stat : 26924 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770215827856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26925] ppid=26907 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/26910/task/26925/stat : 26925 (java) S 26907 26910 27127 0 -1 4202560 12905 0 0 0 140 2 0 0 20 0 19 0 116063877 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770214775480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26926] ppid=26907 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/26910/task/26926/stat : 26926 (java) S 26907 26910 27127 0 -1 4202560 3543 0 0 0 76 0 0 0 20 0 19 0 116063877 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770213722680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26927] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26927/stat : 26927 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770212670584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26928] ppid=26907 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/26910/task/26928/stat : 26928 (java) S 26907 26910 27127 0 -1 4202560 99 0 0 0 18 23 0 0 20 0 19 0 116063877 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770211617992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26929] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26929/stat : 26929 (java) S 26907 26910 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116063921 9856040960 101903 33554432000 1073741824 1073778376 140733950513312 139770210562984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1729.16
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 27039
/proc/meminfo: memFree=29878356/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9625040 CPUtime=1789.38 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 23866 0 1 0 178858 80 0 0 20 0 19 0 116063870 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2406260 100248 2296 9 0 2396937 0
[pid=26910/tid=26912] ppid=26907 vsize=9625040 CPUtime=1779.25 cores=0,2,4,6
/proc/26910/task/26912/stat : 26912 (java) R 26907 26910 27127 0 -1 4202560 2562 0 1 0 177891 34 0 0 20 0 19 0 116063872 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770395225448 139770265836548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26913] ppid=26907 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/26910/task/26913/stat : 26913 (java) S 26907 26910 27127 0 -1 4202560 303 0 0 0 70 7 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770384288040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26914] ppid=26907 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/26910/task/26914/stat : 26914 (java) S 26907 26910 27127 0 -1 4202560 198 0 0 0 75 4 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770237499560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26915] ppid=26907 vsize=9625040 CPUtime=0.98 cores=0,2,4,6
/proc/26910/task/26915/stat : 26915 (java) S 26907 26910 27127 0 -1 4202560 552 0 0 0 91 7 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770236447272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26916] ppid=26907 vsize=9625040 CPUtime=0.89 cores=0,2,4,6
/proc/26910/task/26916/stat : 26916 (java) S 26907 26910 27127 0 -1 4202560 615 0 0 0 82 7 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770235394472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26917] ppid=26907 vsize=9625040 CPUtime=0.89 cores=0,2,4,6
/proc/26910/task/26917/stat : 26917 (java) S 26907 26910 27127 0 -1 4202560 373 0 0 0 83 6 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770234342184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26910/tid=26918] ppid=26907 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/26910/task/26918/stat : 26918 (java) S 26907 26910 27127 0 -1 4202560 322 0 0 0 77 6 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770233289384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26919] ppid=26907 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/26910/task/26919/stat : 26919 (java) S 26907 26910 27127 0 -1 4202560 553 0 0 0 85 8 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770232237096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26920] ppid=26907 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/26910/task/26920/stat : 26920 (java) S 26907 26910 27127 0 -1 4202560 305 0 0 0 80 6 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770231184296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26921] ppid=26907 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/26910/task/26921/stat : 26921 (java) S 26907 26910 27127 0 -1 4202560 269 0 0 0 81 3 0 0 20 0 19 0 116063874 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770218985704 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26922] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26922/stat : 26922 (java) S 26907 26910 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770217931768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26923] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26923/stat : 26923 (java) S 26907 26910 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770216879368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26924] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26924/stat : 26924 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770215827856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26925] ppid=26907 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/26910/task/26925/stat : 26925 (java) S 26907 26910 27127 0 -1 4202560 12905 0 0 0 140 2 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770214775480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26926] ppid=26907 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/26910/task/26926/stat : 26926 (java) S 26907 26910 27127 0 -1 4202560 3543 0 0 0 76 0 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770213722680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26927] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26927/stat : 26927 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770212670584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26928] ppid=26907 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/26910/task/26928/stat : 26928 (java) S 26907 26910 27127 0 -1 4202560 103 0 0 0 19 24 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770211617992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26929] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26929/stat : 26929 (java) S 26907 26910 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116063921 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770210562984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 27039
/proc/meminfo: memFree=29881580/32872528 swapFree=10608/190480
[pid=26910] ppid=26907 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/26910/stat : 26910 (java) S 26907 26910 27127 0 -1 4202496 23866 0 1 0 179929 80 0 0 20 0 19 0 116063870 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 140733950504448 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26910/statm: 2406260 100248 2296 9 0 2396937 0
[pid=26910/tid=26912] ppid=26907 vsize=9625040 CPUtime=1789.96 cores=0,2,4,6
/proc/26910/task/26912/stat : 26912 (java) R 26907 26910 27127 0 -1 4202560 2562 0 1 0 178962 34 0 0 20 0 19 0 116063872 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770395225328 139770265816637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26913] ppid=26907 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/26910/task/26913/stat : 26913 (java) S 26907 26910 27127 0 -1 4202560 303 0 0 0 70 7 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770384288040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26914] ppid=26907 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/26910/task/26914/stat : 26914 (java) S 26907 26910 27127 0 -1 4202560 198 0 0 0 75 4 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770237499560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26915] ppid=26907 vsize=9625040 CPUtime=0.98 cores=0,2,4,6
/proc/26910/task/26915/stat : 26915 (java) S 26907 26910 27127 0 -1 4202560 552 0 0 0 91 7 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770236447272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26916] ppid=26907 vsize=9625040 CPUtime=0.89 cores=0,2,4,6
/proc/26910/task/26916/stat : 26916 (java) S 26907 26910 27127 0 -1 4202560 615 0 0 0 82 7 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770235394472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26917] ppid=26907 vsize=9625040 CPUtime=0.89 cores=0,2,4,6
/proc/26910/task/26917/stat : 26917 (java) S 26907 26910 27127 0 -1 4202560 373 0 0 0 83 6 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770234342184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26910/tid=26918] ppid=26907 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/26910/task/26918/stat : 26918 (java) S 26907 26910 27127 0 -1 4202560 322 0 0 0 77 6 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770233289384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26919] ppid=26907 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/26910/task/26919/stat : 26919 (java) S 26907 26910 27127 0 -1 4202560 553 0 0 0 85 8 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770232237096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26920] ppid=26907 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/26910/task/26920/stat : 26920 (java) S 26907 26910 27127 0 -1 4202560 305 0 0 0 80 6 0 0 20 0 19 0 116063873 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770231184296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26921] ppid=26907 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/26910/task/26921/stat : 26921 (java) S 26907 26910 27127 0 -1 4202560 269 0 0 0 81 3 0 0 20 0 19 0 116063874 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770218985704 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26910/tid=26922] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26922/stat : 26922 (java) S 26907 26910 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770217931768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26923] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26923/stat : 26923 (java) S 26907 26910 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116063875 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770216879368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26924] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26924/stat : 26924 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770215827856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26925] ppid=26907 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/26910/task/26925/stat : 26925 (java) S 26907 26910 27127 0 -1 4202560 12905 0 0 0 140 2 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770214775480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26926] ppid=26907 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/26910/task/26926/stat : 26926 (java) S 26907 26910 27127 0 -1 4202560 3543 0 0 0 76 0 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770213722680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26927] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26927/stat : 26927 (java) S 26907 26910 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770212670584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26910/tid=26928] ppid=26907 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/26910/task/26928/stat : 26928 (java) S 26907 26910 27127 0 -1 4202560 103 0 0 0 19 24 0 0 20 0 19 0 116063877 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770211617992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26910/tid=26929] ppid=26907 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26910/task/26929/stat : 26929 (java) S 26907 26910 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116063921 9856040960 100248 33554432000 1073741824 1073778376 140733950513312 139770210562984 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26910 sig 9
??? kill -26910 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1793.06
CPU time (s): 1800.76
CPU user time (s): 1799.47
CPU system time (s): 1.2928
CPU usage (%): 100.429
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 1.2928
maximum resident set size= 617208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23903
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40421
involuntary context switches= 29284

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1525 second user time and 13.323 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-08 01:14:46
IDJOB=4085002
IDBENCH=92747
IDSOLVER=2546
FILE ID=node102/4085002-1465341286
RUNJOBID= node102-1465312757-23537
PBS_JOBID= 19850416
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085002-1465341286/watcher-4085002-1465341286 -o /tmp/evaluation-result-4085002-1465341286/solver-4085002-1465341286 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23537 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085002-1465341286.opb

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

MD5SUM BENCH= 0c9f9f4d9069e955741fce23953a7e72
RANDOM SEED=910756081

node102.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.470
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	: 5332.94
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.470
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	: 5332.55
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.470
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	: 5332.55
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.470
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	: 5332.56
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.470
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	: 5332.56
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.470
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	: 5332.55
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.470
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	: 5332.55
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.470
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30362832 kB
Buffers:          205304 kB
Cached:           800072 kB
SwapCached:         2708 kB
Active:           790880 kB
Inactive:         748844 kB
Active(anon):     533856 kB
Inactive(anon):     2576 kB
Active(file):     257024 kB
Inactive(file):   746268 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098748 kB
Dirty:              1236 kB
Writeback:             0 kB
AnonPages:        816844 kB
Mapped:            16496 kB
Shmem:                 0 kB
Slab:             633908 kB
SReclaimable:      77656 kB
SUnreclaim:       556252 kB
KernelStack:        1760 kB
PageTables:         5600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     982260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    768000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node102 at 2016-06-08 01:44:39