Trace number 4090554

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.62 1776.86

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMfc69cf5fb8ed09269ce87a121862dce7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1800.09
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints140
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 6854
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6853
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Glucose 2.1 dynamic restart strategy
0.07/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-4090554-1466062544.wbo
0.07/0.12	c reading problem ... 
0.50/0.30	c ... done. Wall clock time 0.18s.
0.50/0.30	c declared #vars     5100
0.50/0.30	c internal #vars     5240
0.50/0.30	c #constraints  202
0.50/0.30	c constraints type 
0.50/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102
0.50/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 29
0.50/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.50/0.30	c 202 constraints processed.
0.50/0.30	c objective function length is 140 literals
1.82/0.90	c cleaning 2474 clauses out of 5001 with flag 28724/5001
2.44/1.55	c cleaning 4236 clauses out of 8529 with flag 76087/11003
3.45/2.50	c cleaning 5613 clauses out of 11290 with flag 123746/18000
4.56/3.64	c cleaning 6803 clauses out of 13677 with flag 185404/26000
5.98/5.02	c cleaning 7938 clauses out of 15875 with flag 260075/35001
5.98/5.03	c SATISFIABLE
5.98/5.03	c OPTIMIZING...
5.98/5.03	c Got one! Elapsed wall clock time (in seconds):4.905
5.98/5.03	o 56
6.09/5.16	c Got one! Elapsed wall clock time (in seconds):5.034
6.09/5.16	o 40
6.36/5.33	c cleaning 6514 clauses out of 13079 with flag 16661/40143
6.75/5.75	c cleaning 6248 clauses out of 12566 with flag 51587/46144
7.55/6.53	c cleaning 6624 clauses out of 13317 with flag 108045/53143
8.56/7.54	c cleaning 7310 clauses out of 14691 with flag 173229/61141
9.96/8.91	c cleaning 8154 clauses out of 16382 with flag 238491/70142
11.55/10.51	c cleaning 9077 clauses out of 18229 with flag 316784/80143
13.29/12.26	c cleaning 10035 clauses out of 20152 with flag 401736/91143
15.19/14.19	c cleaning 11016 clauses out of 22116 with flag 496411/103142
17.59/16.52	c cleaning 12007 clauses out of 24099 with flag 597733/116141
20.19/19.10	c cleaning 13007 clauses out of 26092 with flag 709688/130141
23.29/22.21	c cleaning 14000 clauses out of 28085 with flag 821590/145141
26.59/25.59	c cleaning 15001 clauses out of 30085 with flag 937254/161141
27.09/26.02	c Got one! Elapsed wall clock time (in seconds):25.895
27.09/26.02	o 14
27.24/26.15	c cleaning 10419 clauses out of 20898 with flag 15982/166955
27.34/26.26	c Got one! Elapsed wall clock time (in seconds):26.14
27.34/26.26	o 10
27.34/26.29	c Got one! Elapsed wall clock time (in seconds):26.165
27.34/26.29	o 5
27.59/26.45	c cleaning 7909 clauses out of 15913 with flag 16698/172389
28.09/26.95	c cleaning 6953 clauses out of 14004 with flag 53270/178389
28.69/27.54	c cleaning 6980 clauses out of 14052 with flag 103584/185390
29.44/28.27	c cleaning 7491 clauses out of 15071 with flag 154574/193389
30.34/29.13	c cleaning 8245 clauses out of 16579 with flag 214060/202388
31.44/30.23	c cleaning 9126 clauses out of 18335 with flag 275625/212389
32.74/31.57	c cleaning 10054 clauses out of 20208 with flag 349805/223388
34.34/33.17	c cleaning 11040 clauses out of 22159 with flag 436363/235393
35.94/34.78	c cleaning 12040 clauses out of 24114 with flag 525167/248388
37.54/36.37	c cleaning 13021 clauses out of 26075 with flag 614942/262389
39.54/38.35	c cleaning 14011 clauses out of 28053 with flag 720300/277388
41.23/40.03	c Got one! Elapsed wall clock time (in seconds):39.91
41.23/40.03	o 4
41.61/40.35	c cleaning 16726 clauses out of 33499 with flag 29243/296845
42.12/40.82	c cleaning 11365 clauses out of 22776 with flag 69492/302848
42.61/41.34	c cleaning 9180 clauses out of 18407 with flag 111194/309844
43.31/42.01	c cleaning 8577 clauses out of 17229 with flag 161723/317846
44.11/42.87	c cleaning 8794 clauses out of 17650 with flag 218845/326844
45.21/43.90	c cleaning 9406 clauses out of 18859 with flag 297445/336847
46.42/45.15	c cleaning 10200 clauses out of 20451 with flag 378792/347845
48.01/46.76	c cleaning 11099 clauses out of 22252 with flag 464218/359846
49.51/48.24	c cleaning 12050 clauses out of 24151 with flag 548506/372844
50.51/49.24	c cleaning 12991 clauses out of 26101 with flag 632488/386844
52.69/51.37	c cleaning 14001 clauses out of 28110 with flag 747310/401844
54.39/53.07	c cleaning 15015 clauses out of 30110 with flag 855420/417845
56.28/54.92	c cleaning 15960 clauses out of 32094 with flag 961524/434844
59.48/58.14	c cleaning 16988 clauses out of 34134 with flag 1094000/452844
62.68/61.39	c cleaning 17985 clauses out of 36148 with flag 1237111/471846
65.91/64.45	c cleaning 19048 clauses out of 38162 with flag 1385587/491845
68.27/66.75	c cleaning 20052 clauses out of 40114 with flag 1523265/512845
71.98/70.42	c cleaning 20996 clauses out of 42065 with flag 1667140/534848
76.27/74.74	c cleaning 22001 clauses out of 44066 with flag 1816988/557845
79.28/77.76	c cleaning 23007 clauses out of 46064 with flag 1969201/581844
84.70/83.08	c cleaning 24003 clauses out of 48058 with flag 2160807/606845
88.30/86.60	c cleaning 24975 clauses out of 50055 with flag 2333882/632845
92.90/91.20	c cleaning 25988 clauses out of 52080 with flag 2511565/659845
96.72/94.89	c cleaning 27027 clauses out of 54091 with flag 2691546/687844
101.32/99.46	c cleaning 28029 clauses out of 56065 with flag 2887157/716845
105.22/103.40	c cleaning 28965 clauses out of 58038 with flag 3070834/746847
110.91/108.87	c cleaning 30013 clauses out of 60071 with flag 3263790/777845
117.81/115.73	c cleaning 31006 clauses out of 62057 with flag 3491158/809844
127.28/125.05	c cleaning 32007 clauses out of 64051 with flag 3759188/842844
132.68/130.48	c cleaning 32980 clauses out of 66044 with flag 3996356/876844
143.12/140.78	c cleaning 33983 clauses out of 68067 with flag 4247360/911847
154.62/152.27	c cleaning 34992 clauses out of 70081 with flag 4505525/947844
166.30/163.82	c cleaning 35997 clauses out of 72089 with flag 4795200/984844
179.90/177.39	c cleaning 37002 clauses out of 74092 with flag 5075865/1022844
193.09/190.60	c cleaning 37997 clauses out of 76090 with flag 5358558/1061844
206.99/204.36	c cleaning 39000 clauses out of 78094 with flag 5636123/1101845
219.40/216.79	c cleaning 39998 clauses out of 80093 with flag 5899764/1142844
226.87/224.16	c cleaning 40996 clauses out of 82095 with flag 6194090/1184844
234.93/232.20	c cleaning 42005 clauses out of 84099 with flag 6492619/1227844
241.92/239.15	c cleaning 42994 clauses out of 86096 with flag 6797089/1271846
250.93/248.10	c cleaning 44004 clauses out of 88101 with flag 7060928/1316845
265.63/262.66	c cleaning 44995 clauses out of 90096 with flag 7430649/1362844
275.81/272.73	c cleaning 46037 clauses out of 92101 with flag 7787435/1409844
283.57/280.49	c cleaning 47002 clauses out of 94064 with flag 8105896/1457844
295.59/292.30	c cleaning 47993 clauses out of 96062 with flag 8422130/1506844
307.38/304.01	c cleaning 48988 clauses out of 98072 with flag 8753831/1556847
324.81/321.38	c cleaning 50023 clauses out of 100081 with flag 9153341/1607844
342.76/339.27	c cleaning 51014 clauses out of 102059 with flag 9594331/1659845
352.76/349.12	c cleaning 51950 clauses out of 104046 with flag 10005072/1712846
361.37/357.67	c cleaning 52970 clauses out of 106096 with flag 10359020/1766846
369.94/366.16	c cleaning 54011 clauses out of 108125 with flag 10736355/1821845
382.66/378.70	c cleaning 55009 clauses out of 110113 with flag 11128477/1877844
393.58/389.54	c cleaning 56004 clauses out of 112105 with flag 11501224/1934845
418.75/414.59	c cleaning 57001 clauses out of 114101 with flag 11843312/1992845
442.44/438.16	c cleaning 58003 clauses out of 116099 with flag 12216863/2051844
459.64/455.29	c cleaning 59032 clauses out of 118096 with flag 12641762/2111844
472.81/468.26	c cleaning 59977 clauses out of 120065 with flag 13033400/2172845
496.21/491.42	c cleaning 60983 clauses out of 122088 with flag 13508269/2234845
527.48/522.57	c cleaning 61994 clauses out of 124104 with flag 14054811/2297844
543.61/538.50	c cleaning 63051 clauses out of 126110 with flag 14562660/2361844
563.89/558.65	c cleaning 63990 clauses out of 128059 with flag 15051231/2426844
590.25/584.74	c cleaning 64999 clauses out of 130069 with flag 15648613/2492844
617.67/612.06	c cleaning 66004 clauses out of 132070 with flag 16203452/2559844
631.70/625.82	c cleaning 66992 clauses out of 134067 with flag 16664244/2627845
643.05/637.04	c cleaning 67975 clauses out of 136074 with flag 17144615/2696844
675.35/669.12	c cleaning 68994 clauses out of 138099 with flag 17729553/2766844
694.53/688.11	c cleaning 70009 clauses out of 140105 with flag 18215189/2837844
708.68/702.03	c cleaning 70979 clauses out of 142096 with flag 18670203/2909844
722.94/716.05	c cleaning 72027 clauses out of 144118 with flag 19140785/2982845
739.13/732.01	c cleaning 72983 clauses out of 146092 with flag 19602883/3056846
753.00/745.58	c cleaning 73954 clauses out of 148109 with flag 20100492/3131846
769.06/761.47	c cleaning 75057 clauses out of 150160 with flag 20583030/3207851
793.17/785.25	c cleaning 76018 clauses out of 152099 with flag 21174411/3284847
813.75/805.68	c cleaning 76950 clauses out of 154078 with flag 21688624/3362844
849.80/841.42	c cleaning 78001 clauses out of 156129 with flag 22162287/3441845
886.13/877.51	c cleaning 78997 clauses out of 158128 with flag 22668433/3521845
925.41/916.44	c cleaning 79996 clauses out of 160130 with flag 23207490/3602844
959.33/949.54	c cleaning 81045 clauses out of 162135 with flag 23771442/3684845
986.50/975.97	c cleaning 82043 clauses out of 164089 with flag 24355249/3767844
1004.61/993.61	c cleaning 82991 clauses out of 166048 with flag 24920724/3851846
1024.46/1013.17	c cleaning 83987 clauses out of 168056 with flag 25459982/3936845
1043.86/1032.18	c cleaning 84971 clauses out of 170070 with flag 26053701/4022846
1065.11/1053.08	c cleaning 86017 clauses out of 172098 with flag 26636334/4109845
1119.71/1107.35	c cleaning 87007 clauses out of 174080 with flag 27274077/4197844
1173.47/1160.88	c cleaning 88010 clauses out of 176073 with flag 27885282/4286844
1208.45/1195.24	c cleaning 89010 clauses out of 178065 with flag 28488535/4376846
1258.87/1245.35	c cleaning 90011 clauses out of 180056 with flag 29030105/4467847
1286.19/1272.11	c cleaning 91008 clauses out of 182043 with flag 29603093/4559845
1348.02/1332.10	c cleaning 91535 clauses out of 184034 with flag 31049876/4652844
1379.15/1362.96	c cleaning 93230 clauses out of 186501 with flag 31711694/4746846
1398.42/1381.81	c cleaning 94125 clauses out of 188269 with flag 32386171/4841844
1418.71/1401.89	c cleaning 94990 clauses out of 190144 with flag 33020887/4937844
1467.08/1449.86	c cleaning 96050 clauses out of 192155 with flag 33816436/5034845
1489.81/1471.60	c cleaning 97028 clauses out of 194104 with flag 34443713/5132844
1561.58/1542.99	c cleaning 98023 clauses out of 196077 with flag 35098263/5231845
1617.77/1597.78	c cleaning 99008 clauses out of 198054 with flag 35757643/5331845
1652.55/1631.40	c cleaning 100003 clauses out of 200049 with flag 36395586/5432848
1714.24/1692.51	c cleaning 100992 clauses out of 202043 with flag 37087496/5534845
1794.28/1771.34	c cleaning 102006 clauses out of 204051 with flag 37935820/5637845
1800.01/1776.80	c starts		: 7087
1800.01/1776.80	c conflicts		: 5659050
1800.01/1776.80	c decisions		: 21990691
1800.01/1776.80	c propagations		: 122919401
1800.01/1776.80	c inspects		: 30668111701
1800.01/1776.80	c shortcuts		: 0
1800.01/1776.80	c learnt literals	: 0
1800.01/1776.80	c learnt binary clauses	: 0
1800.01/1776.80	c learnt ternary clauses	: 0
1800.01/1776.80	c learnt constraints	: 5659050
1800.01/1776.80	c ignored constraints	: 0
1800.01/1776.80	c root simplifications	: 0
1800.01/1776.80	c removed literals (reason simplification)	: 0
1800.01/1776.80	c reason swapping (by a shorter reason)	: 0
1800.01/1776.80	c Calls to reduceDB	: 128
1800.01/1776.80	c Number of update (reduction) of LBD	: 3202597
1800.01/1776.80	c Imported unit clauses	: 0
1800.01/1776.80	c number of reductions to clauses (during analyze)	: 0
1800.01/1776.80	c number of learned constraints concerned by reduction	: 0
1800.01/1776.80	c number of learning phase by resolution	: 0
1800.01/1776.80	c number of learning phase by cutting planes	: 0
1800.01/1776.80	c speed (assignments/second)	: 69192.20632572508
1800.01/1776.80	c non guided choices	1295051
1800.01/1776.83	c learnt constraints type 
1800.01/1776.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 123250
1800.01/1776.83	s SATISFIABLE
1800.01/1776.83	c Found 6 solution(s)
1800.01/1776.84	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.01/1776.85	c objective function=4
1800.01/1776.85	c Total wall clock time (in seconds): 1776.723

Verifier Data 

OK	4

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-4090554-1466062544/watcher-4090554-1466062544 -o /tmp/evaluation-result-4090554-1466062544/solver-4090554-1466062544 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466062104-11413 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090554-1466062544.wbo 

pid=11550
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: 1.93 1.57 0.83 3/174 11553
/proc/meminfo: memFree=31587028/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=5624 CPUtime=0 cores=1,3,5,7
/proc/11553/stat : 11553 (java) R 11550 11553 11396 0 -1 4202496 177 0 0 0 0 0 0 0 20 0 1 0 8299828 5758976 52 33554432000 1073741824 1073778376 140736077217952 140736077215080 211449638698 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11553/statm: 1408 55 43 9 0 30 0

[startup+0.100142 s]
/proc/loadavg: 1.93 1.57 0.83 3/174 11553
/proc/meminfo: memFree=31587028/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 4158 0 1 0 6 1 0 0 20 0 18 0 8299828 9787879424 5282 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2389619 5282 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200355 s]
/proc/loadavg: 1.93 1.57 0.83 3/174 11553
/proc/meminfo: memFree=31587028/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 4950 0 1 0 24 1 0 0 20 0 18 0 8299828 9787879424 6965 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2389619 6965 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300339 s]
/proc/loadavg: 1.93 1.57 0.83 3/174 11553
/proc/meminfo: memFree=31587028/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 7171 0 1 0 48 2 0 0 20 0 18 0 8299828 9787879424 9896 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2389619 9896 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700308 s]
/proc/loadavg: 1.93 1.57 0.83 3/174 11553
/proc/meminfo: memFree=31587028/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 12402 0 1 0 148 3 0 0 20 0 19 0 8299828 9856040960 13629 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2406260 13629 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 1.93 1.57 0.83 3/193 11572
/proc/meminfo: memFree=31535456/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9625040 CPUtime=2.44 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 12455 0 1 0 241 3 0 0 20 0 19 0 8299828 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2406260 16456 2260 9 0 2396937 0
[pid=11553/tid=11555] ppid=11550 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/11553/task/11555/stat : 11555 (java) R 11550 11553 11396 0 -1 4202560 2440 0 1 0 143 2 0 0 20 0 19 0 8299830 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244257931592 140244121402923 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11556] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11556/stat : 11556 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244246993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11557] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11557/stat : 11557 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244245941288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11558] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11558/stat : 11558 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244244888232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11559] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11559/stat : 11559 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244243835688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11560] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11560/stat : 11560 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244242782632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11561] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11561/stat : 11561 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244241730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11562] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11562/stat : 11562 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244240677032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11563] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11563/stat : 11563 (java) S 11550 11553 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244239624488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11564] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11564/stat : 11564 (java) S 11550 11553 11396 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244082043752 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11565] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11565/stat : 11565 (java) S 11550 11553 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244080990072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11566] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11566/stat : 11566 (java) S 11550 11553 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244079936904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11567] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11567/stat : 11567 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299835 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244078885648 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11568] ppid=11550 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/11553/task/11568/stat : 11568 (java) S 11550 11553 11396 0 -1 4202560 4247 0 0 0 45 2 0 0 20 0 19 0 8299835 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244077832504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11569] ppid=11550 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/11553/task/11569/stat : 11569 (java) S 11550 11553 11396 0 -1 4202560 4491 0 0 0 49 0 0 0 20 0 19 0 8299836 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244076779960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11570] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11570/stat : 11570 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244075727096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11571] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11571/stat : 11571 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244074674760 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11572] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11572/stat : 11572 (java) S 11550 11553 11396 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8299860 9856040960 16456 33554432000 1073741824 1073778376 140734745847104 140244073621032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 9625040

[startup+3.10067 s]
/proc/loadavg: 1.93 1.57 0.83 5/213 11622
/proc/meminfo: memFree=31511076/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 12464 0 1 0 402 3 0 0 20 0 19 0 8299828 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2406260 20552 2260 9 0 2396937 0
[pid=11553/tid=11555] ppid=11550 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/11553/task/11555/stat : 11555 (java) R 11550 11553 11396 0 -1 4202560 2449 0 1 0 303 2 0 0 20 0 19 0 8299830 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244257922768 140244121484431 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11556] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11556/stat : 11556 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244246993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11557] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11557/stat : 11557 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244245941288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11558] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11558/stat : 11558 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244244888232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11559] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11559/stat : 11559 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244243835688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11560] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11560/stat : 11560 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244242782632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11561] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11561/stat : 11561 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244241730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11562] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11562/stat : 11562 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244240677032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11563] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11563/stat : 11563 (java) S 11550 11553 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244239624488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11564] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11564/stat : 11564 (java) S 11550 11553 11396 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244082043752 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11565] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11565/stat : 11565 (java) S 11550 11553 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244080990072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11566] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11566/stat : 11566 (java) S 11550 11553 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244079936904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11567] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11567/stat : 11567 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299835 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244078885648 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11568] ppid=11550 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/11553/task/11568/stat : 11568 (java) S 11550 11553 11396 0 -1 4202560 4247 0 0 0 46 2 0 0 20 0 19 0 8299835 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244077832504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11569] ppid=11550 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/11553/task/11569/stat : 11569 (java) S 11550 11553 11396 0 -1 4202560 4491 0 0 0 50 0 0 0 20 0 19 0 8299836 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244076779960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11570] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11570/stat : 11570 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244075727096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11571] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11571/stat : 11571 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244074674760 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11572] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11572/stat : 11572 (java) S 11550 11553 11396 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8299860 9856040960 20552 33554432000 1073741824 1073778376 140734745847104 140244073621032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 1.93 1.57 0.84 3/213 11622
/proc/meminfo: memFree=31429800/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9625040 CPUtime=7.35 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 12487 0 1 0 731 4 0 0 20 0 19 0 8299828 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2406260 30248 2261 9 0 2396937 0
[pid=11553/tid=11555] ppid=11550 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/11553/task/11555/stat : 11555 (java) R 11550 11553 11396 0 -1 4202560 2471 0 1 0 620 2 0 0 20 0 19 0 8299830 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244257929752 140244121401368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11556] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11556/stat : 11556 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244246993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11557] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11557/stat : 11557 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244245941288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11558] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11558/stat : 11558 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244244888232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11559] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11559/stat : 11559 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244243835688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11560] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11560/stat : 11560 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244242782632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11561] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11561/stat : 11561 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244241730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11562] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11562/stat : 11562 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244240677032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11563] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11563/stat : 11563 (java) S 11550 11553 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8299831 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244239624488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11564] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11564/stat : 11564 (java) S 11550 11553 11396 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244082043752 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11565] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11565/stat : 11565 (java) S 11550 11553 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244080990072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11566] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11566/stat : 11566 (java) S 11550 11553 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244079936904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11567] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11567/stat : 11567 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299835 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244078885648 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11568] ppid=11550 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/11553/task/11568/stat : 11568 (java) S 11550 11553 11396 0 -1 4202560 4247 0 0 0 54 2 0 0 20 0 19 0 8299835 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244077832504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11569] ppid=11550 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/11553/task/11569/stat : 11569 (java) S 11550 11553 11396 0 -1 4202560 4491 0 0 0 52 0 0 0 20 0 19 0 8299836 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244076779960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11570] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11570/stat : 11570 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244075727096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11571] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11571/stat : 11571 (java) S 11550 11553 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244074674760 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11572] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11572/stat : 11572 (java) S 11550 11553 11396 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8299860 9856040960 30248 33554432000 1073741824 1073778376 140734745847104 140244073621032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 9625040


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

[pid=11553/tid=11565] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11565/stat : 11565 (java) S 11550 11553 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 251330 33554432000 1073741824 1073778376 140734745847104 140244080990072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11566] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11566/stat : 11566 (java) S 11550 11553 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 251330 33554432000 1073741824 1073778376 140734745847104 140244079936904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11567] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11567/stat : 11567 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299835 9856040960 251330 33554432000 1073741824 1073778376 140734745847104 140244078885648 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11568] ppid=11550 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/11553/task/11568/stat : 11568 (java) S 11550 11553 11396 0 -1 4202560 4251 0 0 0 72 2 0 0 20 0 19 0 8299835 9856040960 251330 33554432000 1073741824 1073778376 140734745847104 140244077832504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11569] ppid=11550 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/11553/task/11569/stat : 11569 (java) S 11550 11553 11396 0 -1 4202560 4491 0 0 0 53 0 0 0 20 0 19 0 8299836 9856040960 251330 33554432000 1073741824 1073778376 140734745847104 140244076779960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11570] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11570/stat : 11570 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 251330 33554432000 1073741824 1073778376 140734745847104 140244075727096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11571] ppid=11550 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/11553/task/11571/stat : 11571 (java) S 11550 11553 11396 0 -1 4202560 94 0 0 0 20 30 0 0 20 0 19 0 8299836 9856040960 251330 33554432000 1073741824 1073778376 140734745847104 140244074674760 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11572] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11572/stat : 11572 (java) S 11550 11553 11396 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8299860 9856040960 251330 33554432000 1073741824 1073778376 140734745847104 140244073621032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1622.75
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.24 2.10 1.85 3/213 11687
/proc/meminfo: memFree=30250740/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9625040 CPUtime=1683.95 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 25554 0 1 0 168165 230 0 0 20 0 19 0 8299828 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2406260 180774 2283 9 0 2396937 0
[pid=11553/tid=11555] ppid=11550 vsize=9625040 CPUtime=1648.87 cores=1,3,5,7
/proc/11553/task/11555/stat : 11555 (java) R 11550 11553 11396 0 -1 4202560 2742 0 1 0 164853 34 0 0 20 0 19 0 8299830 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244257930464 140244121402748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11556] ppid=11550 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/11553/task/11556/stat : 11556 (java) S 11550 11553 11396 0 -1 4202560 1232 0 0 0 321 22 0 0 20 0 19 0 8299831 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244246993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11557] ppid=11550 vsize=9625040 CPUtime=3.26 cores=1,3,5,7
/proc/11553/task/11557/stat : 11557 (java) S 11550 11553 11396 0 -1 4202560 760 0 0 0 306 20 0 0 20 0 19 0 8299831 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244245941288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11558] ppid=11550 vsize=9625040 CPUtime=3.74 cores=1,3,5,7
/proc/11553/task/11558/stat : 11558 (java) S 11550 11553 11396 0 -1 4202560 1426 0 0 0 350 24 0 0 20 0 19 0 8299831 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244244888232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11559] ppid=11550 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/11553/task/11559/stat : 11559 (java) S 11550 11553 11396 0 -1 4202560 2279 0 0 0 327 29 0 0 20 0 19 0 8299831 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244243835688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11560] ppid=11550 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/11553/task/11560/stat : 11560 (java) S 11550 11553 11396 0 -1 4202560 1204 0 0 0 341 27 0 0 20 0 19 0 8299831 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244242782632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11561] ppid=11550 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/11553/task/11561/stat : 11561 (java) S 11550 11553 11396 0 -1 4202560 1182 0 0 0 345 23 0 0 20 0 19 0 8299831 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244241730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11562] ppid=11550 vsize=9625040 CPUtime=3.09 cores=1,3,5,7
/proc/11553/task/11562/stat : 11562 (java) S 11550 11553 11396 0 -1 4202560 1383 0 0 0 291 18 0 0 20 0 19 0 8299831 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244240677032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11563] ppid=11550 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/11553/task/11563/stat : 11563 (java) S 11550 11553 11396 0 -1 4202560 1264 0 0 0 318 24 0 0 20 0 19 0 8299831 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244239624488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11564] ppid=11550 vsize=9625040 CPUtime=5.57 cores=1,3,5,7
/proc/11553/task/11564/stat : 11564 (java) S 11550 11553 11396 0 -1 4202560 1981 0 0 0 551 6 0 0 20 0 19 0 8299833 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244082043752 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11565] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11565/stat : 11565 (java) S 11550 11553 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244080990072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11566] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11566/stat : 11566 (java) S 11550 11553 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244079936904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11567] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11567/stat : 11567 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299835 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244078885648 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11568] ppid=11550 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/11553/task/11568/stat : 11568 (java) S 11550 11553 11396 0 -1 4202560 4251 0 0 0 72 2 0 0 20 0 19 0 8299835 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244077832504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11569] ppid=11550 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/11553/task/11569/stat : 11569 (java) S 11550 11553 11396 0 -1 4202560 4491 0 0 0 53 0 0 0 20 0 19 0 8299836 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244076779960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11570] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11570/stat : 11570 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244075727096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11571] ppid=11550 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/11553/task/11571/stat : 11571 (java) S 11550 11553 11396 0 -1 4202560 96 0 0 0 21 31 0 0 20 0 19 0 8299836 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244074674760 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11572] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11572/stat : 11572 (java) S 11550 11553 11396 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8299860 9856040960 180774 33554432000 1073741824 1073778376 140734745847104 140244073621032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1683.95
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 1.85 3/213 11688
/proc/meminfo: memFree=30263504/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9625040 CPUtime=1744.34 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 26306 0 1 0 174202 232 0 0 20 0 19 0 8299828 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2406260 178321 2283 9 0 2396937 0
[pid=11553/tid=11555] ppid=11550 vsize=9625040 CPUtime=1708.72 cores=1,3,5,7
/proc/11553/task/11555/stat : 11555 (java) R 11550 11553 11396 0 -1 4202560 2752 0 1 0 170838 34 0 0 20 0 19 0 8299830 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244257930448 140244121362671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11556] ppid=11550 vsize=9625040 CPUtime=3.48 cores=1,3,5,7
/proc/11553/task/11556/stat : 11556 (java) S 11550 11553 11396 0 -1 4202560 1386 0 0 0 326 22 0 0 20 0 19 0 8299831 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244246993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11557] ppid=11550 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/11553/task/11557/stat : 11557 (java) S 11550 11553 11396 0 -1 4202560 768 0 0 0 313 20 0 0 20 0 19 0 8299831 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244245941288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11558] ppid=11550 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/11553/task/11558/stat : 11558 (java) S 11550 11553 11396 0 -1 4202560 1426 0 0 0 357 24 0 0 20 0 19 0 8299831 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244244888232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11559] ppid=11550 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/11553/task/11559/stat : 11559 (java) S 11550 11553 11396 0 -1 4202560 2435 0 0 0 337 29 0 0 20 0 19 0 8299831 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244243835688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11560] ppid=11550 vsize=9625040 CPUtime=3.74 cores=1,3,5,7
/proc/11553/task/11560/stat : 11560 (java) S 11550 11553 11396 0 -1 4202560 1220 0 0 0 347 27 0 0 20 0 19 0 8299831 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244242782632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11561] ppid=11550 vsize=9625040 CPUtime=3.74 cores=1,3,5,7
/proc/11553/task/11561/stat : 11561 (java) S 11550 11553 11396 0 -1 4202560 1399 0 0 0 351 23 0 0 20 0 19 0 8299831 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244241730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11562] ppid=11550 vsize=9625040 CPUtime=3.14 cores=1,3,5,7
/proc/11553/task/11562/stat : 11562 (java) S 11550 11553 11396 0 -1 4202560 1540 0 0 0 296 18 0 0 20 0 19 0 8299831 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244240677032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11563] ppid=11550 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/11553/task/11563/stat : 11563 (java) S 11550 11553 11396 0 -1 4202560 1280 0 0 0 326 24 0 0 20 0 19 0 8299831 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244239624488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11564] ppid=11550 vsize=9625040 CPUtime=5.57 cores=1,3,5,7
/proc/11553/task/11564/stat : 11564 (java) S 11550 11553 11396 0 -1 4202560 1995 0 0 0 551 6 0 0 20 0 19 0 8299833 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244082043752 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11565] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11565/stat : 11565 (java) S 11550 11553 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244080990072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11566] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11566/stat : 11566 (java) S 11550 11553 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244079936904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11567] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11567/stat : 11567 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299835 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244078885648 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11568] ppid=11550 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/11553/task/11568/stat : 11568 (java) S 11550 11553 11396 0 -1 4202560 4251 0 0 0 72 2 0 0 20 0 19 0 8299835 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244077832504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11569] ppid=11550 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/11553/task/11569/stat : 11569 (java) S 11550 11553 11396 0 -1 4202560 4491 0 0 0 53 0 0 0 20 0 19 0 8299836 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244076779960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11570] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11570/stat : 11570 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244075727096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11571] ppid=11550 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/11553/task/11571/stat : 11571 (java) S 11550 11553 11396 0 -1 4202560 100 0 0 0 22 33 0 0 20 0 19 0 8299836 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244074674760 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11572] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11572/stat : 11572 (java) S 11550 11553 11396 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8299860 9856040960 178321 33554432000 1073741824 1073778376 140734745847104 140244073621032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1744.34
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.8 s]
/proc/loadavg: 2.02 2.05 1.86 3/213 11690
/proc/meminfo: memFree=30360184/32872528 swapFree=496356/529060
[pid=11553] ppid=11550 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/11553/stat : 11553 (java) S 11550 11553 11396 0 -1 4202496 26814 0 1 0 179763 238 0 0 20 0 19 0 8299828 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140734745838240 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11553/statm: 2406260 156735 2283 9 0 2396937 0
[pid=11553/tid=11555] ppid=11550 vsize=9625040 CPUtime=1762.48 cores=1,3,5,7
/proc/11553/task/11555/stat : 11555 (java) R 11550 11553 11396 0 -1 4202560 2802 0 1 0 176213 35 0 0 20 0 19 0 8299830 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244257930464 140244121484426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11556] ppid=11550 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/11553/task/11556/stat : 11556 (java) S 11550 11553 11396 0 -1 4202560 1386 0 0 0 347 23 0 0 20 0 19 0 8299831 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244246993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11557] ppid=11550 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/11553/task/11557/stat : 11557 (java) S 11550 11553 11396 0 -1 4202560 771 0 0 0 333 21 0 0 20 0 19 0 8299831 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244245941288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11558] ppid=11550 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/11553/task/11558/stat : 11558 (java) S 11550 11553 11396 0 -1 4202560 1579 0 0 0 381 24 0 0 20 0 19 0 8299831 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244244888232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11559] ppid=11550 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/11553/task/11559/stat : 11559 (java) S 11550 11553 11396 0 -1 4202560 2435 0 0 0 358 29 0 0 20 0 19 0 8299831 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244243835688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11560] ppid=11550 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/11553/task/11560/stat : 11560 (java) S 11550 11553 11396 0 -1 4202560 1315 0 0 0 367 27 0 0 20 0 19 0 8299831 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244242782632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11561] ppid=11550 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/11553/task/11561/stat : 11561 (java) S 11550 11553 11396 0 -1 4202560 1478 0 0 0 374 23 0 0 20 0 19 0 8299831 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244241730088 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11562] ppid=11550 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/11553/task/11562/stat : 11562 (java) S 11550 11553 11396 0 -1 4202560 1573 0 0 0 316 18 0 0 20 0 19 0 8299831 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244240677032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11553/tid=11563] ppid=11550 vsize=9625040 CPUtime=3.69 cores=1,3,5,7
/proc/11553/task/11563/stat : 11563 (java) S 11550 11553 11396 0 -1 4202560 1280 0 0 0 345 24 0 0 20 0 19 0 8299831 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244239624488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11564] ppid=11550 vsize=9625040 CPUtime=5.8 cores=1,3,5,7
/proc/11553/task/11564/stat : 11564 (java) S 11550 11553 11396 0 -1 4202560 2088 0 0 0 573 7 0 0 20 0 19 0 8299833 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244082043752 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11565] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11565/stat : 11565 (java) S 11550 11553 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244080990072 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11566] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11566/stat : 11566 (java) S 11550 11553 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8299833 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244079936904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11567] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11567/stat : 11567 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299835 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244078885648 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11568] ppid=11550 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/11553/task/11568/stat : 11568 (java) S 11550 11553 11396 0 -1 4202560 4251 0 0 0 72 2 0 0 20 0 19 0 8299835 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244077832504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11553/tid=11569] ppid=11550 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/11553/task/11569/stat : 11569 (java) S 11550 11553 11396 0 -1 4202560 4491 0 0 0 53 0 0 0 20 0 19 0 8299836 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244076779960 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11570] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11570/stat : 11570 (java) S 11550 11553 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8299836 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244075727096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11553/tid=11571] ppid=11550 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/11553/task/11571/stat : 11571 (java) S 11550 11553 11396 0 -1 4202560 102 0 0 0 23 34 0 0 20 0 19 0 8299836 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244074674760 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11553/tid=11572] ppid=11550 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11553/task/11572/stat : 11572 (java) S 11550 11553 11396 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8299860 9856040960 156735 33554432000 1073741824 1073778376 140734745847104 140244073621032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1776.86
CPU time (s): 1800.62
CPU user time (s): 1797.81
CPU system time (s): 2.81157
CPU usage (%): 101.337
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.81
system time used= 2.81157
maximum resident set size= 1078284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26863
page faults= 1
swaps= 0
block input operations= 8
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46364
involuntary context switches= 48271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1503 second user time and 12.6771 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-16 09:35:44
IDJOB=4090554
IDBENCH=78692
IDSOLVER=2551
FILE ID=node141/4090554-1466062544
RUNJOBID= node141-1466062104-11413
PBS_JOBID= 19903999
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090554-1466062544/watcher-4090554-1466062544 -o /tmp/evaluation-result-4090554-1466062544/solver-4090554-1466062544 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466062104-11413 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090554-1466062544.wbo

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

MD5SUM BENCH= fc69cf5fb8ed09269ce87a121862dce7
RANDOM SEED=964861818

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.547
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.547
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:        31587556 kB
Buffers:            2268 kB
Cached:            49840 kB
SwapCached:         2576 kB
Active:            40248 kB
Inactive:          19020 kB
Active(anon):       7680 kB
Inactive(anon):     1772 kB
Active(file):      32568 kB
Inactive(file):    17248 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098300 kB
Dirty:              1804 kB
Writeback:             0 kB
AnonPages:        534932 kB
Mapped:             6996 kB
Shmem:                 0 kB
Slab:             565680 kB
SReclaimable:       9140 kB
SUnreclaim:       556540 kB
KernelStack:        1440 kB
PageTables:         4728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     641104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71748 MiB
End job on node141 at 2016-06-16 10:05:21