Trace number 4103202

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 Res+CP PB16SAT (TO)3535872 1800.11 899.365

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran13x13.opb
MD5SUMf6afca2947f6ff68bd855d0ea2ea59a9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3535872
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3502080
Optimality of the best value was proved NO
Number of variables5239
Total number of constraints195
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints195
Minimum length of a constraint31
Maximum length of a constraint390
Number of terms in the objective function 5239
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 968548072570
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 968548072570
Number of bits of the biggest sum of numbers40
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.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.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4103202-1466220549.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.83/0.44	c ... done. Wall clock time 0.319s.
0.83/0.44	c declared #vars     5239
0.83/0.44	c #constraints  221
0.83/0.44	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.83/0.44	c constraints type 
0.83/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 221
0.83/0.44	c 221 constraints processed.
0.83/0.44	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.83/0.44	c constraints type 
0.83/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 221
0.83/0.44	c 221 constraints processed.
0.83/0.44	c objective function length is 5239 literals
1.58/0.65	c And the winner is solver0
1.89/0.95	c SATISFIABLE
1.89/0.95	c OPTIMIZING...
1.89/0.95	c Got one! Elapsed wall clock time (in seconds):0.829
1.89/0.95	o 4372480
2.06/1.00	c And the winner is solver0
2.16/1.46	c Got one! Elapsed wall clock time (in seconds):1.339
2.16/1.46	o 4173824
2.16/1.48	c And the winner is solver0
2.36/1.97	c Got one! Elapsed wall clock time (in seconds):1.849
2.36/1.97	o 3935232
2.36/1.98	c And the winner is solver0
2.41/2.47	c Got one! Elapsed wall clock time (in seconds):2.354
2.41/2.47	o 3538944
5.24/3.62	c cleaning 2542 clauses out of 5083 with flag 18057/5083
7.70/4.75	c cleaning 4266 clauses out of 8541 with flag 42829/11083
10.63/6.14	c cleaning 5638 clauses out of 11275 with flag 71735/18083
13.03/7.37	c And the winner is solver1
13.18/7.48	c Got one! Elapsed wall clock time (in seconds):7.362
13.18/7.48	o 3535872
15.31/8.52	c cleaning 8786 clauses out of 17572 with flag 18732/30018
17.53/9.67	c cleaning 7387 clauses out of 14786 with flag 44198/36018
20.19/10.93	c cleaning 7199 clauses out of 14398 with flag 73450/43017
22.80/12.23	c cleaning 7600 clauses out of 15199 with flag 103034/51017
26.31/13.97	c cleaning 8294 clauses out of 16600 with flag 138175/60018
30.14/15.82	c cleaning 9143 clauses out of 18305 with flag 176079/70017
33.83/17.67	c cleaning 10080 clauses out of 20163 with flag 220483/81018
38.02/19.80	c cleaning 11041 clauses out of 22082 with flag 263338/93017
43.01/22.23	c cleaning 12021 clauses out of 24041 with flag 310397/106017
48.72/25.08	c cleaning 13009 clauses out of 26021 with flag 355713/120018
53.12/27.29	c cleaning 14001 clauses out of 28011 with flag 396770/135017
59.31/30.30	c cleaning 15006 clauses out of 30011 with flag 448881/151018
66.21/33.72	c cleaning 15990 clauses out of 32004 with flag 506096/168017
73.41/37.37	c cleaning 17004 clauses out of 34014 with flag 565258/186017
80.61/40.96	c cleaning 17996 clauses out of 36011 with flag 626537/205018
87.80/44.58	c cleaning 18998 clauses out of 38015 with flag 690757/225018
95.32/48.23	c cleaning 20000 clauses out of 40017 with flag 762173/246018
104.12/52.69	c cleaning 21007 clauses out of 42018 with flag 841410/268019
112.92/57.09	c cleaning 22001 clauses out of 44009 with flag 918859/291017
123.22/62.12	c cleaning 23005 clauses out of 46009 with flag 1001786/315018
133.02/67.06	c cleaning 23991 clauses out of 48003 with flag 1084642/340017
142.03/71.58	c cleaning 25000 clauses out of 50013 with flag 1170391/366018
153.13/77.05	c cleaning 26005 clauses out of 52013 with flag 1262313/393018
163.12/82.02	c cleaning 26999 clauses out of 54007 with flag 1357652/421017
175.04/87.94	c cleaning 27991 clauses out of 56008 with flag 1460555/450017
186.63/93.76	c cleaning 28999 clauses out of 58017 with flag 1560819/480017
199.51/100.15	c cleaning 30007 clauses out of 60020 with flag 1659689/511019
213.31/107.04	c cleaning 31001 clauses out of 62012 with flag 1766364/543018
230.58/115.61	c cleaning 32001 clauses out of 64010 with flag 1850911/576017
244.37/122.56	c cleaning 33004 clauses out of 66010 with flag 1966522/610018
259.07/129.86	c cleaning 34002 clauses out of 68005 with flag 2080666/645017
274.37/137.61	c cleaning 34998 clauses out of 70003 with flag 2202576/681017
289.95/145.48	c cleaning 36001 clauses out of 72006 with flag 2318545/718018
307.79/154.32	c cleaning 36991 clauses out of 74005 with flag 2439074/756018
324.04/162.46	c cleaning 38001 clauses out of 76014 with flag 2568210/795018
342.07/171.46	c cleaning 38999 clauses out of 78013 with flag 2697569/835018
360.16/180.44	c cleaning 40001 clauses out of 80014 with flag 2821220/876018
380.21/190.49	c cleaning 41005 clauses out of 82012 with flag 2961761/918017
397.85/199.24	c cleaning 42002 clauses out of 84008 with flag 3087990/961018
418.31/209.49	c cleaning 42997 clauses out of 86007 with flag 3235081/1005019
438.36/219.49	c cleaning 43991 clauses out of 88008 with flag 3372556/1050017
458.59/229.76	c cleaning 44995 clauses out of 90017 with flag 3520466/1096017
479.42/240.19	c cleaning 46008 clauses out of 92022 with flag 3669827/1143017
499.58/250.13	c cleaning 46990 clauses out of 94014 with flag 3823382/1191017
517.43/259.04	c cleaning 48006 clauses out of 96025 with flag 3969630/1240018
537.27/268.96	c cleaning 48986 clauses out of 98018 with flag 4123649/1290017
558.97/279.76	c cleaning 50014 clauses out of 100033 with flag 4294150/1341018
583.41/292.11	c cleaning 50989 clauses out of 102018 with flag 4456496/1393017
608.67/304.80	c cleaning 52009 clauses out of 104029 with flag 4635960/1446017
631.76/316.23	c cleaning 53003 clauses out of 106022 with flag 4815379/1500019
653.98/327.30	c cleaning 53994 clauses out of 108017 with flag 4981001/1555017
678.69/339.67	c cleaning 55012 clauses out of 110023 with flag 5160653/1611017
706.42/353.41	c cleaning 56004 clauses out of 112011 with flag 5347913/1668017
732.50/366.41	c cleaning 56992 clauses out of 114007 with flag 5534665/1726017
756.16/378.23	c cleaning 58002 clauses out of 116015 with flag 5705256/1785017
783.27/391.75	c cleaning 59008 clauses out of 118017 with flag 5889153/1845021
814.15/407.46	c cleaning 59996 clauses out of 120007 with flag 6089160/1906019
844.70/422.67	c cleaning 60999 clauses out of 122011 with flag 6287024/1968019
876.89/438.69	c cleaning 62004 clauses out of 124011 with flag 6492262/2031018
907.53/453.99	c cleaning 62980 clauses out of 126006 with flag 6702373/2095017
938.82/469.55	c cleaning 63998 clauses out of 128026 with flag 6921711/2160017
969.95/485.08	c cleaning 65012 clauses out of 130034 with flag 7122074/2226023
1001.60/500.84	c cleaning 65998 clauses out of 132016 with flag 7330295/2293017
1034.34/517.14	c cleaning 67004 clauses out of 134018 with flag 7543804/2361017
1068.12/534.21	c cleaning 68003 clauses out of 136016 with flag 7774974/2430019
1100.59/550.42	c cleaning 68998 clauses out of 138011 with flag 7994759/2500017
1132.51/566.39	c cleaning 70003 clauses out of 140013 with flag 8204132/2571017
1167.37/583.69	c cleaning 71000 clauses out of 142011 with flag 8431073/2643018
1204.24/601.99	c cleaning 71998 clauses out of 144011 with flag 8656433/2716018
1243.76/621.59	c cleaning 72995 clauses out of 146013 with flag 8890891/2790018
1282.72/640.98	c cleaning 73994 clauses out of 148017 with flag 9140454/2865017
1320.69/659.81	c cleaning 75003 clauses out of 150024 with flag 9375692/2941018
1361.44/680.48	c cleaning 76007 clauses out of 152021 with flag 9638866/3018018
1401.37/700.34	c cleaning 76998 clauses out of 154013 with flag 9916713/3096017
1438.03/718.68	c cleaning 77999 clauses out of 156016 with flag 10184278/3175018
1481.40/740.21	c cleaning 79005 clauses out of 158016 with flag 10452026/3255017
1527.37/763.12	c cleaning 79998 clauses out of 160011 with flag 10718335/3336017
1571.53/785.12	c cleaning 81000 clauses out of 162014 with flag 10964514/3418018
1617.22/808.26	c cleaning 82002 clauses out of 164013 with flag 11229432/3501017
1662.55/830.84	c cleaning 82994 clauses out of 166011 with flag 11496021/3585017
1705.48/852.24	c cleaning 84008 clauses out of 168017 with flag 11755495/3670017
1745.31/872.01	c cleaning 85004 clauses out of 170013 with flag 12017770/3756021
1798.11/898.35	c cleaning 85993 clauses out of 172005 with flag 12301027/3843017
1800.11/899.30	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.11/899.30	c starts		: 14113
1800.11/899.30	c conflicts		: 3846571
1800.11/899.30	c decisions		: 13913822
1800.11/899.30	c propagations		: 647456830
1800.11/899.30	c inspects		: 6970060371
1800.11/899.30	c shortcuts		: 0
1800.11/899.30	c learnt literals	: 0
1800.11/899.30	c learnt binary clauses	: 0
1800.11/899.30	c learnt ternary clauses	: 0
1800.11/899.30	c learnt constraints	: 3846571
1800.11/899.30	c ignored constraints	: 0
1800.11/899.30	c root simplifications	: 0
1800.11/899.30	c removed literals (reason simplification)	: 3588333
1800.11/899.30	c reason swapping (by a shorter reason)	: 0
1800.11/899.30	c Calls to reduceDB	: 86
1800.11/899.30	c Number of update (reduction) of LBD	: 939939
1800.11/899.30	c Imported unit clauses	: 0
1800.11/899.30	c number of reductions to clauses (during analyze)	: 0
1800.11/899.30	c number of learned constraints concerned by reduction	: 0
1800.11/899.30	c number of learning phase by resolution	: 0
1800.11/899.30	c number of learning phase by cutting planes	: 0
1800.11/899.30	c speed (assignments/second)	: 725996.5934753504
1800.11/899.30	c non guided choices	0
1800.11/899.32	c learnt constraints type 
1800.11/899.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 89567
1800.11/899.33	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.11/899.33	c starts		: 8
1800.11/899.33	c conflicts		: 1624
1800.11/899.33	c decisions		: 159167
1800.11/899.33	c propagations		: 1146399
1800.11/899.33	c inspects		: 122945899
1800.11/899.33	c shortcuts		: 0
1800.11/899.33	c learnt literals	: 0
1800.11/899.33	c learnt binary clauses	: 0
1800.11/899.33	c learnt ternary clauses	: 0
1800.11/899.33	c learnt constraints	: 1621
1800.11/899.33	c ignored constraints	: 0
1800.11/899.33	c root simplifications	: 0
1800.11/899.33	c removed literals (reason simplification)	: 0
1800.11/899.33	c reason swapping (by a shorter reason)	: 0
1800.11/899.33	c Calls to reduceDB	: 0
1800.11/899.33	c Number of update (reduction) of LBD	: 0
1800.11/899.33	c Imported unit clauses	: 0
1800.11/899.33	c number of reductions to clauses (during analyze)	: 0
1800.11/899.33	c number of learned constraints concerned by reduction	: 0
1800.11/899.33	c number of learning phase by resolution	: 0
1800.11/899.33	c number of learning phase by cutting planes	: 0
1800.11/899.33	c speed (assignments/second)	: 1278.2548193839084
1800.11/899.33	c non guided choices	0
1800.11/899.33	c learnt constraints type 
1800.11/899.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1621
1800.11/899.33	s SATISFIABLE
1800.11/899.33	c Found 5 solution(s)
1800.11/899.34	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 -x5101 x5102 -x5103 -x5104 -x5105 -x5106 x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 x5117 -x5118 -x5119 x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 x5147 -x5148 -x5149 x5150 -x5151 -x5152 -x5153 -x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 x5164 -x5165 x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 
1800.11/899.34	c objective function=3535872
1800.11/899.34	c Total wall clock time (in seconds): 899.226

Verifier Data 

OK	3535872

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-4103202-1466220549/watcher-4103202-1466220549 -o /tmp/evaluation-result-4103202-1466220549/solver-4103202-1466220549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466206100-1315 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103202-1466220549.opb 

pid=6156
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.25 4.29 4.27 4/197 6159
/proc/meminfo: memFree=23417660/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/6159/stat : 6159 (java) R 6156 6159 1299 0 -1 4202496 501 0 0 0 0 0 0 0 20 0 1 0 24103792 9515008 155 33554432000 1073741824 1073778376 140737404478176 140737404475304 213193152256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2323 170 128 9 0 71 0

[startup+0.100151 s]
/proc/loadavg: 4.25 4.29 4.27 4/197 6159
/proc/meminfo: memFree=23417660/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/6159/stat : 6159 (java) S 6156 6159 1299 0 -1 4202496 4417 0 1 0 8 1 0 0 20 0 18 0 24103792 9787879424 6041 33554432000 1073741824 1073778376 140737404478176 140737404469312 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2389619 6041 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200304 s]
/proc/loadavg: 4.25 4.29 4.27 4/197 6159
/proc/meminfo: memFree=23417660/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/6159/stat : 6159 (java) S 6156 6159 1299 0 -1 4202496 5065 0 1 0 27 1 0 0 20 0 18 0 24103792 9787879424 7029 33554432000 1073741824 1073778376 140737404478176 140737404469312 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2389619 7029 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 4.25 4.29 4.27 4/197 6159
/proc/meminfo: memFree=23417660/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/6159/stat : 6159 (java) S 6156 6159 1299 0 -1 4202496 11439 0 1 0 50 3 0 0 20 0 18 0 24103792 9787879424 13683 33554432000 1073741824 1073778376 140737404478176 140737404469312 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2389619 13683 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700187 s]
/proc/loadavg: 4.25 4.29 4.27 4/197 6159
/proc/meminfo: memFree=23417660/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/6159/stat : 6159 (java) S 6156 6159 1299 0 -1 4202496 14802 0 1 0 183 6 0 0 20 0 19 0 24103792 10060525568 20100 33554432000 1073741824 1073778376 140737404478176 140737404469312 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2456183 20100 2264 9 0 2446860 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9824732

[startup+1.50069 s]
/proc/loadavg: 4.31 4.31 4.27 3/216 6184
/proc/meminfo: memFree=23334856/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/6159/stat : 6159 (java) S 6156 6159 1299 0 -1 4202496 14849 0 1 0 218 10 0 0 20 0 19 0 24103792 10060525568 24733 33554432000 1073741824 1073778376 140737404478176 140737404469312 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2456183 24759 2266 9 0 2446860 0
[pid=6159/tid=6161] ppid=6156 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/6159/task/6161/stat : 6161 (java) S 6156 6159 1299 0 -1 4202560 2427 0 1 0 42 1 0 0 20 0 19 0 24103793 10060525568 24778 33554432000 1073741824 1073778376 140737404478176 140437663810424 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6162] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6162/stat : 6162 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103794 10060525568 24798 33554432000 1073741824 1073778376 140737404478176 140437652871336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6163] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6163/stat : 6163 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103794 10060525568 24817 33554432000 1073741824 1073778376 140737404478176 140437651818792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6164] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6164/stat : 6164 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103794 10060525568 24836 33554432000 1073741824 1073778376 140737404478176 140437650766248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6165] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6165/stat : 6165 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103794 10060525568 24855 33554432000 1073741824 1073778376 140737404478176 140437649713704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6166] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6166/stat : 6166 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103794 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437648661160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6167] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6167/stat : 6167 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103794 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437647608616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6168] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6168/stat : 6168 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103794 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437500935080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6169] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6169/stat : 6169 (java) S 6156 6159 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24103794 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437499882536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6170] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6170/stat : 6170 (java) S 6156 6159 1299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24103795 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437487683688 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6171] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6171/stat : 6171 (java) S 6156 6159 1299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24103795 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437486630008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6172] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6172/stat : 6172 (java) S 6156 6159 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24103796 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437485577352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6173] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6173/stat : 6173 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103798 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437484526096 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6174] ppid=6156 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/6159/task/6174/stat : 6174 (java) R 6156 6159 1299 0 -1 4202560 5727 0 0 0 62 1 0 0 20 0 19 0 24103798 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437483473464 140437667389184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6175] ppid=6156 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/6159/task/6175/stat : 6175 (java) R 6156 6159 1299 0 -1 4202560 5466 0 0 0 62 1 0 0 20 0 19 0 24103798 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437482420800 213192772667 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6176] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6176/stat : 6176 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103798 10060525568 24857 33554432000 1073741824 1073778376 140737404478176 140437481368568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6177] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6177/stat : 6177 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24103798 10060525568 24710 33554432000 1073741824 1073778376 140737404478176 140437480316232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6181] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6181/stat : 6181 (java) S 6156 6159 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24103840 10060525568 24710 33554432000 1073741824 1073778376 140737404478176 140437476103336 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9824732

[startup+3.10082 s]
/proc/loadavg: 4.31 4.31 4.27 3/216 6190
/proc/meminfo: memFree=23321832/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9824732 CPUtime=4.06 cores=0,2,4,6
/proc/6159/stat : 6159 (java) S 6156 6159 1299 0 -1 4202496 15713 0 1 0 394 12 0 0 20 0 22 0 24103792 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140737404469312 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2456183 46271 2281 9 0 2446860 0
[pid=6159/tid=6161] ppid=6156 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/6159/task/6161/stat : 6161 (java) S 6156 6159 1299 0 -1 4202560 2428 0 1 0 43 2 0 0 20 0 22 0 24103793 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437663810424 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6162] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6162/stat : 6162 (java) S 6156 6159 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24103794 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437652871336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6163] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6163/stat : 6163 (java) S 6156 6159 1299 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 24103794 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437651818792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6164] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6164/stat : 6164 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103794 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437650766248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6165] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6165/stat : 6165 (java) S 6156 6159 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24103794 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437649713704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6166] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6166/stat : 6166 (java) S 6156 6159 1299 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 24103794 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437648661160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6167] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6167/stat : 6167 (java) S 6156 6159 1299 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 24103794 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437647608616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6168] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6168/stat : 6168 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103794 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437500935080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6169] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6169/stat : 6169 (java) S 6156 6159 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24103794 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437499882536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6170] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6170/stat : 6170 (java) S 6156 6159 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24103795 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437487683688 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6171] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6171/stat : 6171 (java) S 6156 6159 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24103795 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437486630008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6172] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6172/stat : 6172 (java) S 6156 6159 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24103796 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437485577352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6173] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6173/stat : 6173 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437484526096 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6174] ppid=6156 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/6159/task/6174/stat : 6174 (java) S 6156 6159 1299 0 -1 4202560 6344 0 0 0 91 2 0 0 20 0 22 0 24103798 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437483473464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6175] ppid=6156 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/6159/task/6175/stat : 6175 (java) S 6156 6159 1299 0 -1 4202560 5493 0 0 0 84 2 0 0 20 0 22 0 24103798 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437482420920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6176] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6176/stat : 6176 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437481368568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6177] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6177/stat : 6177 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437480316232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6181] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6181/stat : 6181 (java) S 6156 6159 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24103840 10060525568 46271 33554432000 1073741824 1073778376 140737404478176 140437476103336 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9824732

[startup+6.30094 s]
/proc/loadavg: 4.36 4.32 4.28 6/219 6193
/proc/meminfo: memFree=23210500/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9824732 CPUtime=11.03 cores=0,2,4,6
/proc/6159/stat : 6159 (java) S 6156 6159 1299 0 -1 4202496 16219 0 1 0 1083 20 0 0 20 0 22 0 24103792 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140737404469312 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2456183 60380 2285 9 0 2446860 0
[pid=6159/tid=6161] ppid=6156 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/6159/task/6161/stat : 6161 (java) S 6156 6159 1299 0 -1 4202560 2428 0 1 0 43 2 0 0 20 0 22 0 24103793 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437663810424 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6162] ppid=6156 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/6159/task/6162/stat : 6162 (java) S 6156 6159 1299 0 -1 4202560 46 0 0 0 3 0 0 0 20 0 22 0 24103794 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437652871336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6163] ppid=6156 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6159/task/6163/stat : 6163 (java) S 6156 6159 1299 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 22 0 24103794 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437651818792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6164] ppid=6156 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/6159/task/6164/stat : 6164 (java) S 6156 6159 1299 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 24103794 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437650766248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6165] ppid=6156 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/6159/task/6165/stat : 6165 (java) S 6156 6159 1299 0 -1 4202560 90 0 0 0 2 2 0 0 20 0 22 0 24103794 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437649713704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6166] ppid=6156 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/6159/task/6166/stat : 6166 (java) S 6156 6159 1299 0 -1 4202560 156 0 0 0 3 2 0 0 20 0 22 0 24103794 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437648661160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6167] ppid=6156 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6159/task/6167/stat : 6167 (java) S 6156 6159 1299 0 -1 4202560 59 0 0 0 2 0 0 0 20 0 22 0 24103794 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437647608616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6168] ppid=6156 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/6159/task/6168/stat : 6168 (java) S 6156 6159 1299 0 -1 4202560 71 0 0 0 1 2 0 0 20 0 22 0 24103794 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437500935080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6169] ppid=6156 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/6159/task/6169/stat : 6169 (java) S 6156 6159 1299 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 24103794 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437499882536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6170] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6170/stat : 6170 (java) S 6156 6159 1299 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 24103795 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437487683688 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6171] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6171/stat : 6171 (java) S 6156 6159 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24103795 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437486630008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6172] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6172/stat : 6172 (java) S 6156 6159 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24103796 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437485577352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6173] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6173/stat : 6173 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437484526096 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6174] ppid=6156 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/6159/task/6174/stat : 6174 (java) S 6156 6159 1299 0 -1 4202560 6348 0 0 0 111 2 0 0 20 0 22 0 24103798 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437483473464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6175] ppid=6156 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/6159/task/6175/stat : 6175 (java) S 6156 6159 1299 0 -1 4202560 5494 0 0 0 108 2 0 0 20 0 22 0 24103798 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437482420920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6176] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6176/stat : 6176 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437481368568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6177] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6177/stat : 6177 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437480316232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6181] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6181/stat : 6181 (java) S 6156 6159 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24103840 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437476103336 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6191] ppid=6156 vsize=9824732 CPUtime=3.69 cores=0,2,4,6
/proc/6159/task/6191/stat : 6191 (java) R 6156 6159 1299 0 -1 4202560 22 0 0 0 369 0 0 0 20 0 22 0 24104040 10060525568 60380 33554432000 1073741824 1073778376 140737404478176 140437477146896 140437529270726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6192] ppid=6156 vsize=9824732 CPUtime=3.69 cores=0,2,4,6

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

/proc/6159/task/6164/stat : 6164 (java) S 6156 6159 1299 0 -1 4202560 983 0 0 0 161 28 0 0 20 0 22 0 24103794 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437650766248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6165] ppid=6156 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/6159/task/6165/stat : 6165 (java) S 6156 6159 1299 0 -1 4202560 874 0 0 0 159 32 0 0 20 0 22 0 24103794 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437649713704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6166] ppid=6156 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/6159/task/6166/stat : 6166 (java) S 6156 6159 1299 0 -1 4202560 1054 0 0 0 184 34 0 0 20 0 22 0 24103794 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437648661160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6167] ppid=6156 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/6159/task/6167/stat : 6167 (java) S 6156 6159 1299 0 -1 4202560 893 0 0 0 154 28 0 0 20 0 22 0 24103794 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437647608616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6168] ppid=6156 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/6159/task/6168/stat : 6168 (java) S 6156 6159 1299 0 -1 4202560 1077 0 0 0 176 33 0 0 20 0 22 0 24103794 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437500935080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6169] ppid=6156 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/6159/task/6169/stat : 6169 (java) S 6156 6159 1299 0 -1 4202560 829 0 0 0 178 33 0 0 20 0 22 0 24103794 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437499882536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6170] ppid=6156 vsize=9824732 CPUtime=3.9 cores=0,2,4,6
/proc/6159/task/6170/stat : 6170 (java) S 6156 6159 1299 0 -1 4202560 2358 0 0 0 381 9 0 0 20 0 22 0 24103795 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437487683688 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6171] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6171/stat : 6171 (java) S 6156 6159 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24103795 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437486630008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6172] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6172/stat : 6172 (java) S 6156 6159 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24103796 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437485577352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6173] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6173/stat : 6173 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437484526096 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6174] ppid=6156 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/6159/task/6174/stat : 6174 (java) S 6156 6159 1299 0 -1 4202560 6353 0 0 0 124 2 0 0 20 0 22 0 24103798 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437483473464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6175] ppid=6156 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/6159/task/6175/stat : 6175 (java) S 6156 6159 1299 0 -1 4202560 5495 0 0 0 114 2 0 0 20 0 22 0 24103798 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437482420920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6176] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6176/stat : 6176 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437481368568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6177] ppid=6156 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/6159/task/6177/stat : 6177 (java) S 6156 6159 1299 0 -1 4202560 51 0 0 0 12 14 0 0 20 0 22 0 24103798 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437480316232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6193] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6193/stat : 6193 (java) S 6156 6159 1299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24104040 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437478209192 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6194] ppid=6156 vsize=9824732 CPUtime=864.21 cores=0,2,4,6
/proc/6159/task/6194/stat : 6194 (java) R 6156 6159 1299 0 -1 4202560 315 0 0 0 86399 22 0 0 20 0 22 0 24104541 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437477154160 140437529262384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6195] ppid=6156 vsize=9824732 CPUtime=864.12 cores=0,2,4,6
/proc/6159/task/6195/stat : 6195 (java) R 6156 6159 1299 0 -1 4202560 658 0 0 0 86387 25 0 0 20 0 22 0 24104541 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437479258128 140437529473487 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6196] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6196/stat : 6196 (java) S 6156 6159 1299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24104541 10060525568 408226 33554432000 1073741824 1073778376 140737404478176 140437476103208 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1766.02
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.301 s]
/proc/loadavg: 4.16 4.19 4.22 5/219 6287
/proc/meminfo: memFree=25608404/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9824732 CPUtime=1800.11 cores=0,2,4,6
/proc/6159/stat : 6159 (java) S 6156 6159 1299 0 -1 4202496 26873 0 1 0 179692 319 0 0 20 0 22 0 24103792 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140737404469312 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2456183 421578 2294 9 0 2446860 0
[pid=6159/tid=6161] ppid=6156 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/6159/task/6161/stat : 6161 (java) S 6156 6159 1299 0 -1 4202560 2438 0 1 0 45 3 0 0 20 0 22 0 24103793 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437663810424 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6162] ppid=6156 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/6159/task/6162/stat : 6162 (java) S 6156 6159 1299 0 -1 4202560 1027 0 0 0 188 37 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437652871336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6163] ppid=6156 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/6159/task/6163/stat : 6163 (java) S 6156 6159 1299 0 -1 4202560 962 0 0 0 174 35 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437651818792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6164] ppid=6156 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/6159/task/6164/stat : 6164 (java) S 6156 6159 1299 0 -1 4202560 986 0 0 0 162 28 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437650766248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6165] ppid=6156 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/6159/task/6165/stat : 6165 (java) S 6156 6159 1299 0 -1 4202560 883 0 0 0 161 32 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437649713704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6166] ppid=6156 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/6159/task/6166/stat : 6166 (java) S 6156 6159 1299 0 -1 4202560 1067 0 0 0 187 35 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437648661160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6167] ppid=6156 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/6159/task/6167/stat : 6167 (java) S 6156 6159 1299 0 -1 4202560 904 0 0 0 158 28 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437647608616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6168] ppid=6156 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/6159/task/6168/stat : 6168 (java) S 6156 6159 1299 0 -1 4202560 1088 0 0 0 178 34 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437500935080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6169] ppid=6156 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/6159/task/6169/stat : 6169 (java) S 6156 6159 1299 0 -1 4202560 834 0 0 0 180 33 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437499882536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6170] ppid=6156 vsize=9824732 CPUtime=3.9 cores=0,2,4,6
/proc/6159/task/6170/stat : 6170 (java) S 6156 6159 1299 0 -1 4202560 2402 0 0 0 381 9 0 0 20 0 22 0 24103795 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437487683688 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6171] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6171/stat : 6171 (java) S 6156 6159 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24103795 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437486630008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6172] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6172/stat : 6172 (java) S 6156 6159 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24103796 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437485577352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6173] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6173/stat : 6173 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437484526096 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6174] ppid=6156 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/6159/task/6174/stat : 6174 (java) S 6156 6159 1299 0 -1 4202560 6353 0 0 0 124 2 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437483473464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6175] ppid=6156 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/6159/task/6175/stat : 6175 (java) S 6156 6159 1299 0 -1 4202560 5495 0 0 0 114 2 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437482420920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6176] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6176/stat : 6176 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437481368568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6177] ppid=6156 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/6159/task/6177/stat : 6177 (java) S 6156 6159 1299 0 -1 4202560 53 0 0 0 12 14 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437480316232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6193] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6193/stat : 6193 (java) S 6156 6159 1299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24104040 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437478209192 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6194] ppid=6156 vsize=9824732 CPUtime=881.09 cores=0,2,4,6
/proc/6159/task/6194/stat : 6194 (java) R 6156 6159 1299 0 -1 4202560 317 0 0 0 88087 22 0 0 20 0 22 0 24104541 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437477146336 140437529303743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6195] ppid=6156 vsize=9824732 CPUtime=881.01 cores=0,2,4,6
/proc/6159/task/6195/stat : 6195 (java) R 6156 6159 1299 0 -1 4202560 658 0 0 0 88076 25 0 0 20 0 22 0 24104541 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437479259200 140437529478006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6196] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6196/stat : 6196 (java) S 6156 6159 1299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24104541 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437476103208 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824732

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 6159 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.301 s]
/proc/loadavg: 4.16 4.19 4.22 5/219 6287
/proc/meminfo: memFree=25608404/32872528 swapFree=877056/942464
[pid=6159] ppid=6156 vsize=9824732 CPUtime=1800.11 cores=0,2,4,6
/proc/6159/stat : 6159 (java) S 6156 6159 1299 0 -1 4202496 26873 0 1 0 179692 319 0 0 20 0 22 0 24103792 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140737404469312 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6159/statm: 2456183 421578 2294 9 0 2446860 0
[pid=6159/tid=6161] ppid=6156 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/6159/task/6161/stat : 6161 (java) S 6156 6159 1299 0 -1 4202560 2438 0 1 0 45 3 0 0 20 0 22 0 24103793 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437663810424 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6162] ppid=6156 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/6159/task/6162/stat : 6162 (java) S 6156 6159 1299 0 -1 4202560 1027 0 0 0 188 37 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437652871336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6163] ppid=6156 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/6159/task/6163/stat : 6163 (java) S 6156 6159 1299 0 -1 4202560 962 0 0 0 174 35 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437651818792 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6164] ppid=6156 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/6159/task/6164/stat : 6164 (java) S 6156 6159 1299 0 -1 4202560 986 0 0 0 162 28 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437650766248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6165] ppid=6156 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/6159/task/6165/stat : 6165 (java) S 6156 6159 1299 0 -1 4202560 883 0 0 0 161 32 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437649713704 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6166] ppid=6156 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/6159/task/6166/stat : 6166 (java) S 6156 6159 1299 0 -1 4202560 1067 0 0 0 187 35 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437648661160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6167] ppid=6156 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/6159/task/6167/stat : 6167 (java) S 6156 6159 1299 0 -1 4202560 904 0 0 0 158 28 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437647608616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6159/tid=6168] ppid=6156 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/6159/task/6168/stat : 6168 (java) S 6156 6159 1299 0 -1 4202560 1088 0 0 0 178 34 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437500935080 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6169] ppid=6156 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/6159/task/6169/stat : 6169 (java) S 6156 6159 1299 0 -1 4202560 834 0 0 0 180 33 0 0 20 0 22 0 24103794 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437499882536 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6170] ppid=6156 vsize=9824732 CPUtime=3.9 cores=0,2,4,6
/proc/6159/task/6170/stat : 6170 (java) S 6156 6159 1299 0 -1 4202560 2402 0 0 0 381 9 0 0 20 0 22 0 24103795 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437487683688 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6171] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6171/stat : 6171 (java) S 6156 6159 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24103795 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437486630008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6172] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6172/stat : 6172 (java) S 6156 6159 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24103796 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437485577352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6173] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6173/stat : 6173 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437484526096 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6174] ppid=6156 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/6159/task/6174/stat : 6174 (java) S 6156 6159 1299 0 -1 4202560 6353 0 0 0 124 2 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437483473464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6175] ppid=6156 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/6159/task/6175/stat : 6175 (java) S 6156 6159 1299 0 -1 4202560 5495 0 0 0 114 2 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437482420920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6176] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6176/stat : 6176 (java) S 6156 6159 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437481368568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6159/tid=6177] ppid=6156 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/6159/task/6177/stat : 6177 (java) S 6156 6159 1299 0 -1 4202560 53 0 0 0 12 14 0 0 20 0 22 0 24103798 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437480316232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6193] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6193/stat : 6193 (java) S 6156 6159 1299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24104040 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437478209192 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6194] ppid=6156 vsize=9824732 CPUtime=881.09 cores=0,2,4,6
/proc/6159/task/6194/stat : 6194 (java) R 6156 6159 1299 0 -1 4202560 317 0 0 0 88087 22 0 0 20 0 22 0 24104541 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437477146336 140437529303743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6159/tid=6195] ppid=6156 vsize=9824732 CPUtime=881.01 cores=0,2,4,6
/proc/6159/task/6195/stat : 6195 (java) R 6156 6159 1299 0 -1 4202560 658 0 0 0 88076 25 0 0 20 0 22 0 24104541 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437479259200 140437529478006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6159/tid=6196] ppid=6156 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6159/task/6196/stat : 6196 (java) S 6156 6159 1299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24104541 10060525568 421578 33554432000 1073741824 1073778376 140737404478176 140437476103208 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6159 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=558489
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=644445
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 899.365
CPU time (s): 1800.11
CPU user time (s): 1796.92
CPU system time (s): 3.19
CPU usage (%): 200.153
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.56
system time used= 3.64445
maximum resident set size= 2307468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26920
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24639
involuntary context switches= 31416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96524 second user time and 7.8728 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-18 05:29:09
IDJOB=4103202
IDBENCH=2296
IDSOLVER=2543
FILE ID=node113/4103202-1466220549
RUNJOBID= node113-1466206100-1315
PBS_JOBID= 19918163
Free space on /tmp= 71544 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103202-1466220549/watcher-4103202-1466220549 -o /tmp/evaluation-result-4103202-1466220549/solver-4103202-1466220549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466206100-1315 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103202-1466220549.opb

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

MD5SUM BENCH= f6afca2947f6ff68bd855d0ea2ea59a9
RANDOM SEED=563798399

node113.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.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
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.799
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.799
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.56
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.799
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.55
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.799
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.55
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.799
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.54
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.799
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.54
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.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        23417932 kB
Buffers:           99984 kB
Cached:           305216 kB
SwapCached:         1968 kB
Active:          7571300 kB
Inactive:         184552 kB
Active(anon):    7351224 kB
Inactive(anon):     1556 kB
Active(file):     220076 kB
Inactive(file):   182996 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:       8298120 kB
Mapped:            15376 kB
Shmem:                 0 kB
Slab:             603916 kB
SReclaimable:      47724 kB
SUnreclaim:       556192 kB
KernelStack:        1600 kB
PageTables:        20472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9049012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7086080 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= 71696 MiB
End job on node113 at 2016-06-18 05:44:08