Trace number 4090869

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 1785.97

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMb6d6940e1e32d980df9f418447a42cea
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark6.13307
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 constraints202
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 10037
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10036
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4090869-1466066313.wbo
0.11/0.10	c reading problem ... 
0.28/0.28	c ... done. Wall clock time 0.177s.
0.28/0.28	c declared #vars     5100
0.28/0.28	c internal #vars     5302
0.28/0.28	c #constraints  202
0.28/0.28	c constraints type 
0.28/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102
0.28/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
0.28/0.28	c 202 constraints processed.
0.28/0.28	c objective function length is 202 literals
1.28/0.66	c SATISFIABLE
1.28/0.66	c OPTIMIZING...
1.28/0.66	c Got one! Elapsed wall clock time (in seconds):0.558
1.28/0.66	o 65
1.81/1.00	c cleaning 2751 clauses out of 5513 with flag 19480/5513
2.45/1.69	c cleaning 4373 clauses out of 8763 with flag 54246/11514
3.10/2.29	c cleaning 5673 clauses out of 11389 with flag 99984/18513
4.10/3.28	c cleaning 6832 clauses out of 13717 with flag 155000/26514
5.44/4.54	c cleaning 7912 clauses out of 15884 with flag 220272/35513
5.94/5.06	c Got one! Elapsed wall clock time (in seconds):4.96
5.94/5.06	o 41
6.17/5.21	c cleaning 6880 clauses out of 13782 with flag 10433/41323
6.48/5.53	c Got one! Elapsed wall clock time (in seconds):5.431
6.48/5.53	o 36
6.64/5.61	c cleaning 6243 clauses out of 12504 with flag 5545/46925
7.13/6.13	c cleaning 6120 clauses out of 12258 with flag 42020/52922
7.53/6.58	c cleaning 6560 clauses out of 13138 with flag 86597/59922
8.43/7.40	c cleaning 7281 clauses out of 14578 with flag 137584/67922
9.63/8.69	c cleaning 8139 clauses out of 16296 with flag 204723/76921
9.83/8.85	c Got one! Elapsed wall clock time (in seconds):8.747
9.83/8.85	o 33
10.07/9.06	c cleaning 6846 clauses out of 13754 with flag 19926/82518
10.58/9.60	c cleaning 6417 clauses out of 12907 with flag 66284/88517
11.32/10.29	c cleaning 6709 clauses out of 13491 with flag 120662/95518
12.22/11.16	c cleaning 7356 clauses out of 14782 with flag 183450/103518
13.32/12.23	c cleaning 8178 clauses out of 16425 with flag 258091/112517
14.62/13.58	c cleaning 9088 clauses out of 18247 with flag 341476/122517
16.11/15.02	c cleaning 10044 clauses out of 20160 with flag 437949/133518
17.92/16.84	c cleaning 11013 clauses out of 22116 with flag 542288/145518
20.11/19.04	c cleaning 12019 clauses out of 24103 with flag 644071/158518
22.61/21.54	c cleaning 13004 clauses out of 26083 with flag 762684/172517
25.39/24.30	c cleaning 14005 clauses out of 28082 with flag 875652/187520
28.38/27.22	c cleaning 15003 clauses out of 30076 with flag 1013164/203519
31.68/30.52	c cleaning 15999 clauses out of 32073 with flag 1166855/220519
35.48/34.35	c cleaning 17001 clauses out of 34072 with flag 1341487/238517
39.69/38.59	c cleaning 18000 clauses out of 36071 with flag 1536221/257517
44.84/43.55	c cleaning 18998 clauses out of 38071 with flag 1729759/277517
50.04/48.72	c cleaning 20002 clauses out of 40075 with flag 1926510/298519
55.64/54.34	c cleaning 20997 clauses out of 42073 with flag 2137916/320519
62.15/60.85	c cleaning 22001 clauses out of 44075 with flag 2361252/343518
69.25/67.97	c cleaning 22999 clauses out of 46073 with flag 2617382/367517
76.52/75.02	c cleaning 23996 clauses out of 48075 with flag 2893599/392518
83.82/82.32	c cleaning 25002 clauses out of 50079 with flag 3183079/418518
92.83/91.32	c cleaning 25999 clauses out of 52076 with flag 3454479/445517
103.33/101.62	c cleaning 27004 clauses out of 54078 with flag 3747506/473518
112.43/110.74	c cleaning 27996 clauses out of 56074 with flag 4022624/502518
112.73/111.02	c Got one! Elapsed wall clock time (in seconds):110.924
112.73/111.02	o 30
112.73/111.09	c Got one! Elapsed wall clock time (in seconds):110.986
112.73/111.09	o 19
112.84/111.11	c Got one! Elapsed wall clock time (in seconds):111.013
112.84/111.11	o 6
113.13/111.48	c cleaning 17036 clauses out of 34187 with flag 23248/508627
113.83/112.13	c cleaning 11532 clauses out of 23152 with flag 67084/514628
114.33/112.60	c cleaning 9260 clauses out of 18620 with flag 113381/521628
115.04/113.34	c cleaning 8632 clauses out of 17361 with flag 163431/529629
115.93/114.25	c cleaning 8813 clauses out of 17727 with flag 221698/538627
116.93/115.26	c cleaning 9417 clauses out of 18915 with flag 287904/548628
118.13/116.46	c cleaning 10213 clauses out of 20498 with flag 374136/559628
119.80/118.08	c cleaning 11099 clauses out of 22284 with flag 472522/571627
121.50/119.78	c cleaning 12052 clauses out of 24185 with flag 570554/584627
123.50/121.71	c cleaning 13028 clauses out of 26133 with flag 682354/598627
126.11/124.37	c cleaning 14010 clauses out of 28106 with flag 800741/613628
129.00/127.29	c cleaning 15004 clauses out of 30095 with flag 927309/629627
130.61/128.89	c cleaning 16017 clauses out of 32091 with flag 1037005/646627
133.59/131.78	c cleaning 17005 clauses out of 34074 with flag 1153729/664627
136.10/134.21	c cleaning 18012 clauses out of 36069 with flag 1278807/683627
139.59/137.75	c cleaning 19001 clauses out of 38058 with flag 1409498/703628
143.99/142.15	c cleaning 19996 clauses out of 40056 with flag 1539176/724627
146.59/144.78	c cleaning 20979 clauses out of 42060 with flag 1673899/746627
151.12/149.10	c cleaning 21996 clauses out of 44082 with flag 1830825/769628
151.92/149.96	c Got one! Elapsed wall clock time (in seconds):149.857
151.92/149.96	o 3
152.42/150.42	c cleaning 16884 clauses out of 33811 with flag 28709/781353
152.93/150.98	c cleaning 11437 clauses out of 22926 with flag 65684/787352
153.43/151.47	c cleaning 9202 clauses out of 18489 with flag 111377/794352
154.33/152.38	c cleaning 8607 clauses out of 17287 with flag 165165/802352
155.13/153.17	c cleaning 8808 clauses out of 17680 with flag 220867/811352
156.33/154.32	c cleaning 9409 clauses out of 18873 with flag 298331/821353
157.83/155.84	c cleaning 10206 clauses out of 20464 with flag 382497/832353
159.44/157.48	c cleaning 11105 clauses out of 22260 with flag 476160/844355
161.42/159.33	c cleaning 12050 clauses out of 24152 with flag 571083/857352
163.52/161.43	c cleaning 13027 clauses out of 26102 with flag 670358/871352
165.03/163.00	c cleaning 13994 clauses out of 28076 with flag 771139/886353
166.72/164.63	c cleaning 15003 clauses out of 30082 with flag 873462/902353
169.73/167.58	c cleaning 15687 clauses out of 32078 with flag 1044327/919352
172.23/170.07	c cleaning 17010 clauses out of 34395 with flag 1161420/937356
175.53/173.34	c cleaning 18006 clauses out of 36381 with flag 1302271/956352
179.43/177.25	c cleaning 19000 clauses out of 38376 with flag 1431485/976353
181.75/179.49	c cleaning 20122 clauses out of 40375 with flag 1568511/997352
184.05/181.79	c cleaning 21062 clauses out of 42253 with flag 1709110/1019352
187.84/185.59	c cleaning 22014 clauses out of 44192 with flag 1863528/1042353
192.84/190.58	c cleaning 23005 clauses out of 46177 with flag 2027948/1066352
197.93/195.53	c cleaning 24000 clauses out of 48172 with flag 2202015/1091352
201.83/199.48	c cleaning 25040 clauses out of 50174 with flag 2379807/1117354
207.73/205.30	c cleaning 26014 clauses out of 52132 with flag 2578717/1144352
214.60/212.10	c cleaning 27011 clauses out of 54118 with flag 2786921/1172352
219.90/217.49	c cleaning 28047 clauses out of 56107 with flag 2994268/1201352
225.79/223.30	c cleaning 29020 clauses out of 58060 with flag 3201034/1231352
232.09/229.59	c cleaning 30012 clauses out of 60040 with flag 3407559/1262352
237.59/235.04	c cleaning 30983 clauses out of 62028 with flag 3658535/1294352
243.88/241.22	c cleaning 31977 clauses out of 64045 with flag 3871812/1327352
252.28/249.67	c cleaning 32995 clauses out of 66069 with flag 4126005/1361353
260.38/257.68	c cleaning 34002 clauses out of 68078 with flag 4374535/1396357
269.67/266.92	c cleaning 34995 clauses out of 70071 with flag 4618531/1432352
280.26/277.45	c cleaning 35998 clauses out of 72076 with flag 4867778/1469352
291.97/289.17	c cleaning 37001 clauses out of 74079 with flag 5137670/1507353
303.85/300.93	c cleaning 38001 clauses out of 76077 with flag 5438854/1546352
316.57/313.58	c cleaning 38996 clauses out of 78076 with flag 5761696/1586352
328.67/325.66	c cleaning 39998 clauses out of 80080 with flag 6085364/1627352
342.07/338.90	c cleaning 41002 clauses out of 82082 with flag 6391288/1669352
350.14/346.94	c cleaning 42022 clauses out of 84082 with flag 6709496/1712354
363.44/360.20	c cleaning 43012 clauses out of 86058 with flag 7030940/1756352
376.75/373.32	c cleaning 43691 clauses out of 88048 with flag 7464292/1801354
382.76/379.20	c cleaning 45129 clauses out of 90358 with flag 7762034/1847355
397.66/394.17	c cleaning 46080 clauses out of 92227 with flag 8056272/1894353
410.62/407.10	c cleaning 47041 clauses out of 94146 with flag 8395253/1942352
422.64/418.95	c cleaning 48015 clauses out of 96105 with flag 8725935/1991352
439.34/435.54	c cleaning 49008 clauses out of 98090 with flag 9102414/2041352
458.16/454.30	c cleaning 49999 clauses out of 100082 with flag 9503707/2092352
479.83/475.87	c cleaning 51012 clauses out of 102083 with flag 10011370/2144352
500.43/496.30	c cleaning 51998 clauses out of 104071 with flag 10488016/2197352
521.84/517.66	c cleaning 53002 clauses out of 106073 with flag 10935048/2251352
543.26/539.07	c cleaning 54000 clauses out of 108071 with flag 11386619/2306352
564.25/559.82	c cleaning 54999 clauses out of 110071 with flag 11848513/2362352
588.25/583.70	c cleaning 56001 clauses out of 112072 with flag 12374399/2419352
614.92/610.38	c cleaning 56992 clauses out of 114071 with flag 12900689/2477352
642.50/637.89	c cleaning 58001 clauses out of 116079 with flag 13387538/2536352
674.69/669.80	c cleaning 59002 clauses out of 118080 with flag 13922406/2596354
709.84/704.94	c cleaning 60000 clauses out of 120076 with flag 14502938/2657352
740.75/735.71	c cleaning 61001 clauses out of 122076 with flag 15011353/2719352
778.34/773.17	c cleaning 61999 clauses out of 124076 with flag 15610619/2782353
798.77/793.31	c cleaning 62677 clauses out of 126077 with flag 16264180/2846353
815.48/809.98	c cleaning 64152 clauses out of 128405 with flag 16712341/2911358
843.75/838.01	c cleaning 65081 clauses out of 130248 with flag 17178121/2977353
867.88/862.06	c cleaning 66038 clauses out of 132166 with flag 17665750/3044352
887.24/881.28	c cleaning 67040 clauses out of 134128 with flag 18171951/3112352
906.14/899.92	c cleaning 68018 clauses out of 136089 with flag 18648399/3181353
938.27/931.93	c cleaning 69014 clauses out of 138073 with flag 19104767/3251355
972.11/965.66	c cleaning 70003 clauses out of 140056 with flag 19668019/3322352
1002.14/995.50	c cleaning 71004 clauses out of 142055 with flag 20224902/3394354
1036.90/1029.94	c cleaning 72008 clauses out of 144049 with flag 20766635/3467352
1074.69/1067.45	c cleaning 72998 clauses out of 146042 with flag 21437702/3541353
1108.41/1100.83	c cleaning 74002 clauses out of 148043 with flag 22117831/3616352
1151.41/1143.64	c cleaning 75001 clauses out of 150042 with flag 22800451/3692353
1199.04/1190.94	c cleaning 75989 clauses out of 152041 with flag 23579961/3769353
1235.65/1227.38	c cleaning 77003 clauses out of 154051 with flag 24288244/3847352
1288.38/1279.61	c cleaning 78003 clauses out of 156049 with flag 25040644/3926353
1347.39/1338.24	c cleaning 78999 clauses out of 158046 with flag 25913487/4006353
1405.21/1395.50	c cleaning 80001 clauses out of 160046 with flag 26779416/4087352
1462.42/1452.20	c cleaning 81000 clauses out of 162045 with flag 27711203/4169352
1517.34/1506.45	c cleaning 82000 clauses out of 164045 with flag 28619322/4252352
1568.76/1557.38	c cleaning 82960 clauses out of 166045 with flag 29539655/4336352
1591.46/1579.70	c cleaning 83984 clauses out of 168087 with flag 30141648/4421354
1638.86/1626.74	c cleaning 84993 clauses out of 170101 with flag 30733614/4507352
1686.90/1674.32	c cleaning 85996 clauses out of 172108 with flag 31404269/4594352
1734.89/1721.80	c cleaning 86995 clauses out of 174112 with flag 32151096/4682352
1788.09/1774.37	c cleaning 87999 clauses out of 176119 with flag 32981254/4771354
1800.00/1785.90	c starts		: 1524
1800.00/1785.90	c conflicts		: 4807223
1800.00/1785.90	c decisions		: 9499853
1800.00/1785.90	c propagations		: 83851582
1800.00/1785.90	c inspects		: 31510792290
1800.00/1785.90	c shortcuts		: 0
1800.00/1785.90	c learnt literals	: 0
1800.00/1785.90	c learnt binary clauses	: 0
1800.00/1785.90	c learnt ternary clauses	: 0
1800.00/1785.90	c learnt constraints	: 4807223
1800.00/1785.90	c ignored constraints	: 0
1800.00/1785.90	c root simplifications	: 0
1800.00/1785.90	c removed literals (reason simplification)	: 0
1800.00/1785.90	c reason swapping (by a shorter reason)	: 0
1800.00/1785.90	c Calls to reduceDB	: 140
1800.00/1785.90	c Number of update (reduction) of LBD	: 2556436
1800.00/1785.90	c Imported unit clauses	: 0
1800.00/1785.90	c number of reductions to clauses (during analyze)	: 0
1800.00/1785.90	c number of learned constraints concerned by reduction	: 0
1800.00/1785.90	c number of learning phase by resolution	: 0
1800.00/1785.90	c number of learning phase by cutting planes	: 0
1800.00/1785.90	c speed (assignments/second)	: 46959.47168932178
1800.00/1785.90	c non guided choices	406892
1800.00/1785.93	c learnt constraints type 
1800.00/1785.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 123990
1800.00/1785.93	s SATISFIABLE
1800.00/1785.93	c Found 8 solution(s)
1800.00/1785.94	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.00/1785.95	c objective function=3
1800.00/1785.95	c Total wall clock time (in seconds): 1785.854

Verifier Data 

OK	3

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-4090869-1466066313/watcher-4090869-1466066313 -o /tmp/evaluation-result-4090869-1466066313/solver-4090869-1466066313 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466062117-13804 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090869-1466066313.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.42 2.37 2.30 3/196 14372
/proc/meminfo: memFree=30381392/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 8677739 98570240 976 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 24065 976 743 9 0 16771 0
[pid=14372/tid=14373] ppid=14369 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8677740 98570240 976 33554432000 1073741824 1073778376 140734567735312 139855493557800 273905698176 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100063 s]
/proc/loadavg: 2.42 2.37 2.30 3/196 14372
/proc/meminfo: memFree=30381392/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 4515 0 1 0 10 1 0 0 20 0 18 0 8677739 9787879424 6135 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2389619 6135 2157 9 0 2380296 0
[pid=14372/tid=14373] ppid=14369 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2376 0 1 0 6 1 0 0 20 0 18 0 8677740 9787879424 6135 33554432000 1073741824 1073778376 140734567735312 139855493561248 273909080501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200378 s]
/proc/loadavg: 2.42 2.37 2.30 3/196 14372
/proc/meminfo: memFree=30381392/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 4993 0 1 0 27 1 0 0 20 0 18 0 8677739 9787879424 7447 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2389619 7447 2217 9 0 2380296 0
[pid=14372/tid=14373] ppid=14369 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2396 0 1 0 16 1 0 0 20 0 18 0 8677740 9787879424 7447 33554432000 1073741824 1073778376 140734567735312 139855493561248 273909070904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300294 s]
/proc/loadavg: 2.42 2.37 2.30 3/196 14372
/proc/meminfo: memFree=30381392/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 9860 0 1 0 54 3 0 0 20 0 19 0 8677739 9856040960 10994 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2406260 10994 2240 9 0 2396937 0
[pid=14372/tid=14373] ppid=14369 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2428 0 1 0 26 1 0 0 20 0 19 0 8677740 9856040960 10994 33554432000 1073741824 1073778376 140734567735312 139855493563008 139855359229021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9625040

[startup+0.700252 s]
/proc/loadavg: 2.42 2.37 2.30 3/196 14372
/proc/meminfo: memFree=30381392/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 12630 0 1 0 141 4 0 0 20 0 19 0 8677739 9856040960 13086 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2406260 13086 2260 9 0 2396937 0
[pid=14372/tid=14373] ppid=14369 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2432 0 1 0 66 1 0 0 20 0 19 0 8677740 9856040960 13086 33554432000 1073741824 1073778376 140734567735312 139855493563008 139855359753646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.42 2.37 2.30 3/215 14391
/proc/meminfo: memFree=30324320/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9625040 CPUtime=2.35 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 13143 0 1 0 231 4 0 0 20 0 19 0 8677739 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2406260 16166 2267 9 0 2396937 0
[pid=14372/tid=14373] ppid=14369 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2439 0 1 0 146 1 0 0 20 0 19 0 8677740 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855493562816 139855359818293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14375] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14375/stat : 14375 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855482624552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14376] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14376/stat : 14376 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855481571752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14377] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14377/stat : 14377 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855480518952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14372/tid=14378] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14378/stat : 14378 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855479466152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14379] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14379/stat : 14379 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855478414376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14380] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14380/stat : 14380 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855331539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14381] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14381/stat : 14381 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855330487080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14382] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14382/stat : 14382 (java) S 14369 14372 13787 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855329434280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14383] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14383/stat : 14383 (java) S 14369 14372 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855317236200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14384] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14384/stat : 14384 (java) S 14369 14372 13787 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855316182264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14385] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14385/stat : 14385 (java) S 14369 14372 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855315129352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14386] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14386/stat : 14386 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855314077840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14387] ppid=14369 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/14372/task/14387/stat : 14387 (java) S 14369 14372 13787 0 -1 4202560 5570 0 0 0 38 1 0 0 20 0 19 0 8677744 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855313025976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14388] ppid=14369 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/14372/task/14388/stat : 14388 (java) S 14369 14372 13787 0 -1 4202560 3857 0 0 0 43 2 0 0 20 0 19 0 8677744 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855311973176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14389] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14389/stat : 14389 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855310920568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14390] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14390/stat : 14390 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855309867976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14391] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14391/stat : 14391 (java) S 14369 14372 13787 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8677768 9856040960 16166 33554432000 1073741824 1073778376 140734567735312 139855308813480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.42 2.37 2.30 3/215 14391
/proc/meminfo: memFree=30303228/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9625040 CPUtime=4 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 13154 0 1 0 396 4 0 0 20 0 19 0 8677739 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2406260 21286 2267 9 0 2396937 0
[pid=14372/tid=14373] ppid=14369 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2450 0 1 0 306 1 0 0 20 0 19 0 8677740 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855493553872 139855359975876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14375] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14375/stat : 14375 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855482624552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14376] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14376/stat : 14376 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855481571752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14377] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14377/stat : 14377 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855480518952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14372/tid=14378] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14378/stat : 14378 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855479466152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14379] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14379/stat : 14379 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855478414376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14380] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14380/stat : 14380 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855331539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14381] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14381/stat : 14381 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855330487080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14382] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14382/stat : 14382 (java) S 14369 14372 13787 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855329434280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14383] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14383/stat : 14383 (java) S 14369 14372 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855317236200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14384] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14384/stat : 14384 (java) S 14369 14372 13787 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855316182264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14385] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14385/stat : 14385 (java) S 14369 14372 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855315129352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14386] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14386/stat : 14386 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855314077840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14387] ppid=14369 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/14372/task/14387/stat : 14387 (java) S 14369 14372 13787 0 -1 4202560 5570 0 0 0 40 1 0 0 20 0 19 0 8677744 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855313025976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14388] ppid=14369 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/14372/task/14388/stat : 14388 (java) S 14369 14372 13787 0 -1 4202560 3857 0 0 0 46 2 0 0 20 0 19 0 8677744 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855311973176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14389] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14389/stat : 14389 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855310920568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14390] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14390/stat : 14390 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855309867976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14391] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14391/stat : 14391 (java) S 14369 14372 13787 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8677768 9856040960 21286 33554432000 1073741824 1073778376 140734567735312 139855308813480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.38 2.37 2.29 3/215 14391
/proc/meminfo: memFree=30253720/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9625040 CPUtime=7.33 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 13202 0 1 0 728 5 0 0 20 0 19 0 8677739 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2406260 31534 2268 9 0 2396937 0
[pid=14372/tid=14373] ppid=14369 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2472 0 1 0 624 2 0 0 20 0 19 0 8677740 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855493560920 139855359703063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14375] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14375/stat : 14375 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855482624552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14376] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14376/stat : 14376 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855481571752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14377] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14377/stat : 14377 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855480518952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14372/tid=14378] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14378/stat : 14378 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855479466152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14379] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14379/stat : 14379 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855478414376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14380] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14380/stat : 14380 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855331539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14381] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14381/stat : 14381 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855330487080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14382] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14382/stat : 14382 (java) S 14369 14372 13787 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8677741 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855329434280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14383] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14383/stat : 14383 (java) S 14369 14372 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855317236200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14384] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14384/stat : 14384 (java) S 14369 14372 13787 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855316182264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14385] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14385/stat : 14385 (java) S 14369 14372 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855315129352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14386] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14386/stat : 14386 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855314077840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14387] ppid=14369 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/14372/task/14387/stat : 14387 (java) S 14369 14372 13787 0 -1 4202560 5594 0 0 0 50 1 0 0 20 0 19 0 8677744 9856040960 31534 33554432000 1073741824 1073778376 140734567735312 139855313025976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14388] ppid=14369 vsize=9625040 CPUtime=0.51 cores=1,3,5,7

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

[pid=14372/tid=14391] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14391/stat : 14391 (java) S 14369 14372 13787 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8677768 9856040960 104938 33554432000 1073741824 1073778376 140734567735312 139855308813480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1735.53
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.41 2.32 2.28 4/215 14523
/proc/meminfo: memFree=30012884/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9625040 CPUtime=1796.33 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 28955 0 1 0 179468 165 0 0 20 0 19 0 8677739 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2406260 101506 2290 9 0 2396937 0
[pid=14372/tid=14373] ppid=14369 vsize=9625040 CPUtime=1767.83 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2797 0 1 0 176753 30 0 0 20 0 19 0 8677740 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855493561584 139855359752289 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14375] ppid=14369 vsize=9625040 CPUtime=2.36 cores=1,3,5,7
/proc/14372/task/14375/stat : 14375 (java) S 14369 14372 13787 0 -1 4202560 2622 0 0 0 221 15 0 0 20 0 19 0 8677741 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855482624552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14376] ppid=14369 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/14372/task/14376/stat : 14376 (java) S 14369 14372 13787 0 -1 4202560 1322 0 0 0 208 14 0 0 20 0 19 0 8677741 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855481571752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14377] ppid=14369 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/14372/task/14377/stat : 14377 (java) S 14369 14372 13787 0 -1 4202560 1490 0 0 0 222 17 0 0 20 0 19 0 8677741 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855480518952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14378] ppid=14369 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/14372/task/14378/stat : 14378 (java) S 14369 14372 13787 0 -1 4202560 2046 0 0 0 214 17 0 0 20 0 19 0 8677741 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855479466152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14379] ppid=14369 vsize=9625040 CPUtime=2.28 cores=1,3,5,7
/proc/14372/task/14379/stat : 14379 (java) S 14369 14372 13787 0 -1 4202560 1628 0 0 0 215 13 0 0 20 0 19 0 8677741 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855478414376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14380] ppid=14369 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/14372/task/14380/stat : 14380 (java) S 14369 14372 13787 0 -1 4202560 1321 0 0 0 217 14 0 0 20 0 19 0 8677741 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855331539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14372/tid=14381] ppid=14369 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/14372/task/14381/stat : 14381 (java) S 14369 14372 13787 0 -1 4202560 1464 0 0 0 215 14 0 0 20 0 19 0 8677741 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855330487080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14382] ppid=14369 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/14372/task/14382/stat : 14382 (java) S 14369 14372 13787 0 -1 4202560 2286 0 0 0 191 12 0 0 20 0 19 0 8677741 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855329434280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14372/tid=14383] ppid=14369 vsize=9625040 CPUtime=4.32 cores=1,3,5,7
/proc/14372/task/14383/stat : 14383 (java) S 14369 14372 13787 0 -1 4202560 1157 0 0 0 426 6 0 0 20 0 19 0 8677742 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855317236200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14384] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14384/stat : 14384 (java) S 14369 14372 13787 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855316182264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14385] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14385/stat : 14385 (java) S 14369 14372 13787 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855315129352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14386] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14386/stat : 14386 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855314077840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14387] ppid=14369 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/14372/task/14387/stat : 14387 (java) S 14369 14372 13787 0 -1 4202560 5597 0 0 0 57 1 0 0 20 0 19 0 8677744 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855313025976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14388] ppid=14369 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/14372/task/14388/stat : 14388 (java) S 14369 14372 13787 0 -1 4202560 3858 0 0 0 49 2 0 0 20 0 19 0 8677744 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855311973176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14389] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14389/stat : 14389 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855310920568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14390] ppid=14369 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/14372/task/14390/stat : 14390 (java) S 14369 14372 13787 0 -1 4202560 104 0 0 0 20 38 0 0 20 0 19 0 8677744 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855309867976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14391] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14391/stat : 14391 (java) S 14369 14372 13787 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8677768 9856040960 101506 33554432000 1073741824 1073778376 140734567735312 139855308813480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.33
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.9 s]
/proc/loadavg: 2.41 2.32 2.28 4/215 14523
/proc/meminfo: memFree=29994900/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 28965 0 1 0 179834 166 0 0 20 0 19 0 8677739 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2406260 102497 2290 9 0 2396937 0
[pid=14372/tid=14373] ppid=14369 vsize=9625040 CPUtime=1771.39 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2799 0 1 0 177109 30 0 0 20 0 19 0 8677740 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855493561568 139855359753814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14375] ppid=14369 vsize=9625040 CPUtime=2.37 cores=1,3,5,7
/proc/14372/task/14375/stat : 14375 (java) S 14369 14372 13787 0 -1 4202560 2624 0 0 0 221 16 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855482624552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14376] ppid=14369 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/14372/task/14376/stat : 14376 (java) S 14369 14372 13787 0 -1 4202560 1323 0 0 0 209 14 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855481571752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14372/tid=14377] ppid=14369 vsize=9625040 CPUtime=2.41 cores=1,3,5,7
/proc/14372/task/14377/stat : 14377 (java) S 14369 14372 13787 0 -1 4202560 1491 0 0 0 224 17 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855480518952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14378] ppid=14369 vsize=9625040 CPUtime=2.32 cores=1,3,5,7
/proc/14372/task/14378/stat : 14378 (java) S 14369 14372 13787 0 -1 4202560 2046 0 0 0 215 17 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855479466152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14379] ppid=14369 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/14372/task/14379/stat : 14379 (java) S 14369 14372 13787 0 -1 4202560 1628 0 0 0 216 13 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855478414376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14380] ppid=14369 vsize=9625040 CPUtime=2.33 cores=1,3,5,7
/proc/14372/task/14380/stat : 14380 (java) S 14369 14372 13787 0 -1 4202560 1323 0 0 0 219 14 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855331539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14381] ppid=14369 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/14372/task/14381/stat : 14381 (java) S 14369 14372 13787 0 -1 4202560 1464 0 0 0 216 14 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855330487080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14382] ppid=14369 vsize=9625040 CPUtime=2.05 cores=1,3,5,7
/proc/14372/task/14382/stat : 14382 (java) S 14369 14372 13787 0 -1 4202560 2288 0 0 0 193 12 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855329434280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14383] ppid=14369 vsize=9625040 CPUtime=4.32 cores=1,3,5,7
/proc/14372/task/14383/stat : 14383 (java) S 14369 14372 13787 0 -1 4202560 1157 0 0 0 426 6 0 0 20 0 19 0 8677742 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855317236200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14384] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14384/stat : 14384 (java) S 14369 14372 13787 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855316182264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14385] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14385/stat : 14385 (java) S 14369 14372 13787 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855315129352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14386] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14386/stat : 14386 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855314077840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14387] ppid=14369 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/14372/task/14387/stat : 14387 (java) S 14369 14372 13787 0 -1 4202560 5597 0 0 0 57 1 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855313025976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14388] ppid=14369 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/14372/task/14388/stat : 14388 (java) S 14369 14372 13787 0 -1 4202560 3858 0 0 0 49 2 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855311973176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14389] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14389/stat : 14389 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855310920568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14390] ppid=14369 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/14372/task/14390/stat : 14390 (java) S 14369 14372 13787 0 -1 4202560 104 0 0 0 21 38 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855309867976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14391] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14391/stat : 14391 (java) S 14369 14372 13787 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8677768 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855308813480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 14372 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1785.9 s]
/proc/loadavg: 2.41 2.32 2.28 4/215 14523
/proc/meminfo: memFree=29994900/32872528 swapFree=1481856/1661728
[pid=14372] ppid=14369 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/14372/stat : 14372 (java) S 14369 14372 13787 0 -1 4202496 28965 0 1 0 179834 166 0 0 20 0 19 0 8677739 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 140734567726448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14372/statm: 2406260 102497 2290 9 0 2396937 0
[pid=14372/tid=14373] ppid=14369 vsize=9625040 CPUtime=1771.39 cores=1,3,5,7
/proc/14372/task/14373/stat : 14373 (java) R 14369 14372 13787 0 -1 4202560 2799 0 1 0 177109 30 0 0 20 0 19 0 8677740 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855493561568 139855359753814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14375] ppid=14369 vsize=9625040 CPUtime=2.37 cores=1,3,5,7
/proc/14372/task/14375/stat : 14375 (java) S 14369 14372 13787 0 -1 4202560 2624 0 0 0 221 16 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855482624552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14376] ppid=14369 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/14372/task/14376/stat : 14376 (java) S 14369 14372 13787 0 -1 4202560 1323 0 0 0 209 14 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855481571752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14372/tid=14377] ppid=14369 vsize=9625040 CPUtime=2.41 cores=1,3,5,7
/proc/14372/task/14377/stat : 14377 (java) S 14369 14372 13787 0 -1 4202560 1491 0 0 0 224 17 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855480518952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14378] ppid=14369 vsize=9625040 CPUtime=2.32 cores=1,3,5,7
/proc/14372/task/14378/stat : 14378 (java) S 14369 14372 13787 0 -1 4202560 2046 0 0 0 215 17 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855479466152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14379] ppid=14369 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/14372/task/14379/stat : 14379 (java) S 14369 14372 13787 0 -1 4202560 1628 0 0 0 216 13 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855478414376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14380] ppid=14369 vsize=9625040 CPUtime=2.33 cores=1,3,5,7
/proc/14372/task/14380/stat : 14380 (java) S 14369 14372 13787 0 -1 4202560 1323 0 0 0 219 14 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855331539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14381] ppid=14369 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/14372/task/14381/stat : 14381 (java) S 14369 14372 13787 0 -1 4202560 1464 0 0 0 216 14 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855330487080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14382] ppid=14369 vsize=9625040 CPUtime=2.05 cores=1,3,5,7
/proc/14372/task/14382/stat : 14382 (java) S 14369 14372 13787 0 -1 4202560 2288 0 0 0 193 12 0 0 20 0 19 0 8677741 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855329434280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14383] ppid=14369 vsize=9625040 CPUtime=4.32 cores=1,3,5,7
/proc/14372/task/14383/stat : 14383 (java) S 14369 14372 13787 0 -1 4202560 1157 0 0 0 426 6 0 0 20 0 19 0 8677742 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855317236200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14384] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14384/stat : 14384 (java) S 14369 14372 13787 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855316182264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14385] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14385/stat : 14385 (java) S 14369 14372 13787 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8677742 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855315129352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14386] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14386/stat : 14386 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855314077840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14387] ppid=14369 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/14372/task/14387/stat : 14387 (java) S 14369 14372 13787 0 -1 4202560 5597 0 0 0 57 1 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855313025976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14372/tid=14388] ppid=14369 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/14372/task/14388/stat : 14388 (java) S 14369 14372 13787 0 -1 4202560 3858 0 0 0 49 2 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855311973176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14389] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14389/stat : 14389 (java) S 14369 14372 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855310920568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14372/tid=14390] ppid=14369 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/14372/task/14390/stat : 14390 (java) S 14369 14372 13787 0 -1 4202560 104 0 0 0 21 38 0 0 20 0 19 0 8677744 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855309867976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14372/tid=14391] ppid=14369 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/14372/task/14391/stat : 14391 (java) S 14369 14372 13787 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8677768 9856040960 102497 33554432000 1073741824 1073778376 140734567735312 139855308813480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1785.97
CPU time (s): 1800
CPU user time (s): 1798.34
CPU system time (s): 1.66
CPU usage (%): 100.785
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 2.09168
maximum resident set size= 637848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29007
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46924
involuntary context switches= 38730

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.68353 second user time and 14.1738 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-16 10:38:33
IDJOB=4090869
IDBENCH=79164
IDSOLVER=2551
FILE ID=node134/4090869-1466066313
RUNJOBID= node134-1466062117-13804
PBS_JOBID= 19904005
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= b6d6940e1e32d980df9f418447a42cea
RANDOM SEED=1451489890

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30381548 kB
Buffers:            6604 kB
Cached:            39256 kB
SwapCached:         8928 kB
Active:            76072 kB
Inactive:          30616 kB
Active(anon):      55088 kB
Inactive(anon):     8248 kB
Active(file):      20984 kB
Inactive(file):    22368 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092024 kB
Dirty:              1384 kB
Writeback:             0 kB
AnonPages:       1866092 kB
Mapped:            15380 kB
Shmem:                 0 kB
Slab:             565604 kB
SReclaimable:       9200 kB
SUnreclaim:       556404 kB
KernelStack:        1784 kB
PageTables:         8168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2350968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 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= 71732 MiB
End job on node134 at 2016-06-16 11:08:19