Trace number 4081107

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)169 1800.54 899.625

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
MD5SUMdf1c0055bf82833faa95d352e28c6731
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark156
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4676
Total number of constraints398
Number of constraints which are clauses398
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 4676
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4676
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4676
Number of bits of the biggest sum of numbers13
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4081107-1465225244.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.28/0.29	c ... done. Wall clock time 0.178s.
0.28/0.29	c declared #vars     4676
0.28/0.29	c #constraints  398
0.28/0.29	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.28/0.29	c constraints type 
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 397
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.28/0.29	c 398 constraints processed.
0.28/0.29	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.28/0.29	c constraints type 
0.28/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
0.28/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 397
0.28/0.29	c 398 constraints processed.
0.28/0.29	c objective function length is 4676 literals
0.56/0.37	c And the winner is solver0
0.84/0.80	c SATISFIABLE
0.84/0.80	c OPTIMIZING...
0.84/0.80	c Got one! Elapsed wall clock time (in seconds):0.689
0.84/0.80	o 173
2.71/1.50	c cleaning 2495 clauses out of 5001 with flag 12532/5001
4.21/2.16	c cleaning 4242 clauses out of 8505 with flag 26976/11000
6.87/3.44	c cleaning 5631 clauses out of 11263 with flag 46275/18000
7.46/3.76	c And the winner is solver0
7.63/3.87	c Got one! Elapsed wall clock time (in seconds):3.766
7.63/3.87	o 172
8.77/4.43	c cleaning 5357 clauses out of 10723 with flag 9458/23091
11.98/6.04	c cleaning 5678 clauses out of 11366 with flag 27644/29091
15.98/8.06	c cleaning 6336 clauses out of 12688 with flag 50124/36091
18.77/9.49	c And the winner is solver1
18.98/9.88	c Got one! Elapsed wall clock time (in seconds):9.777
18.98/9.88	o 171
22.24/11.57	c cleaning 8186 clauses out of 16371 with flag 16175/46110
26.05/13.47	c cleaning 7085 clauses out of 14183 with flag 36104/52108
30.53/15.65	c cleaning 7049 clauses out of 14098 with flag 59718/59108
35.34/18.05	c cleaning 7525 clauses out of 15049 with flag 87518/67108
40.87/20.78	c cleaning 8260 clauses out of 16526 with flag 118461/76110
43.48/22.01	c And the winner is solver1
43.48/22.39	c Got one! Elapsed wall clock time (in seconds):22.286
43.48/22.39	o 170
43.90/22.68	c cleaning 6758 clauses out of 13516 with flag 3083/81360
47.31/24.35	c cleaning 6378 clauses out of 12755 with flag 21640/87357
51.54/26.43	c cleaning 6689 clauses out of 13377 with flag 44699/94357
56.33/28.81	c cleaning 7345 clauses out of 14689 with flag 71115/102358
61.73/31.50	c cleaning 8171 clauses out of 16343 with flag 101944/111357
67.74/34.55	c cleaning 9086 clauses out of 18172 with flag 134242/121357
74.53/37.98	c cleaning 10046 clauses out of 20092 with flag 170592/132363
82.18/41.73	c cleaning 11020 clauses out of 22040 with flag 209367/144357
90.29/45.76	c cleaning 12001 clauses out of 24020 with flag 252604/157357
99.11/50.12	c cleaning 13010 clauses out of 26019 with flag 299098/171357
108.55/54.88	c cleaning 14005 clauses out of 28009 with flag 348085/186357
118.55/59.88	c cleaning 15001 clauses out of 30004 with flag 401364/202357
129.74/65.40	c cleaning 16000 clauses out of 32003 with flag 460396/219357
141.79/71.41	c cleaning 17000 clauses out of 34005 with flag 522598/237359
153.99/77.56	c cleaning 18002 clauses out of 36006 with flag 586520/256360
167.83/84.32	c cleaning 19002 clauses out of 38003 with flag 655910/276359
181.73/91.27	c cleaning 19995 clauses out of 39999 with flag 727103/297357
195.94/98.38	c cleaning 21004 clauses out of 42007 with flag 801536/319360
212.23/106.44	c cleaning 22002 clauses out of 44003 with flag 878812/342360
228.64/114.65	c cleaning 22992 clauses out of 45998 with flag 959183/366357
245.73/123.19	c cleaning 23997 clauses out of 48007 with flag 1041680/391358
263.54/132.08	c cleaning 25005 clauses out of 50009 with flag 1123702/417357
283.62/142.06	c cleaning 25997 clauses out of 52004 with flag 1206647/444357
305.08/152.77	c cleaning 26996 clauses out of 54009 with flag 1295593/472359
313.53/156.93	c And the winner is solver1
313.53/157.41	c Got one! Elapsed wall clock time (in seconds):157.307
313.53/157.41	o 169
316.49/158.91	c cleaning 22156 clauses out of 44312 with flag 16208/489658
319.91/160.64	c cleaning 14078 clauses out of 28156 with flag 34788/495658
324.09/162.72	c cleaning 10535 clauses out of 21077 with flag 57107/502657
328.72/165.05	c cleaning 9274 clauses out of 18547 with flag 83245/510662
334.17/167.73	c cleaning 9126 clauses out of 18268 with flag 113600/519657
340.17/170.76	c cleaning 9561 clauses out of 19142 with flag 146676/529657
347.05/174.16	c cleaning 10294 clauses out of 20587 with flag 182490/540663
354.45/177.88	c cleaning 11132 clauses out of 22287 with flag 223911/552657
362.72/181.94	c cleaning 12051 clauses out of 24155 with flag 269949/565657
371.12/186.15	c cleaning 13042 clauses out of 26107 with flag 317708/579660
380.40/190.71	c cleaning 14031 clauses out of 28062 with flag 372138/594657
390.61/195.83	c cleaning 15014 clauses out of 30031 with flag 430783/610657
401.25/201.10	c cleaning 16002 clauses out of 32017 with flag 491643/627657
412.93/206.92	c cleaning 17001 clauses out of 34017 with flag 558371/645659
424.91/212.93	c cleaning 18008 clauses out of 36016 with flag 632016/664659
438.14/219.77	c cleaning 18990 clauses out of 38009 with flag 712220/684660
451.77/226.59	c cleaning 20008 clauses out of 40016 with flag 798731/705657
466.22/233.71	c cleaning 21004 clauses out of 42008 with flag 893058/727657
480.93/241.04	c cleaning 21997 clauses out of 44004 with flag 990396/750657
496.86/248.96	c cleaning 23004 clauses out of 46008 with flag 1097365/774658
513.12/257.05	c cleaning 23994 clauses out of 48003 with flag 1212664/799657
530.84/265.83	c cleaning 25005 clauses out of 50009 with flag 1338053/825657
548.68/274.76	c cleaning 25992 clauses out of 52004 with flag 1476199/852657
567.92/284.67	c cleaning 27006 clauses out of 54012 with flag 1618037/880657
587.38/294.33	c cleaning 27997 clauses out of 56006 with flag 1773471/909657
607.68/304.48	c cleaning 29005 clauses out of 58009 with flag 1940598/939657
628.82/314.96	c cleaning 30002 clauses out of 60004 with flag 2108418/970657
650.78/325.80	c cleaning 30990 clauses out of 62002 with flag 2296617/1002657
673.12/336.96	c cleaning 31998 clauses out of 64012 with flag 2492744/1035657
696.53/348.50	c cleaning 33006 clauses out of 66014 with flag 2701693/1069657
720.62/360.54	c cleaning 33995 clauses out of 68008 with flag 2928870/1104657
745.88/373.57	c cleaning 34997 clauses out of 70013 with flag 3165096/1140657
771.68/386.39	c cleaning 36008 clauses out of 72016 with flag 3421199/1177657
798.16/399.55	c cleaning 37004 clauses out of 74008 with flag 3674952/1215657
824.66/412.73	c cleaning 37992 clauses out of 76004 with flag 3946048/1254657
852.77/426.72	c cleaning 39008 clauses out of 78015 with flag 4227340/1294660
881.63/441.01	c cleaning 39996 clauses out of 80004 with flag 4534535/1335657
910.57/455.50	c cleaning 41006 clauses out of 82014 with flag 4868066/1377663
941.29/470.71	c cleaning 41991 clauses out of 84002 with flag 5189575/1420657
972.22/486.18	c cleaning 42995 clauses out of 86011 with flag 5538895/1464657
1003.96/501.94	c cleaning 44004 clauses out of 88017 with flag 5908873/1509658
1037.86/518.76	c cleaning 45008 clauses out of 90015 with flag 6285706/1555660
1072.61/535.96	c cleaning 45999 clauses out of 92004 with flag 6661315/1602657
1107.35/553.17	c cleaning 46995 clauses out of 94005 with flag 7076201/1650657
1144.28/572.34	c cleaning 47987 clauses out of 96010 with flag 7506557/1699657
1181.83/591.06	c cleaning 48995 clauses out of 98023 with flag 7923794/1749657
1224.14/612.18	c cleaning 50008 clauses out of 100028 with flag 8092562/1800657
1268.11/633.99	c cleaning 51005 clauses out of 102020 with flag 8268907/1852657
1312.82/656.05	c cleaning 51999 clauses out of 104015 with flag 8451559/1905657
1360.91/679.97	c cleaning 52988 clauses out of 106018 with flag 8636598/1959659
1408.04/703.43	c cleaning 53993 clauses out of 108028 with flag 8822385/2014657
1454.35/726.54	c cleaning 54998 clauses out of 110035 with flag 9007388/2070657
1503.16/751.54	c cleaning 56002 clauses out of 112037 with flag 9192550/2127657
1552.87/776.31	c cleaning 57018 clauses out of 114037 with flag 9387386/2185659
1603.45/801.50	c cleaning 57995 clauses out of 116017 with flag 9590081/2244657
1662.05/830.64	c cleaning 58999 clauses out of 118023 with flag 9791338/2304658
1718.95/858.90	c cleaning 59988 clauses out of 120023 with flag 9987735/2365657
1774.55/886.66	c cleaning 61008 clauses out of 122035 with flag 10194514/2427657
1800.54/899.56	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.54/899.56	c starts		: 44681
1800.54/899.56	c conflicts		: 2459286
1800.54/899.56	c decisions		: 23924794
1800.54/899.56	c propagations		: 1350272542
1800.54/899.56	c inspects		: 4748264408
1800.54/899.56	c shortcuts		: 0
1800.54/899.56	c learnt literals	: 0
1800.54/899.56	c learnt binary clauses	: 0
1800.54/899.56	c learnt ternary clauses	: 0
1800.54/899.56	c learnt constraints	: 2459286
1800.54/899.56	c ignored constraints	: 0
1800.54/899.56	c root simplifications	: 0
1800.54/899.56	c removed literals (reason simplification)	: 18059190
1800.54/899.56	c reason swapping (by a shorter reason)	: 0
1800.54/899.56	c Calls to reduceDB	: 93
1800.54/899.56	c Number of update (reduction) of LBD	: 1154883
1800.54/899.56	c Imported unit clauses	: 0
1800.54/899.56	c number of reductions to clauses (during analyze)	: 0
1800.54/899.56	c number of learned constraints concerned by reduction	: 0
1800.54/899.56	c number of learning phase by resolution	: 0
1800.54/899.56	c number of learning phase by cutting planes	: 0
1800.54/899.56	c speed (assignments/second)	: 1819423.6717182538
1800.54/899.56	c non guided choices	0
1800.54/899.59	c learnt constraints type 
1800.54/899.59	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 92656
1800.54/899.59	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.54/899.59	c starts		: 25
1800.54/899.59	c conflicts		: 4523
1800.54/899.59	c decisions		: 141640
1800.54/899.59	c propagations		: 553500
1800.54/899.59	c inspects		: 17767055
1800.54/899.59	c shortcuts		: 0
1800.54/899.59	c learnt literals	: 0
1800.54/899.59	c learnt binary clauses	: 0
1800.54/899.59	c learnt ternary clauses	: 0
1800.54/899.59	c learnt constraints	: 4522
1800.54/899.59	c ignored constraints	: 0
1800.54/899.59	c root simplifications	: 0
1800.54/899.59	c removed literals (reason simplification)	: 0
1800.54/899.59	c reason swapping (by a shorter reason)	: 0
1800.54/899.59	c Calls to reduceDB	: 0
1800.54/899.59	c Number of update (reduction) of LBD	: 0
1800.54/899.59	c Imported unit clauses	: 0
1800.54/899.59	c number of reductions to clauses (during analyze)	: 0
1800.54/899.59	c number of learned constraints concerned by reduction	: 0
1800.54/899.59	c number of learning phase by resolution	: 0
1800.54/899.59	c number of learning phase by cutting planes	: 0
1800.54/899.59	c speed (assignments/second)	: 617.9489899018091
1800.54/899.59	c non guided choices	7
1800.54/899.59	c learnt constraints type 
1800.54/899.59	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2488
1800.54/899.59	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2034
1800.54/899.59	s SATISFIABLE
1800.54/899.59	c Found 5 solution(s)
1800.54/899.60	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 
1800.54/899.60	c objective function=169
1800.54/899.60	c Total wall clock time (in seconds): 899.496

Verifier Data 

OK	169

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-4081107-1465225244/watcher-4081107-1465225244 -o /tmp/evaluation-result-4081107-1465225244/solver-4081107-1465225244 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-974 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081107-1465225244.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.08 4.10 4.00 4/196 2201
/proc/meminfo: memFree=28001496/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=23172 CPUtime=0 cores=1,3,5,7
/proc/2201/stat : 2201 (java) R 2198 2201 955 0 -1 4202496 1214 0 0 0 0 0 0 0 20 0 1 0 104459300 23728128 857 33554432000 1073741824 1073778376 140736266965808 140736266954872 235365560151 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 6050 864 653 9 0 385 0
[pid=2201/tid=2202] ppid=2198 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) R 2198 2201 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 2 0 104459301 91889664 876 33554432000 1073741824 1073778376 140736266965808 140736266954872 235374080880 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100064 s]
/proc/loadavg: 4.08 4.10 4.00 4/196 2201
/proc/meminfo: memFree=28001496/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 4502 0 1 0 10 0 0 0 20 0 18 0 104459300 9787879424 6136 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2389619 6146 2156 9 0 2380296 0
[pid=2201/tid=2202] ppid=2198 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) R 2198 2201 955 0 -1 4202560 2398 0 1 0 7 0 0 0 20 0 18 0 104459301 9787879424 6146 33554432000 1073741824 1073778376 140736266965808 139722743679856 139722746484114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200383 s]
/proc/loadavg: 4.08 4.10 4.00 4/196 2201
/proc/meminfo: memFree=28001496/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 5021 0 1 0 28 0 0 0 20 0 18 0 104459300 9787879424 6992 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2389619 6992 2219 9 0 2380296 0
[pid=2201/tid=2202] ppid=2198 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) R 2198 2201 955 0 -1 4202560 2414 0 1 0 17 0 0 0 20 0 18 0 104459301 9787879424 6992 33554432000 1073741824 1073778376 140736266965808 139722743679856 139722615717281 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300277 s]
/proc/loadavg: 4.08 4.10 4.00 4/196 2201
/proc/meminfo: memFree=28001496/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9691604 CPUtime=0.56 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 7865 0 1 0 55 1 0 0 20 0 20 0 104459300 9924202496 11532 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2422901 11559 2241 9 0 2413578 0
[pid=2201/tid=2202] ppid=2198 vsize=9691604 CPUtime=0.27 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) S 2198 2201 955 0 -1 4202560 2435 0 1 0 27 0 0 0 20 0 20 0 104459301 9924202496 11564 33554432000 1073741824 1073778376 140736266965808 139722743681912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9691604

[startup+0.700348 s]
/proc/loadavg: 4.08 4.10 4.00 4/196 2201
/proc/meminfo: memFree=28001496/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 8343 0 1 0 80 3 0 0 20 0 19 0 104459300 10060525568 11987 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2456183 11987 2250 9 0 2446860 0
[pid=2201/tid=2202] ppid=2198 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) S 2198 2201 955 0 -1 4202560 2435 0 1 0 27 0 0 0 20 0 19 0 104459301 10060525568 11987 33554432000 1073741824 1073778376 140736266965808 139722743681912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 9824732

[startup+1.50078 s]
/proc/loadavg: 4.16 4.12 4.01 5/218 2226
/proc/meminfo: memFree=27950360/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 10319 0 1 0 267 4 0 0 20 0 22 0 104459300 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2456183 15887 2266 9 0 2446860 0
[pid=2201/tid=2202] ppid=2198 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) S 2198 2201 955 0 -1 4202560 2439 0 1 0 30 0 0 0 20 0 22 0 104459301 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722743681912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2204] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2204/stat : 2204 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722587278248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2205] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2205/stat : 2205 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722586225704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2206] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2206/stat : 2206 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722585172648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2207] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2207/stat : 2207 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722584120104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2208] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2208/stat : 2208 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722583067048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2209] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2209/stat : 2209 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722582014504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2210] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2210/stat : 2210 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722580961448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2211] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2211/stat : 2211 (java) S 2198 2201 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722579908904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2212] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2212/stat : 2212 (java) S 2198 2201 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104459303 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722567711592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2213] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2213/stat : 2213 (java) S 2198 2201 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 104459303 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722566657912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2214] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2214/stat : 2214 (java) S 2198 2201 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104459303 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722565604744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2215] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2215/stat : 2215 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459305 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722564553488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2216] ppid=2198 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/2201/task/2216/stat : 2216 (java) R 2198 2201 955 0 -1 4202560 3996 0 0 0 43 0 0 0 20 0 22 0 104459305 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722563500344 139722746283032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2217] ppid=2198 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/2201/task/2217/stat : 2217 (java) R 2198 2201 955 0 -1 4202560 2542 0 0 0 42 0 0 0 20 0 22 0 104459305 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722562441648 139722746944935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2218] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2218/stat : 2218 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459305 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722561394936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2219] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2219/stat : 2219 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459305 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722560342600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2223] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2223/stat : 2223 (java) S 2198 2201 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104459333 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722556130728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2224] ppid=2198 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/2201/task/2224/stat : 2224 (java) R 2198 2201 955 0 -1 4202560 7 0 0 0 66 0 0 0 20 0 22 0 104459383 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722558234152 139722615736634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2225] ppid=2198 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/2201/task/2225/stat : 2225 (java) R 2198 2201 955 0 -1 4202560 18 0 0 0 66 0 0 0 20 0 22 0 104459383 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722559287208 139722616420412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2226] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2226/stat : 2226 (java) S 2198 2201 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104459383 10060525568 15887 33554432000 1073741824 1073778376 140736266965808 139722557182760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 9824732

[startup+3.10078 s]
/proc/loadavg: 4.16 4.12 4.01 5/218 2226
/proc/meminfo: memFree=27920896/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9824732 CPUtime=6.26 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 16132 0 1 0 621 5 0 0 20 0 22 0 104459300 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2456183 24513 2266 9 0 2446860 0
[pid=2201/tid=2202] ppid=2198 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) S 2198 2201 955 0 -1 4202560 2439 0 1 0 30 0 0 0 20 0 22 0 104459301 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722743681912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2204] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2204/stat : 2204 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722587278248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2205] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2205/stat : 2205 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722586225704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2206] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2206/stat : 2206 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722585172648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2207] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2207/stat : 2207 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722584120104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2208] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2208/stat : 2208 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722583067048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2209] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2209/stat : 2209 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722582014504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2210] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2210/stat : 2210 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722580961448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2211] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2211/stat : 2211 (java) S 2198 2201 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722579908904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2212] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2212/stat : 2212 (java) S 2198 2201 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104459303 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722567711592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2213] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2213/stat : 2213 (java) S 2198 2201 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 104459303 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722566657912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2214] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2214/stat : 2214 (java) S 2198 2201 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104459303 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722565604744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2215] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2215/stat : 2215 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459305 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722564553488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2216] ppid=2198 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/2201/task/2216/stat : 2216 (java) S 2198 2201 955 0 -1 4202560 9770 0 0 0 71 2 0 0 20 0 22 0 104459305 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722563500344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2217] ppid=2198 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/2201/task/2217/stat : 2217 (java) S 2198 2201 955 0 -1 4202560 2570 0 0 0 50 0 0 0 20 0 22 0 104459305 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722562447800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2218] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2218/stat : 2218 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459305 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722561394936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2219] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2219/stat : 2219 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459305 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722560342600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2223] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2223/stat : 2223 (java) S 2198 2201 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104459333 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722556130728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2224] ppid=2198 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/2201/task/2224/stat : 2224 (java) R 2198 2201 955 0 -1 4202560 12 0 0 0 225 0 0 0 20 0 22 0 104459383 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722558233304 139722616380995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2225] ppid=2198 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/2201/task/2225/stat : 2225 (java) R 2198 2201 955 0 -1 4202560 24 0 0 0 224 0 0 0 20 0 22 0 104459383 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722559285664 139722616420324 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2226] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2226/stat : 2226 (java) S 2198 2201 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104459383 10060525568 24513 33554432000 1073741824 1073778376 140736266965808 139722557182760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 4.16 4.12 4.01 5/218 2229
/proc/meminfo: memFree=27883196/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9824732 CPUtime=12.58 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 16160 0 1 0 1250 8 0 0 20 0 22 0 104459300 10060525568 33158 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2456183 33158 2267 9 0 2446860 0
[pid=2201/tid=2202] ppid=2198 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) S 2198 2201 955 0 -1 4202560 2441 0 1 0 31 0 0 0 20 0 22 0 104459301 10060525568 33158 33554432000 1073741824 1073778376 140736266965808 139722743681912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2204] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2204/stat : 2204 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 33158 33554432000 1073741824 1073778376 140736266965808 139722587278248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2205] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2205/stat : 2205 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 33158 33554432000 1073741824 1073778376 140736266965808 139722586225704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2206] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2206/stat : 2206 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 33158 33554432000 1073741824 1073778376 140736266965808 139722585172648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2207] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2207/stat : 2207 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 33158 33554432000 1073741824 1073778376 140736266965808 139722584120104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2208] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2208/stat : 2208 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 33158 33554432000 1073741824 1073778376 140736266965808 139722583067048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2209] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2209/stat : 2209 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 33158 33554432000 1073741824 1073778376 140736266965808 139722582014504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2210] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2210/stat : 2210 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459302 10060525568 33158 33554432000 1073741824 1073778376 140736266965808 139722580961448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2211] ppid=2198 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

/proc/meminfo: memFree=26157376/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9957860 CPUtime=1799.96 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 27481 0 1 0 179806 190 0 0 20 0 22 0 104459300 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2489465 431791 2294 9 0 2480142 0
[pid=2201/tid=2202] ppid=2198 vsize=9957860 CPUtime=0.35 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) S 2198 2201 955 0 -1 4202560 2450 0 1 0 33 2 0 0 20 0 22 0 104459301 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722743681912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2204] ppid=2198 vsize=9957860 CPUtime=2.31 cores=1,3,5,7
/proc/2201/task/2204/stat : 2204 (java) R 2198 2201 955 0 -1 4202560 1003 0 0 0 211 20 0 0 20 0 22 0 104459302 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722587278424 139722750577580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2205] ppid=2198 vsize=9957860 CPUtime=2.26 cores=1,3,5,7
/proc/2201/task/2205/stat : 2205 (java) R 2198 2201 955 0 -1 4202560 893 0 0 0 208 18 0 0 20 0 22 0 104459302 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722586225880 139722746152691 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2206] ppid=2198 vsize=9957860 CPUtime=2.31 cores=1,3,5,7
/proc/2201/task/2206/stat : 2206 (java) R 2198 2201 955 0 -1 4202560 725 0 0 0 214 17 0 0 20 0 22 0 104459302 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722585172824 139722746152691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2207] ppid=2198 vsize=9957860 CPUtime=2.38 cores=1,3,5,7
/proc/2201/task/2207/stat : 2207 (java) R 2198 2201 955 0 -1 4202560 953 0 0 0 220 18 0 0 20 0 22 0 104459302 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722584120280 139722746152691 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2208] ppid=2198 vsize=9957860 CPUtime=2.2 cores=1,3,5,7
/proc/2201/task/2208/stat : 2208 (java) R 2198 2201 955 0 -1 4202560 609 0 0 0 201 19 0 0 20 0 22 0 104459302 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722583067224 139722747857071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2209] ppid=2198 vsize=9957860 CPUtime=2.14 cores=1,3,5,7
/proc/2201/task/2209/stat : 2209 (java) R 2198 2201 955 0 -1 4202560 1297 0 0 0 196 18 0 0 20 0 22 0 104459302 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722582014384 139722746152691 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2210] ppid=2198 vsize=9957860 CPUtime=2.5 cores=1,3,5,7
/proc/2201/task/2210/stat : 2210 (java) R 2198 2201 955 0 -1 4202560 926 0 0 0 227 23 0 0 20 0 22 0 104459302 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722580961624 139722746152691 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2211] ppid=2198 vsize=9957860 CPUtime=2.27 cores=1,3,5,7
/proc/2201/task/2211/stat : 2211 (java) R 2198 2201 955 0 -1 4202560 747 0 0 0 208 19 0 0 20 0 22 0 104459302 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722579909080 139722746152691 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2212] ppid=2198 vsize=9957860 CPUtime=5.03 cores=1,3,5,7
/proc/2201/task/2212/stat : 2212 (java) S 2198 2201 955 0 -1 4202560 1382 0 0 0 496 7 0 0 20 0 22 0 104459303 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722567710472 235378095164 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2213] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2213/stat : 2213 (java) S 2198 2201 955 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 104459303 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722566657912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2214] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2214/stat : 2214 (java) S 2198 2201 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104459303 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722565604744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2215] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2215/stat : 2215 (java) S 2198 2201 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104459305 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722564553488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2216] ppid=2198 vsize=9957860 CPUtime=0.95 cores=1,3,5,7
/proc/2201/task/2216/stat : 2216 (java) S 2198 2201 955 0 -1 4202560 9776 0 0 0 93 2 0 0 20 0 22 0 104459305 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722563500344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2217] ppid=2198 vsize=9957860 CPUtime=1.29 cores=1,3,5,7
/proc/2201/task/2217/stat : 2217 (java) S 2198 2201 955 0 -1 4202560 5107 0 0 0 127 2 0 0 20 0 22 0 104459305 10196848640 431791 33554432000 1073741824 1073778376 140736266965808 139722562447800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2218] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2218/stat : 2218 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104459305 10196848640 432303 33554432000 1073741824 1073778376 140736266965808 139722561394936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2219] ppid=2198 vsize=9957860 CPUtime=0.16 cores=1,3,5,7
/proc/2201/task/2219/stat : 2219 (java) S 2198 2201 955 0 -1 4202560 54 0 0 0 7 9 0 0 20 0 22 0 104459305 10196848640 432303 33554432000 1073741824 1073778376 140736266965808 139722560342600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2434] ppid=2198 vsize=9957860 CPUtime=730.71 cores=1,3,5,7
/proc/2201/task/2434/stat : 2434 (java) S 2198 2201 955 0 -1 4202560 33 0 0 0 73059 12 0 0 20 0 22 0 104475043 10196848640 432303 33554432000 1073741824 1073778376 140736266965808 139722559286424 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2435] ppid=2198 vsize=9957860 CPUtime=730.69 cores=1,3,5,7
/proc/2201/task/2435/stat : 2435 (java) S 2198 2201 955 0 -1 4202560 39 0 0 0 73058 11 0 0 20 0 22 0 104475043 10196848640 432303 33554432000 1073741824 1073778376 140736266965808 139722558233688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 9957860

[startup+899.601 s]
/proc/loadavg: 4.13 4.12 4.05 5/217 2474
/proc/meminfo: memFree=26157376/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9957860 CPUtime=1798.54 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 27583 0 1 0 179649 205 0 0 20 0 21 0 104459300 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2489465 442578 2301 9 0 2480142 0
[pid=2201/tid=2202] ppid=2198 vsize=9957860 CPUtime=0.35 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) S 2198 2201 955 0 -1 4202560 2450 0 1 0 33 2 0 0 20 0 21 0 104459301 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722743681912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2204] ppid=2198 vsize=9957860 CPUtime=2.35 cores=1,3,5,7
/proc/2201/task/2204/stat : 2204 (java) S 2198 2201 955 0 -1 4202560 1016 0 0 0 214 21 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722587278248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2205] ppid=2198 vsize=9957860 CPUtime=2.29 cores=1,3,5,7
/proc/2201/task/2205/stat : 2205 (java) S 2198 2201 955 0 -1 4202560 907 0 0 0 210 19 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722586225704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2206] ppid=2198 vsize=9957860 CPUtime=2.38 cores=1,3,5,7
/proc/2201/task/2206/stat : 2206 (java) S 2198 2201 955 0 -1 4202560 741 0 0 0 219 19 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722585172648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2207] ppid=2198 vsize=9957860 CPUtime=2.4 cores=1,3,5,7
/proc/2201/task/2207/stat : 2207 (java) S 2198 2201 955 0 -1 4202560 957 0 0 0 222 18 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722584120104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2208] ppid=2198 vsize=9957860 CPUtime=2.24 cores=1,3,5,7
/proc/2201/task/2208/stat : 2208 (java) S 2198 2201 955 0 -1 4202560 623 0 0 0 205 19 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722583067048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2209] ppid=2198 vsize=9957860 CPUtime=2.16 cores=1,3,5,7
/proc/2201/task/2209/stat : 2209 (java) S 2198 2201 955 0 -1 4202560 1300 0 0 0 198 18 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722582014504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2210] ppid=2198 vsize=9957860 CPUtime=2.52 cores=1,3,5,7
/proc/2201/task/2210/stat : 2210 (java) S 2198 2201 955 0 -1 4202560 931 0 0 0 229 23 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722580961448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2211] ppid=2198 vsize=9957860 CPUtime=2.29 cores=1,3,5,7
/proc/2201/task/2211/stat : 2211 (java) S 2198 2201 955 0 -1 4202560 751 0 0 0 210 19 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722579908904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2212] ppid=2198 vsize=9957860 CPUtime=5.03 cores=1,3,5,7
/proc/2201/task/2212/stat : 2212 (java) S 2198 2201 955 0 -1 4202560 1401 0 0 0 496 7 0 0 20 0 21 0 104459303 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722567711592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2213] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2213/stat : 2213 (java) S 2198 2201 955 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 21 0 104459303 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722566657912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2214] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2214/stat : 2214 (java) S 2198 2201 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 104459303 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722565604744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2215] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2215/stat : 2215 (java) S 2198 2201 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722564553488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2216] ppid=2198 vsize=9957860 CPUtime=0.98 cores=1,3,5,7
/proc/2201/task/2216/stat : 2216 (java) R 2198 2201 955 0 -1 4202560 9783 0 0 0 96 2 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722563487840 139722746587235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2217] ppid=2198 vsize=9957860 CPUtime=1.29 cores=1,3,5,7
/proc/2201/task/2217/stat : 2217 (java) S 2198 2201 955 0 -1 4202560 5108 0 0 0 127 2 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722562447800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2218] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2218/stat : 2218 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722561394936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2219] ppid=2198 vsize=9957860 CPUtime=0.16 cores=1,3,5,7
/proc/2201/task/2219/stat : 2219 (java) S 2198 2201 955 0 -1 4202560 54 0 0 0 7 9 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722560342600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2435] ppid=2198 vsize=9957860 CPUtime=730.73 cores=1,3,5,7
/proc/2201/task/2435/stat : 2435 (java) R 2198 2201 955 0 -1 4202560 39 0 0 0 73062 11 0 0 20 0 21 0 104475043 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722558233688 139722616420809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (KiB) 9957860
#
############


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

[startup+899.601 s]
/proc/loadavg: 4.13 4.12 4.05 5/217 2474
/proc/meminfo: memFree=26157376/32872528 swapFree=13256/481332
[pid=2201] ppid=2198 vsize=9957860 CPUtime=1798.54 cores=1,3,5,7
/proc/2201/stat : 2201 (java) S 2198 2201 955 0 -1 4202496 27583 0 1 0 179649 205 0 0 20 0 21 0 104459300 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 140736266956944 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2201/statm: 2489465 442578 2301 9 0 2480142 0
[pid=2201/tid=2202] ppid=2198 vsize=9957860 CPUtime=0.35 cores=1,3,5,7
/proc/2201/task/2202/stat : 2202 (java) S 2198 2201 955 0 -1 4202560 2450 0 1 0 33 2 0 0 20 0 21 0 104459301 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722743681912 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2204] ppid=2198 vsize=9957860 CPUtime=2.35 cores=1,3,5,7
/proc/2201/task/2204/stat : 2204 (java) S 2198 2201 955 0 -1 4202560 1016 0 0 0 214 21 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722587278248 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2205] ppid=2198 vsize=9957860 CPUtime=2.29 cores=1,3,5,7
/proc/2201/task/2205/stat : 2205 (java) S 2198 2201 955 0 -1 4202560 907 0 0 0 210 19 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722586225704 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2206] ppid=2198 vsize=9957860 CPUtime=2.38 cores=1,3,5,7
/proc/2201/task/2206/stat : 2206 (java) S 2198 2201 955 0 -1 4202560 741 0 0 0 219 19 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722585172648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2207] ppid=2198 vsize=9957860 CPUtime=2.4 cores=1,3,5,7
/proc/2201/task/2207/stat : 2207 (java) S 2198 2201 955 0 -1 4202560 957 0 0 0 222 18 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722584120104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2208] ppid=2198 vsize=9957860 CPUtime=2.24 cores=1,3,5,7
/proc/2201/task/2208/stat : 2208 (java) S 2198 2201 955 0 -1 4202560 623 0 0 0 205 19 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722583067048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2209] ppid=2198 vsize=9957860 CPUtime=2.16 cores=1,3,5,7
/proc/2201/task/2209/stat : 2209 (java) S 2198 2201 955 0 -1 4202560 1300 0 0 0 198 18 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722582014504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2210] ppid=2198 vsize=9957860 CPUtime=2.52 cores=1,3,5,7
/proc/2201/task/2210/stat : 2210 (java) S 2198 2201 955 0 -1 4202560 931 0 0 0 229 23 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722580961448 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2211] ppid=2198 vsize=9957860 CPUtime=2.29 cores=1,3,5,7
/proc/2201/task/2211/stat : 2211 (java) S 2198 2201 955 0 -1 4202560 751 0 0 0 210 19 0 0 20 0 21 0 104459302 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722579908904 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2201/tid=2212] ppid=2198 vsize=9957860 CPUtime=5.03 cores=1,3,5,7
/proc/2201/task/2212/stat : 2212 (java) S 2198 2201 955 0 -1 4202560 1401 0 0 0 496 7 0 0 20 0 21 0 104459303 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722567711592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2213] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2213/stat : 2213 (java) S 2198 2201 955 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 21 0 104459303 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722566657912 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2214] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2214/stat : 2214 (java) S 2198 2201 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 104459303 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722565604744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2215] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2215/stat : 2215 (java) S 2198 2201 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722564553488 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2216] ppid=2198 vsize=9957860 CPUtime=0.98 cores=1,3,5,7
/proc/2201/task/2216/stat : 2216 (java) R 2198 2201 955 0 -1 4202560 9783 0 0 0 96 2 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722563487840 139722746587235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2217] ppid=2198 vsize=9957860 CPUtime=1.29 cores=1,3,5,7
/proc/2201/task/2217/stat : 2217 (java) S 2198 2201 955 0 -1 4202560 5108 0 0 0 127 2 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722562447800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2201/tid=2218] ppid=2198 vsize=9957860 CPUtime=0 cores=1,3,5,7
/proc/2201/task/2218/stat : 2218 (java) S 2198 2201 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722561394936 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2201/tid=2219] ppid=2198 vsize=9957860 CPUtime=0.16 cores=1,3,5,7
/proc/2201/task/2219/stat : 2219 (java) S 2198 2201 955 0 -1 4202560 54 0 0 0 7 9 0 0 20 0 21 0 104459305 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722560342600 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2201/tid=2435] ppid=2198 vsize=9957860 CPUtime=730.73 cores=1,3,5,7
/proc/2201/task/2435/stat : 2435 (java) R 2198 2201 955 0 -1 4202560 39 0 0 0 73062 11 0 0 20 0 21 0 104475043 10196848640 442578 33554432000 1073741824 1073778376 140736266965808 139722558233688 139722616420809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (KiB) 9957860

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2201 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=598179
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=311648
# CPU time returned by wait4() is 1796.91
# while last known CPU time is 1798.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 899.625
CPU time (s): 1800.54
CPU user time (s): 1798.71
CPU system time (s): 1.83
CPU usage (%): 200.143
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 2.31165
maximum resident set size= 1770332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27590
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23737
involuntary context switches= 30639

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2842 second user time and 7.02393 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-06 17:00:44
IDJOB=4081107
IDBENCH=2048
IDSOLVER=2543
FILE ID=node104/4081107-1465225244
RUNJOBID= node104-1465220812-974
PBS_JOBID= 19843225
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081107-1465225244/watcher-4081107-1465225244 -o /tmp/evaluation-result-4081107-1465225244/solver-4081107-1465225244 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-974 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081107-1465225244.opb

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

MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731
RANDOM SEED=1815352529

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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:        28002124 kB
Buffers:           12040 kB
Cached:            83200 kB
SwapCached:         1732 kB
Active:          3643084 kB
Inactive:          40184 kB
Active(anon):    3588016 kB
Inactive(anon):     2356 kB
Active(file):      55068 kB
Inactive(file):    37828 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097220 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:       4072480 kB
Mapped:            15316 kB
Shmem:                 0 kB
Slab:             565464 kB
SReclaimable:       9480 kB
SUnreclaim:       555984 kB
KernelStack:        1584 kB
PageTables:        12168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4662908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4003840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node104 at 2016-06-06 17:15:44