Trace number 4085006

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)3194111 1800.69 1793.16

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_9.opb
MD5SUM796ce15de170aa64363741766a49999c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3169501
Best CPU time to get the best result obtained on this benchmark1800.85
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 143055667
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 44011059162
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143055667
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 44011059162
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085006-1465340770.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.83/0.46	c ... done. Wall clock time 0.346s.
0.83/0.46	c declared #vars     5100
0.83/0.46	c #constraints  12512
0.83/0.46	c constraints type 
0.83/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
0.83/0.46	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
0.83/0.46	c org.sat4j.specs.Constr$1 => 2
0.83/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
0.83/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
0.83/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.83/0.46	c 12512 constraints processed.
0.83/0.46	c objective function length is 4950 literals
1.41/0.65	c SATISFIABLE
1.41/0.65	c OPTIMIZING...
1.41/0.65	c Got one! Elapsed wall clock time (in seconds):0.537
1.41/0.65	o 3257427
1.66/0.72	c Got one! Elapsed wall clock time (in seconds):0.604
1.66/0.72	o 3194111
2.78/1.74	c cleaning 2578 clauses out of 5176 with flag 10217/5176
4.28/3.12	c cleaning 4293 clauses out of 8598 with flag 23460/11176
5.70/4.56	c cleaning 5644 clauses out of 11305 with flag 38113/18176
7.40/6.27	c cleaning 6823 clauses out of 13661 with flag 54792/26176
9.41/8.25	c cleaning 7907 clauses out of 15840 with flag 74466/35178
11.81/10.62	c cleaning 8964 clauses out of 17932 with flag 95970/45177
14.22/13.09	c cleaning 9975 clauses out of 19967 with flag 118829/56176
17.32/16.17	c cleaning 10997 clauses out of 21993 with flag 146158/68177
20.76/19.52	c cleaning 11998 clauses out of 23995 with flag 174759/81176
24.18/22.98	c cleaning 12982 clauses out of 25974 with flag 206368/95177
26.59/25.36	c cleaning 13996 clauses out of 27992 with flag 236488/110177
29.68/28.44	c cleaning 14993 clauses out of 29995 with flag 268616/126176
32.88/31.69	c cleaning 15996 clauses out of 32003 with flag 302767/143177
36.38/35.19	c cleaning 16997 clauses out of 34006 with flag 338858/161176
40.08/38.89	c cleaning 18002 clauses out of 36009 with flag 376959/180176
44.19/42.94	c cleaning 18998 clauses out of 38007 with flag 417046/200176
48.59/47.34	c cleaning 20001 clauses out of 40010 with flag 459149/221177
53.36/52.02	c cleaning 20997 clauses out of 42008 with flag 503255/243176
58.26/56.93	c cleaning 21999 clauses out of 44011 with flag 549375/266176
63.46/62.15	c cleaning 23001 clauses out of 46012 with flag 597464/290176
69.07/67.73	c cleaning 23999 clauses out of 48012 with flag 647605/315177
74.97/73.64	c cleaning 25003 clauses out of 50012 with flag 699725/341176
81.27/79.95	c cleaning 26002 clauses out of 52009 with flag 753868/368176
87.97/86.62	c cleaning 27004 clauses out of 54008 with flag 810081/396177
95.12/93.77	c cleaning 27997 clauses out of 56003 with flag 868247/425176
102.33/100.95	c cleaning 28997 clauses out of 58006 with flag 928436/455176
109.93/108.54	c cleaning 29998 clauses out of 60010 with flag 990620/486177
117.93/116.58	c cleaning 31000 clauses out of 62012 with flag 1054776/518177
126.53/125.10	c cleaning 31999 clauses out of 64012 with flag 1121009/551177
135.74/134.36	c cleaning 33000 clauses out of 66013 with flag 1189188/585177
145.13/143.61	c cleaning 34001 clauses out of 68013 with flag 1259358/620177
154.73/153.29	c cleaning 35003 clauses out of 70012 with flag 1331580/656177
164.84/163.39	c cleaning 35993 clauses out of 72008 with flag 1405754/693176
175.84/174.36	c cleaning 37005 clauses out of 74016 with flag 1481910/731177
187.44/185.97	c cleaning 37998 clauses out of 76010 with flag 1560108/770176
199.41/197.86	c cleaning 39004 clauses out of 78013 with flag 1640295/810177
211.91/210.32	c cleaning 39996 clauses out of 80008 with flag 1722563/851176
224.81/223.29	c cleaning 41002 clauses out of 82013 with flag 1806868/893177
238.01/236.50	c cleaning 42000 clauses out of 84011 with flag 1893146/936177
250.36/248.61	c cleaning 42997 clauses out of 86011 with flag 1984170/980177
261.92/260.06	c cleaning 44003 clauses out of 88013 with flag 2094718/1025176
275.30/273.03	c cleaning 45004 clauses out of 90013 with flag 2209159/1071179
286.41/284.03	c cleaning 45999 clauses out of 92000 with flag 2322205/1118176
295.27/292.85	c cleaning 46994 clauses out of 93987 with flag 2424403/1166177
306.86/304.46	c cleaning 47987 clauses out of 95989 with flag 2530110/1215176
319.06/316.59	c cleaning 49001 clauses out of 98001 with flag 2632260/1265177
331.76/329.22	c cleaning 49984 clauses out of 99995 with flag 2737873/1316177
341.37/338.81	c cleaning 50992 clauses out of 101995 with flag 2847874/1368176
351.49/348.82	c cleaning 52000 clauses out of 104004 with flag 2962615/1421177
361.58/358.99	c cleaning 52990 clauses out of 105999 with flag 3079390/1475177
372.88/370.22	c cleaning 53975 clauses out of 107968 with flag 3222285/1530176
383.47/380.66	c cleaning 54991 clauses out of 109985 with flag 3346581/1586176
395.16/392.32	c cleaning 55997 clauses out of 111994 with flag 3468930/1643176
405.80/402.86	c cleaning 56988 clauses out of 113992 with flag 3599306/1701176
416.50/413.50	c cleaning 57999 clauses out of 116005 with flag 3722011/1760177
427.90/424.95	c cleaning 58994 clauses out of 118006 with flag 3843658/1820177
440.44/437.47	c cleaning 59996 clauses out of 120011 with flag 3966990/1881176
452.26/449.25	c cleaning 60997 clauses out of 122015 with flag 4095062/1943176
466.69/463.66	c cleaning 62008 clauses out of 124019 with flag 4225564/2006177
481.49/478.49	c cleaning 63004 clauses out of 126011 with flag 4354701/2070177
494.89/491.73	c cleaning 63994 clauses out of 128007 with flag 4487798/2135177
508.38/505.23	c cleaning 65003 clauses out of 130013 with flag 4622257/2201177
522.59/519.31	c cleaning 65997 clauses out of 132009 with flag 4758424/2268176
535.49/532.25	c cleaning 67000 clauses out of 134013 with flag 4898090/2336177
550.07/546.72	c cleaning 67994 clauses out of 136012 with flag 5037309/2405176
563.37/560.07	c cleaning 68998 clauses out of 138018 with flag 5186513/2475176
579.54/576.12	c cleaning 69998 clauses out of 140021 with flag 5353143/2546177
597.25/593.82	c cleaning 70998 clauses out of 142022 with flag 5520025/2618176
614.32/610.81	c cleaning 72007 clauses out of 144025 with flag 5686884/2691177
632.03/628.42	c cleaning 73005 clauses out of 146017 with flag 5866673/2765176
649.53/645.98	c cleaning 73998 clauses out of 148012 with flag 6030701/2840176
668.08/664.46	c cleaning 74994 clauses out of 150015 with flag 6191814/2916177
684.54/680.83	c cleaning 76004 clauses out of 152021 with flag 6362160/2993177
700.94/697.26	c cleaning 77000 clauses out of 154017 with flag 6528074/3071177
719.41/715.65	c cleaning 78003 clauses out of 156016 with flag 6689395/3150176
737.10/733.21	c cleaning 79003 clauses out of 158013 with flag 6860433/3230176
754.70/750.87	c cleaning 79993 clauses out of 160010 with flag 7049875/3311176
772.03/768.15	c cleaning 81001 clauses out of 162017 with flag 7234274/3393176
793.57/789.68	c cleaning 81996 clauses out of 164017 with flag 7410200/3476177
814.76/810.72	c cleaning 83006 clauses out of 166021 with flag 7608129/3560177
839.26/835.27	c cleaning 83999 clauses out of 168014 with flag 7802713/3645176
862.72/858.67	c cleaning 85000 clauses out of 170015 with flag 8008691/3731176
880.68/876.56	c cleaning 85998 clauses out of 172015 with flag 8211420/3818176
903.76/899.53	c cleaning 87009 clauses out of 174018 with flag 8406444/3906177
930.28/925.96	c cleaning 87999 clauses out of 176006 with flag 8599673/3995176
954.54/950.13	c cleaning 88994 clauses out of 178008 with flag 8786484/4085177
982.55/978.02	c cleaning 90006 clauses out of 180013 with flag 8982659/4176176
1008.76/1004.18	c cleaning 91000 clauses out of 182008 with flag 9175832/4268177
1037.57/1032.83	c cleaning 91996 clauses out of 184008 with flag 9366406/4361177
1066.73/1061.96	c cleaning 93000 clauses out of 186012 with flag 9557865/4455177
1098.20/1093.33	c cleaning 94003 clauses out of 188011 with flag 9751902/4550176
1127.16/1122.27	c cleaning 94999 clauses out of 190009 with flag 9955803/4646177
1157.02/1152.08	c cleaning 96005 clauses out of 192010 with flag 10155388/4743177
1186.75/1181.66	c cleaning 96997 clauses out of 194005 with flag 10359621/4841177
1217.31/1212.19	c cleaning 97996 clauses out of 196008 with flag 10572427/4940177
1249.17/1243.96	c cleaning 99002 clauses out of 198012 with flag 10787371/5040177
1281.17/1275.81	c cleaning 99996 clauses out of 200010 with flag 10996584/5141177
1316.59/1311.19	c cleaning 101001 clauses out of 202014 with flag 11206893/5243177
1354.06/1348.56	c cleaning 102003 clauses out of 204013 with flag 11418179/5346177
1392.48/1386.85	c cleaning 102999 clauses out of 206010 with flag 11639036/5450177
1429.94/1424.26	c cleaning 104000 clauses out of 208011 with flag 11858135/5555177
1467.14/1461.32	c cleaning 104996 clauses out of 210011 with flag 12078724/5661177
1504.48/1498.59	c cleaning 105997 clauses out of 212014 with flag 12374196/5768176
1544.52/1538.48	c cleaning 107007 clauses out of 214018 with flag 12712284/5876177
1594.08/1587.89	c cleaning 108000 clauses out of 216010 with flag 13004528/5985176
1646.60/1640.12	c cleaning 108998 clauses out of 218010 with flag 13288860/6095176
1700.84/1694.24	c cleaning 110003 clauses out of 220013 with flag 13605938/6206177
1755.20/1748.44	c cleaning 111000 clauses out of 222009 with flag 13900718/6318176
1800.06/1793.11	c starts		: 16424
1800.06/1793.11	c conflicts		: 6428412
1800.06/1793.11	c decisions		: 7559846
1800.06/1793.11	c propagations		: 140911697
1800.06/1793.11	c inspects		: 20395235811
1800.06/1793.11	c shortcuts		: 0
1800.06/1793.11	c learnt literals	: 130
1800.06/1793.11	c learnt binary clauses	: 47
1800.06/1793.11	c learnt ternary clauses	: 257
1800.06/1793.11	c learnt constraints	: 6428283
1800.06/1793.11	c ignored constraints	: 0
1800.06/1793.11	c root simplifications	: 0
1800.06/1793.11	c removed literals (reason simplification)	: 0
1800.06/1793.11	c reason swapping (by a shorter reason)	: 0
1800.06/1793.11	c Calls to reduceDB	: 108
1800.06/1793.11	c Number of update (reduction) of LBD	: 58516
1800.06/1793.11	c Imported unit clauses	: 0
1800.06/1793.11	c number of reductions to clauses (during analyze)	: 0
1800.06/1793.11	c number of learned constraints concerned by reduction	: 0
1800.06/1793.11	c number of learning phase by resolution	: 0
1800.06/1793.11	c number of learning phase by cutting planes	: 0
1800.06/1793.11	c speed (assignments/second)	: 78606.25607000229
1800.06/1793.11	c non guided choices	219
1800.06/1793.14	c learnt constraints type 
1800.06/1793.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 47
1800.06/1793.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 221199
1800.06/1793.14	s SATISFIABLE
1800.06/1793.14	c Found 2 solution(s)
1800.06/1793.15	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.06/1793.16	c objective function=3194111
1800.06/1793.16	c Total wall clock time (in seconds): 1793.045

Verifier Data 

OK	3194111

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

pid=26828
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.13 2.04 2.01 3/194 26831
/proc/meminfo: memFree=30372276/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26831/stat : 26831 (java) D 26828 26831 27127 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 116012346 9515008 185 33554432000 1073741824 1073778376 140737384831392 140737384820456 249640873255 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2323 185 143 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 2.13 2.04 2.01 3/194 26831
/proc/meminfo: memFree=30372276/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 4408 0 1 0 8 1 0 0 20 0 18 0 116012346 9787879424 6039 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2389619 6039 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 2.13 2.04 2.01 3/194 26831
/proc/meminfo: memFree=30372276/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 5078 0 1 0 28 2 0 0 20 0 18 0 116012346 9787879424 6992 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2389619 6993 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300229 s]
/proc/loadavg: 2.13 2.04 2.01 3/194 26831
/proc/meminfo: memFree=30372276/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 7574 0 1 0 50 3 0 0 20 0 18 0 116012346 9787879424 11011 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2389619 11015 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700185 s]
/proc/loadavg: 2.13 2.04 2.01 3/194 26831
/proc/meminfo: memFree=30372276/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9625040 CPUtime=1.66 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 11171 0 1 0 162 4 0 0 20 0 19 0 116012346 9856040960 18051 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2406260 18051 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.13 2.04 2.01 3/213 26850
/proc/meminfo: memFree=30304164/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9625040 CPUtime=2.58 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 11299 0 1 0 254 4 0 0 20 0 19 0 116012346 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2406260 19590 2267 9 0 2396937 0
[pid=26831/tid=26833] ppid=26828 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/26831/task/26833/stat : 26833 (java) R 26828 26831 27127 0 -1 4202560 2425 0 1 0 144 2 0 0 20 0 19 0 116012346 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139676268589392 139676112226177 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26834] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26834/stat : 26834 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139676230080680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26835] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26835/stat : 26835 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139676111333672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26836] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26836/stat : 26836 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139676110281128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26831/tid=26837] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26837/stat : 26837 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139676109228584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26838] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26838/stat : 26838 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139676108176040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26839] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26839/stat : 26839 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139676107123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26840] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26840/stat : 26840 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139676106070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26841] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26841/stat : 26841 (java) S 26828 26831 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139676105018408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26842] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26842/stat : 26842 (java) S 26828 26831 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139675622688872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26843] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26843/stat : 26843 (java) S 26828 26831 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139675621635192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26844] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26844/stat : 26844 (java) S 26828 26831 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139675620582536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26845] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26845/stat : 26845 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139675619531280 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26846] ppid=26828 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26831/task/26846/stat : 26846 (java) S 26828 26831 27127 0 -1 4202560 3384 0 0 0 56 0 0 0 20 0 19 0 116012351 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139675618478648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26831/tid=26847] ppid=26828 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/26831/task/26847/stat : 26847 (java) S 26828 26831 27127 0 -1 4202560 4212 0 0 0 51 1 0 0 20 0 19 0 116012351 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139675617426104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26848] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26848/stat : 26848 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139675616373752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26849] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26849/stat : 26849 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012352 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139675615321416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26850] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26850/stat : 26850 (java) S 26828 26831 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116012394 9856040960 19590 33554432000 1073741824 1073778376 140737384831392 139675614266152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.13 2.04 2.01 3/213 26850
/proc/meminfo: memFree=30297772/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9625040 CPUtime=4.28 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 11314 0 1 0 424 4 0 0 20 0 19 0 116012346 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2406260 22156 2272 9 0 2396937 0
[pid=26831/tid=26833] ppid=26828 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/26831/task/26833/stat : 26833 (java) R 26828 26831 27127 0 -1 4202560 2432 0 1 0 303 2 0 0 20 0 19 0 116012346 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139676268588392 139676112226204 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26831/tid=26834] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26834/stat : 26834 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139676230080680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26835] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26835/stat : 26835 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139676111333672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26836] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26836/stat : 26836 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139676110281128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26831/tid=26837] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26837/stat : 26837 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139676109228584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26838] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26838/stat : 26838 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139676108176040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26839] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26839/stat : 26839 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139676107123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26840] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26840/stat : 26840 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139676106070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26841] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26841/stat : 26841 (java) S 26828 26831 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139676105018408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26842] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26842/stat : 26842 (java) S 26828 26831 27127 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139675622688872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26843] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26843/stat : 26843 (java) S 26828 26831 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139675621635192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26844] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26844/stat : 26844 (java) S 26828 26831 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139675620582536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26845] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26845/stat : 26845 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139675619531280 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26846] ppid=26828 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/26831/task/26846/stat : 26846 (java) S 26828 26831 27127 0 -1 4202560 3386 0 0 0 59 0 0 0 20 0 19 0 116012351 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139675618478648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26847] ppid=26828 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/26831/task/26847/stat : 26847 (java) S 26828 26831 27127 0 -1 4202560 4217 0 0 0 59 2 0 0 20 0 19 0 116012351 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139675617426104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26848] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26848/stat : 26848 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139675616373752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26849] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26849/stat : 26849 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012352 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139675615321416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26850] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26850/stat : 26850 (java) S 26828 26831 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116012394 9856040960 22156 33554432000 1073741824 1073778376 140737384831392 139675614266152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.12 2.04 2.01 3/213 26850
/proc/meminfo: memFree=30278708/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9625040 CPUtime=7.52 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 11329 0 1 0 747 5 0 0 20 0 19 0 116012346 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2406260 26262 2272 9 0 2396937 0
[pid=26831/tid=26833] ppid=26828 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/26831/task/26833/stat : 26833 (java) R 26828 26831 27127 0 -1 4202560 2443 0 1 0 623 2 0 0 20 0 19 0 116012346 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139676268580576 139676112226186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26831/tid=26834] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26834/stat : 26834 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139676230080680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26835] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26835/stat : 26835 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139676111333672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26836] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26836/stat : 26836 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139676110281128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26831/tid=26837] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26837/stat : 26837 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139676109228584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26838] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26838/stat : 26838 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139676108176040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26839] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26839/stat : 26839 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139676107123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26840] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26840/stat : 26840 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139676106070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26841] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26841/stat : 26841 (java) S 26828 26831 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116012348 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139676105018408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26842] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26842/stat : 26842 (java) S 26828 26831 27127 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139675622688872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26843] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26843/stat : 26843 (java) S 26828 26831 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139675621635192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26844] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26844/stat : 26844 (java) S 26828 26831 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139675620582536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26845] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26845/stat : 26845 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139675619531280 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26846] ppid=26828 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/26831/task/26846/stat : 26846 (java) S 26828 26831 27127 0 -1 4202560 3390 0 0 0 61 0 0 0 20 0 19 0 116012351 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139675618478648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26847] ppid=26828 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/26831/task/26847/stat : 26847 (java) S 26828 26831 27127 0 -1 4202560 4217 0 0 0 59 2 0 0 20 0 19 0 116012351 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139675617426104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26848] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26848/stat : 26848 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139675616373752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26849] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26849/stat : 26849 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012352 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139675615321416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26850] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26850/stat : 26850 (java) S 26828 26831 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116012394 9856040960 26262 33554432000 1073741824 1073778376 140737384831392 139675614266152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 9625040


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

[pid=26831/tid=26843] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26843/stat : 26843 (java) S 26828 26831 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 100646 33554432000 1073741824 1073778376 140737384831392 139675621635192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26844] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26844/stat : 26844 (java) S 26828 26831 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 100646 33554432000 1073741824 1073778376 140737384831392 139675620582536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26845] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26845/stat : 26845 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 100646 33554432000 1073741824 1073778376 140737384831392 139675619531280 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26846] ppid=26828 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/26831/task/26846/stat : 26846 (java) S 26828 26831 27127 0 -1 4202560 3391 0 0 0 71 0 0 0 20 0 19 0 116012351 9856040960 100646 33554432000 1073741824 1073778376 140737384831392 139675618478648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26847] ppid=26828 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/26831/task/26847/stat : 26847 (java) S 26828 26831 27127 0 -1 4202560 11463 0 0 0 114 2 0 0 20 0 19 0 116012351 9856040960 100646 33554432000 1073741824 1073778376 140737384831392 139675617426104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26848] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26848/stat : 26848 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 100646 33554432000 1073741824 1073778376 140737384831392 139675616373752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26849] ppid=26828 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/26831/task/26849/stat : 26849 (java) S 26828 26831 27127 0 -1 4202560 99 0 0 0 24 30 0 0 20 0 19 0 116012352 9856040960 100646 33554432000 1073741824 1073778376 140737384831392 139675615321416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26850] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26850/stat : 26850 (java) S 26828 26831 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116012394 9856040960 100646 33554432000 1073741824 1073778376 140737384831392 139675614266152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1729.05
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/213 26960
/proc/meminfo: memFree=30095776/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9625040 CPUtime=1789.25 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 22016 0 1 0 178835 90 0 0 20 0 19 0 116012346 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2406260 99059 2294 9 0 2396937 0
[pid=26831/tid=26833] ppid=26828 vsize=9625040 CPUtime=1779.7 cores=1,3,5,7
/proc/26831/task/26833/stat : 26833 (java) R 26828 26831 27127 0 -1 4202560 2553 0 1 0 177936 34 0 0 20 0 19 0 116012346 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676268588320 139676112226134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26831/tid=26834] ppid=26828 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/26831/task/26834/stat : 26834 (java) S 26828 26831 27127 0 -1 4202560 667 0 0 0 72 7 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676230080680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26835] ppid=26828 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/26831/task/26835/stat : 26835 (java) S 26828 26831 27127 0 -1 4202560 464 0 0 0 79 7 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676111333672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26836] ppid=26828 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/26831/task/26836/stat : 26836 (java) S 26828 26831 27127 0 -1 4202560 135 0 0 0 79 5 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676110281128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26837] ppid=26828 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/26831/task/26837/stat : 26837 (java) S 26828 26831 27127 0 -1 4202560 317 0 0 0 77 5 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676109228584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26838] ppid=26828 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/26831/task/26838/stat : 26838 (java) S 26828 26831 27127 0 -1 4202560 424 0 0 0 78 7 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676108176040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26839] ppid=26828 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/26831/task/26839/stat : 26839 (java) S 26828 26831 27127 0 -1 4202560 370 0 0 0 69 8 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676107123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26840] ppid=26828 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/26831/task/26840/stat : 26840 (java) S 26828 26831 27127 0 -1 4202560 352 0 0 0 79 6 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676106070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26841] ppid=26828 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/26831/task/26841/stat : 26841 (java) S 26828 26831 27127 0 -1 4202560 263 0 0 0 74 6 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676105018408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26842] ppid=26828 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26831/task/26842/stat : 26842 (java) S 26828 26831 27127 0 -1 4202560 249 0 0 0 74 4 0 0 20 0 19 0 116012349 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675622688872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26843] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26843/stat : 26843 (java) S 26828 26831 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675621635192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26844] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26844/stat : 26844 (java) S 26828 26831 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675620582536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26845] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26845/stat : 26845 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675619531280 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26846] ppid=26828 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/26831/task/26846/stat : 26846 (java) S 26828 26831 27127 0 -1 4202560 3391 0 0 0 71 0 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675618478648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26847] ppid=26828 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/26831/task/26847/stat : 26847 (java) S 26828 26831 27127 0 -1 4202560 11464 0 0 0 114 2 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675617426104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26848] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26848/stat : 26848 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675616373752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26849] ppid=26828 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26831/task/26849/stat : 26849 (java) S 26828 26831 27127 0 -1 4202560 103 0 0 0 25 31 0 0 20 0 19 0 116012352 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675615321416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26850] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26850/stat : 26850 (java) S 26828 26831 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116012394 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675614266152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1789.25
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.11 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 26960
/proc/meminfo: memFree=30096112/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 22016 0 1 0 179916 90 0 0 20 0 19 0 116012346 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2406260 99059 2294 9 0 2396937 0
[pid=26831/tid=26833] ppid=26828 vsize=9625040 CPUtime=1790.51 cores=1,3,5,7
/proc/26831/task/26833/stat : 26833 (java) R 26828 26831 27127 0 -1 4202560 2553 0 1 0 179017 34 0 0 20 0 19 0 116012346 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676268588320 139676112152842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26831/tid=26834] ppid=26828 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/26831/task/26834/stat : 26834 (java) S 26828 26831 27127 0 -1 4202560 667 0 0 0 72 7 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676230080680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26835] ppid=26828 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/26831/task/26835/stat : 26835 (java) S 26828 26831 27127 0 -1 4202560 464 0 0 0 79 7 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676111333672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26836] ppid=26828 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/26831/task/26836/stat : 26836 (java) S 26828 26831 27127 0 -1 4202560 135 0 0 0 79 5 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676110281128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26837] ppid=26828 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/26831/task/26837/stat : 26837 (java) S 26828 26831 27127 0 -1 4202560 317 0 0 0 77 5 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676109228584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26838] ppid=26828 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/26831/task/26838/stat : 26838 (java) S 26828 26831 27127 0 -1 4202560 424 0 0 0 78 7 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676108176040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26839] ppid=26828 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/26831/task/26839/stat : 26839 (java) S 26828 26831 27127 0 -1 4202560 370 0 0 0 69 8 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676107123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26840] ppid=26828 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/26831/task/26840/stat : 26840 (java) S 26828 26831 27127 0 -1 4202560 352 0 0 0 79 6 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676106070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26841] ppid=26828 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/26831/task/26841/stat : 26841 (java) S 26828 26831 27127 0 -1 4202560 263 0 0 0 74 6 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676105018408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26842] ppid=26828 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26831/task/26842/stat : 26842 (java) S 26828 26831 27127 0 -1 4202560 249 0 0 0 74 4 0 0 20 0 19 0 116012349 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675622688872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26843] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26843/stat : 26843 (java) S 26828 26831 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675621635192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26844] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26844/stat : 26844 (java) S 26828 26831 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675620582536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26845] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26845/stat : 26845 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675619531280 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26846] ppid=26828 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/26831/task/26846/stat : 26846 (java) S 26828 26831 27127 0 -1 4202560 3391 0 0 0 71 0 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675618478648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26847] ppid=26828 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/26831/task/26847/stat : 26847 (java) S 26828 26831 27127 0 -1 4202560 11464 0 0 0 114 2 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675617426104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26848] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26848/stat : 26848 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675616373752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26849] ppid=26828 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26831/task/26849/stat : 26849 (java) S 26828 26831 27127 0 -1 4202560 103 0 0 0 25 31 0 0 20 0 19 0 116012352 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675615321416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26850] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26850/stat : 26850 (java) S 26828 26831 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116012394 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675614266152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 26831 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1793.11 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 26960
/proc/meminfo: memFree=30096112/32872528 swapFree=10608/190480
[pid=26831] ppid=26828 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/26831/stat : 26831 (java) S 26828 26831 27127 0 -1 4202496 22016 0 1 0 179916 90 0 0 20 0 19 0 116012346 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 140737384822528 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26831/statm: 2406260 99059 2294 9 0 2396937 0
[pid=26831/tid=26833] ppid=26828 vsize=9625040 CPUtime=1790.51 cores=1,3,5,7
/proc/26831/task/26833/stat : 26833 (java) R 26828 26831 27127 0 -1 4202560 2553 0 1 0 179017 34 0 0 20 0 19 0 116012346 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676268588320 139676112152842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26831/tid=26834] ppid=26828 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/26831/task/26834/stat : 26834 (java) S 26828 26831 27127 0 -1 4202560 667 0 0 0 72 7 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676230080680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26835] ppid=26828 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/26831/task/26835/stat : 26835 (java) S 26828 26831 27127 0 -1 4202560 464 0 0 0 79 7 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676111333672 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26836] ppid=26828 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/26831/task/26836/stat : 26836 (java) S 26828 26831 27127 0 -1 4202560 135 0 0 0 79 5 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676110281128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26837] ppid=26828 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/26831/task/26837/stat : 26837 (java) S 26828 26831 27127 0 -1 4202560 317 0 0 0 77 5 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676109228584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26838] ppid=26828 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/26831/task/26838/stat : 26838 (java) S 26828 26831 27127 0 -1 4202560 424 0 0 0 78 7 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676108176040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26839] ppid=26828 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/26831/task/26839/stat : 26839 (java) S 26828 26831 27127 0 -1 4202560 370 0 0 0 69 8 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676107123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26840] ppid=26828 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/26831/task/26840/stat : 26840 (java) S 26828 26831 27127 0 -1 4202560 352 0 0 0 79 6 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676106070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26841] ppid=26828 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/26831/task/26841/stat : 26841 (java) S 26828 26831 27127 0 -1 4202560 263 0 0 0 74 6 0 0 20 0 19 0 116012348 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139676105018408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26831/tid=26842] ppid=26828 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26831/task/26842/stat : 26842 (java) S 26828 26831 27127 0 -1 4202560 249 0 0 0 74 4 0 0 20 0 19 0 116012349 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675622688872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26843] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26843/stat : 26843 (java) S 26828 26831 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675621635192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26844] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26844/stat : 26844 (java) S 26828 26831 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116012349 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675620582536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26845] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26845/stat : 26845 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675619531280 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26846] ppid=26828 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/26831/task/26846/stat : 26846 (java) S 26828 26831 27127 0 -1 4202560 3391 0 0 0 71 0 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675618478648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26847] ppid=26828 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/26831/task/26847/stat : 26847 (java) S 26828 26831 27127 0 -1 4202560 11464 0 0 0 114 2 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675617426104 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26848] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26848/stat : 26848 (java) S 26828 26831 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116012351 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675616373752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26831/tid=26849] ppid=26828 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26831/task/26849/stat : 26849 (java) S 26828 26831 27127 0 -1 4202560 103 0 0 0 25 31 0 0 20 0 19 0 116012352 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675615321416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26831/tid=26850] ppid=26828 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26831/task/26850/stat : 26850 (java) S 26828 26831 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116012394 9856040960 99059 33554432000 1073741824 1073778376 140737384831392 139675614266152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1793.16
CPU time (s): 1800.69
CPU user time (s): 1799.33
CPU system time (s): 1.36279
CPU usage (%): 100.42
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 1.36279
maximum resident set size= 598320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22055
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40048
involuntary context switches= 10267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8915 second user time and 13.9839 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-08 01:06:10
IDJOB=4085006
IDBENCH=92742
IDSOLVER=2546
FILE ID=node102/4085006-1465340770
RUNJOBID= node102-1465312757-23538
PBS_JOBID= 19850416
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 796ce15de170aa64363741766a49999c
RANDOM SEED=712185671

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:        30372548 kB
Buffers:          204676 kB
Cached:           800692 kB
SwapCached:         2708 kB
Active:           793632 kB
Inactive:         749716 kB
Active(anon):     536108 kB
Inactive(anon):     4220 kB
Active(file):     257524 kB
Inactive(file):   745496 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098748 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:        759216 kB
Mapped:            16504 kB
Shmem:                 0 kB
Slab:             633836 kB
SReclaimable:      77632 kB
SUnreclaim:       556204 kB
KernelStack:        1768 kB
PageTables:         5484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     859224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    731136 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:36:04