Trace number 4090555

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.68 1779.07

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM5648463b311d39ee56e08f95de13a148
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.03
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 constraints71
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 3850
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3849
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4090555-1466062148.wbo
0.10/0.11	c reading problem ... 
0.29/0.29	c ... done. Wall clock time 0.18s.
0.29/0.29	c declared #vars     5100
0.29/0.29	c internal #vars     5171
0.29/0.29	c #constraints  202
0.29/0.29	c constraints type 
0.29/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102
0.29/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 63
0.29/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37
0.29/0.29	c 202 constraints processed.
0.29/0.29	c objective function length is 71 literals
1.43/0.87	c cleaning 2497 clauses out of 5002 with flag 30856/5002
1.59/0.90	c SATISFIABLE
1.59/0.90	c OPTIMIZING...
1.59/0.90	c Got one! Elapsed wall clock time (in seconds):0.797
1.59/0.90	o 148
2.18/1.43	c cleaning 3896 clauses out of 7804 with flag 34736/10301
2.89/2.10	c cleaning 4953 clauses out of 9908 with flag 71972/16301
3.19/2.42	c Got one! Elapsed wall clock time (in seconds):2.309
3.19/2.42	o 96
3.52/2.72	c cleaning 4997 clauses out of 10009 with flag 12263/21355
4.26/3.45	c cleaning 5500 clauses out of 11011 with flag 54146/27354
4.65/3.89	c Got one! Elapsed wall clock time (in seconds):3.787
4.65/3.89	o 73
5.01/4.18	c cleaning 5573 clauses out of 11157 with flag 14874/33000
5.81/4.98	c cleaning 5783 clauses out of 11585 with flag 57153/39001
6.80/5.91	c cleaning 6394 clauses out of 12802 with flag 104634/46001
8.11/7.21	c cleaning 7204 clauses out of 14412 with flag 160216/54005
9.31/8.41	c Got one! Elapsed wall clock time (in seconds):8.307
9.31/8.41	o 64
10.46/9.50	c cleaning 9938 clauses out of 19892 with flag 36734/66689
11.56/10.61	c cleaning 7968 clauses out of 15952 with flag 82232/72687
12.65/11.75	c cleaning 7485 clauses out of 14987 with flag 129678/79690
13.88/12.98	c cleaning 7738 clauses out of 15498 with flag 188578/87686
14.58/13.67	c Got one! Elapsed wall clock time (in seconds):13.567
14.58/13.67	o 60
15.48/14.52	c cleaning 9090 clauses out of 18193 with flag 33412/98119
16.28/15.40	c cleaning 7544 clauses out of 15104 with flag 76309/104120
17.28/16.37	c cleaning 7265 clauses out of 14559 with flag 123850/111119
18.48/17.57	c cleaning 7638 clauses out of 15294 with flag 184075/119119
19.88/18.97	c cleaning 8321 clauses out of 16658 with flag 253073/128121
21.78/20.83	c cleaning 9162 clauses out of 18336 with flag 336216/138120
23.88/22.91	c cleaning 10079 clauses out of 20174 with flag 429210/149120
26.38/25.43	c cleaning 11038 clauses out of 22094 with flag 530394/161119
29.28/28.31	c cleaning 12021 clauses out of 24057 with flag 645085/174120
32.10/31.10	c Got one! Elapsed wall clock time (in seconds):30.993
32.10/31.10	o 52
33.30/32.31	c cleaning 15014 clauses out of 30054 with flag 34598/192138
34.20/33.27	c cleaning 10509 clauses out of 21041 with flag 75372/198139
35.11/34.19	c cleaning 8754 clauses out of 17534 with flag 124320/205141
36.21/35.26	c cleaning 8380 clauses out of 16777 with flag 187641/213138
37.00/36.02	c Got one! Elapsed wall clock time (in seconds):35.908
37.00/36.02	o 48
37.31/36.37	c cleaning 9728 clauses out of 19493 with flag 30083/224234
37.80/36.89	c cleaning 7863 clauses out of 15769 with flag 73716/230238
38.60/37.60	c cleaning 7431 clauses out of 14904 with flag 124136/237236
39.40/38.46	c cleaning 7712 clauses out of 15471 with flag 189142/245234
40.50/39.56	c cleaning 8353 clauses out of 16759 with flag 259513/254234
41.81/40.81	c cleaning 9186 clauses out of 18409 with flag 340693/264237
43.34/42.34	c cleaning 10091 clauses out of 20222 with flag 433860/275236
45.14/44.12	c cleaning 11039 clauses out of 22129 with flag 526804/287234
47.34/46.32	c cleaning 12025 clauses out of 24090 with flag 636587/300234
50.03/49.07	c cleaning 13011 clauses out of 26065 with flag 751861/314234
52.93/51.96	c cleaning 14001 clauses out of 28054 with flag 872503/329234
56.63/55.69	c cleaning 15001 clauses out of 30053 with flag 1010856/345234
60.43/59.41	c cleaning 16000 clauses out of 32053 with flag 1176150/362235
64.87/63.84	c cleaning 16996 clauses out of 34053 with flag 1351110/380235
70.16/69.17	c cleaning 18001 clauses out of 36057 with flag 1545400/399235
74.77/73.79	c cleaning 18999 clauses out of 38056 with flag 1710504/419235
80.76/79.70	c cleaning 19999 clauses out of 40057 with flag 1888469/440235
87.32/86.15	c cleaning 21000 clauses out of 42060 with flag 2097956/462237
93.82/92.67	c cleaning 22003 clauses out of 44058 with flag 2312362/485235
101.12/100.00	c cleaning 23003 clauses out of 46056 with flag 2527679/509236
108.03/106.87	c cleaning 23998 clauses out of 48052 with flag 2709924/534235
116.10/114.74	c cleaning 24999 clauses out of 50053 with flag 2899880/560234
123.91/122.57	c cleaning 25997 clauses out of 52054 with flag 3106713/587234
133.11/131.75	c cleaning 27004 clauses out of 54057 with flag 3331109/615234
143.59/142.05	c cleaning 27998 clauses out of 56054 with flag 3552528/644235
152.89/151.40	c cleaning 28988 clauses out of 58055 with flag 3776860/674234
164.93/163.11	c cleaning 30008 clauses out of 60068 with flag 4044244/705235
179.62/177.64	c cleaning 30999 clauses out of 62059 with flag 4338268/737234
192.57/190.36	c cleaning 32003 clauses out of 64062 with flag 4606469/770236
197.26/195.00	c Got one! Elapsed wall clock time (in seconds):194.896
197.26/195.00	o 45
197.56/195.38	c cleaning 27042 clauses out of 54101 with flag 29937/792278
197.97/195.74	c cleaning 16502 clauses out of 33061 with flag 66090/798280
198.31/196.03	c Got one! Elapsed wall clock time (in seconds):195.921
198.31/196.03	o 35
198.31/196.08	c cleaning 10926 clauses out of 21879 with flag 6262/803600
198.81/196.51	c cleaning 8457 clauses out of 16952 with flag 47803/809599
199.21/196.96	c cleaning 7728 clauses out of 15495 with flag 94751/816599
199.41/197.12	c Got one! Elapsed wall clock time (in seconds):197.014
199.41/197.12	o 34
199.51/197.28	c cleaning 6817 clauses out of 13696 with flag 17362/822528
200.01/197.75	c cleaning 6407 clauses out of 12878 with flag 56076/828527
200.61/198.30	c cleaning 6699 clauses out of 13472 with flag 100297/835528
201.31/199.03	c cleaning 7354 clauses out of 14774 with flag 163992/843529
202.22/199.99	c cleaning 8180 clauses out of 16420 with flag 233236/852529
203.32/201.04	c cleaning 9094 clauses out of 18239 with flag 300412/862528
204.92/202.60	c cleaning 10044 clauses out of 20147 with flag 375588/873530
204.92/202.63	c Got one! Elapsed wall clock time (in seconds):202.526
204.92/202.63	o 30
205.22/202.94	c cleaning 7725 clauses out of 15472 with flag 32509/878899
205.52/203.27	c cleaning 6851 clauses out of 13748 with flag 68120/884900
205.72/203.42	c Got one! Elapsed wall clock time (in seconds):203.315
205.72/203.42	o 15
205.84/203.59	c cleaning 6376 clauses out of 12766 with flag 19119/890769
206.24/203.93	c cleaning 6170 clauses out of 12390 with flag 53527/896769
206.84/204.57	c cleaning 6586 clauses out of 13219 with flag 100644/903768
207.64/205.31	c cleaning 7290 clauses out of 14635 with flag 171002/911770
208.54/206.22	c cleaning 8145 clauses out of 16344 with flag 253076/920769
209.76/207.48	c cleaning 9077 clauses out of 18201 with flag 345387/930771
211.17/208.88	c cleaning 10037 clauses out of 20121 with flag 439531/941768
213.07/210.73	c cleaning 11019 clauses out of 22085 with flag 542936/953769
215.51/213.12	c cleaning 12009 clauses out of 24065 with flag 654447/966768
216.91/214.52	c cleaning 12987 clauses out of 26056 with flag 755035/980768
218.91/216.59	c cleaning 13998 clauses out of 28070 with flag 860777/995769
220.43/218.08	c cleaning 15020 clauses out of 30071 with flag 963144/1011768
222.43/220.08	c cleaning 16002 clauses out of 32051 with flag 1082674/1028768
223.43/221.05	c Got one! Elapsed wall clock time (in seconds):220.944
223.43/221.05	o 12
223.83/221.45	c cleaning 15561 clauses out of 31183 with flag 29442/1043902
224.36/221.93	c cleaning 10769 clauses out of 21621 with flag 67065/1049901
224.86/222.49	c cleaning 8880 clauses out of 17853 with flag 118667/1056902
225.66/223.20	c cleaning 8444 clauses out of 16972 with flag 172289/1064901
226.46/224.04	c cleaning 8726 clauses out of 17530 with flag 234541/1073903
227.36/224.99	c cleaning 9368 clauses out of 18803 with flag 303262/1083902
228.48/226.01	c cleaning 10199 clauses out of 20436 with flag 376710/1094903
229.88/227.40	c cleaning 11096 clauses out of 22237 with flag 461983/1106903
231.78/229.32	c cleaning 12050 clauses out of 24140 with flag 570423/1119902
234.00/231.56	c cleaning 13024 clauses out of 26089 with flag 689594/1133901
236.30/233.80	c cleaning 14014 clauses out of 28065 with flag 823502/1148901
239.03/236.54	c cleaning 15007 clauses out of 30055 with flag 971053/1164905
241.83/239.35	c cleaning 16004 clauses out of 32044 with flag 1122473/1181901
245.27/242.75	c cleaning 17004 clauses out of 34041 with flag 1268617/1199902
248.98/246.47	c cleaning 17993 clauses out of 36036 with flag 1425029/1218901
253.33/250.72	c cleaning 19004 clauses out of 38044 with flag 1587532/1238902
258.11/255.48	c cleaning 19999 clauses out of 40040 with flag 1746430/1259902
263.41/260.76	c cleaning 21005 clauses out of 42040 with flag 1919133/1281901
269.52/266.82	c cleaning 22002 clauses out of 44037 with flag 2112010/1304903
276.60/273.87	c cleaning 22997 clauses out of 46036 with flag 2317014/1328904
283.52/280.65	c cleaning 23996 clauses out of 48036 with flag 2531929/1353901
289.31/286.40	c cleaning 24976 clauses out of 50040 with flag 2740262/1379901
294.28/291.36	c cleaning 25987 clauses out of 52066 with flag 2924101/1406903
297.92/294.92	c cleaning 26956 clauses out of 54078 with flag 3111992/1434902
303.15/300.20	c cleaning 27998 clauses out of 56122 with flag 3285414/1463902
309.73/306.60	c cleaning 28999 clauses out of 58123 with flag 3483119/1493901
316.78/313.66	c cleaning 30003 clauses out of 60125 with flag 3697785/1524902
324.82/321.61	c cleaning 31004 clauses out of 62121 with flag 3933852/1556901
330.58/327.31	c cleaning 31953 clauses out of 64119 with flag 4171208/1589903
348.07/344.34	c cleaning 32814 clauses out of 66164 with flag 4619258/1623901
355.55/351.71	c cleaning 34155 clauses out of 68350 with flag 4850114/1658901
360.54/356.64	c cleaning 35062 clauses out of 70196 with flag 5104958/1694902
369.64/365.63	c cleaning 36031 clauses out of 72133 with flag 5374983/1731901
379.46/375.33	c cleaning 37010 clauses out of 74102 with flag 5656233/1769901
389.52/385.35	c cleaning 38011 clauses out of 76092 with flag 5980914/1808901
399.96/395.66	c cleaning 39010 clauses out of 78083 with flag 6283386/1848903
411.72/407.37	c cleaning 40003 clauses out of 80072 with flag 6598012/1889902
425.12/420.61	c cleaning 41003 clauses out of 82071 with flag 6955974/1931904
441.85/437.24	c cleaning 41999 clauses out of 84066 with flag 7327522/1974902
455.44/450.71	c cleaning 43003 clauses out of 86069 with flag 7679913/2018904
460.90/456.07	c cleaning 43993 clauses out of 88064 with flag 7978791/2063902
476.43/471.49	c cleaning 45003 clauses out of 90070 with flag 8278398/2109901
494.05/488.94	c cleaning 46007 clauses out of 92067 with flag 8613824/2156901
510.76/505.55	c cleaning 47003 clauses out of 94060 with flag 8961424/2204901
528.61/523.23	c cleaning 48001 clauses out of 96057 with flag 9320953/2253901
550.91/545.41	c cleaning 48999 clauses out of 98057 with flag 9698964/2303902
573.03/567.33	c cleaning 49997 clauses out of 100058 with flag 10084651/2354902
595.41/589.53	c cleaning 50999 clauses out of 102064 with flag 10474527/2406905
617.97/611.97	c cleaning 52002 clauses out of 104063 with flag 10897506/2459903
631.78/625.51	c cleaning 52999 clauses out of 106059 with flag 11324825/2513901
651.83/645.44	c cleaning 54005 clauses out of 108061 with flag 11671887/2568902
662.99/656.45	c cleaning 54983 clauses out of 110055 with flag 12042439/2624901
671.64/664.85	c cleaning 55980 clauses out of 112073 with flag 12410820/2681902
700.44/692.75	c cleaning 56652 clauses out of 114093 with flag 13223376/2739902
740.11/731.33	c cleaning 58123 clauses out of 116440 with flag 14237165/2798901
776.43/766.74	c cleaning 59109 clauses out of 118317 with flag 15309742/2858901
814.55/804.00	c cleaning 60087 clauses out of 120209 with flag 16422872/2919902
865.47/854.20	c cleaning 61059 clauses out of 122122 with flag 17521541/2981902
933.62/921.50	c cleaning 62030 clauses out of 124062 with flag 18672585/3044901
998.13/985.32	c cleaning 63005 clauses out of 126032 with flag 19867082/3108901
1060.00/1046.34	c cleaning 64010 clauses out of 128027 with flag 21040444/3173901
1130.08/1115.64	c cleaning 65002 clauses out of 130017 with flag 22269139/3239901
1200.95/1185.74	c cleaning 66005 clauses out of 132015 with flag 23491057/3306901
1251.88/1236.05	c cleaning 67002 clauses out of 134011 with flag 24721023/3374902
1311.60/1294.87	c cleaning 68003 clauses out of 136011 with flag 25957492/3443904
1383.30/1365.73	c cleaning 68997 clauses out of 138006 with flag 27168670/3513902
1419.21/1401.25	c cleaning 69894 clauses out of 140008 with flag 27868822/3584901
1446.65/1428.41	c cleaning 71042 clauses out of 142115 with flag 28623636/3656902
1494.31/1475.92	c cleaning 72010 clauses out of 144072 with flag 29194875/3729901
1532.29/1513.54	c cleaning 73001 clauses out of 146065 with flag 29754417/3803904
1579.15/1560.14	c cleaning 74005 clauses out of 148061 with flag 30277679/3878901
1626.61/1606.84	c cleaning 75005 clauses out of 150059 with flag 30883013/3954904
1678.37/1658.20	c cleaning 76001 clauses out of 152053 with flag 31498540/4031903
1733.97/1713.58	c cleaning 76999 clauses out of 154054 with flag 32164280/4109905
1784.46/1763.61	c cleaning 77994 clauses out of 156054 with flag 32835382/4188904
1800.01/1779.00	c starts		: 17349
1800.01/1779.00	c conflicts		: 4226696
1800.01/1779.00	c decisions		: 30523179
1800.01/1779.00	c propagations		: 124018198
1800.01/1779.00	c inspects		: 24746294495
1800.01/1779.00	c shortcuts		: 0
1800.01/1779.00	c learnt literals	: 0
1800.01/1779.00	c learnt binary clauses	: 0
1800.01/1779.00	c learnt ternary clauses	: 0
1800.01/1779.00	c learnt constraints	: 4226696
1800.01/1779.00	c ignored constraints	: 0
1800.01/1779.00	c root simplifications	: 0
1800.01/1779.00	c removed literals (reason simplification)	: 0
1800.01/1779.00	c reason swapping (by a shorter reason)	: 0
1800.01/1779.00	c Calls to reduceDB	: 157
1800.01/1779.00	c Number of update (reduction) of LBD	: 2432230
1800.01/1779.00	c Imported unit clauses	: 0
1800.01/1779.00	c number of reductions to clauses (during analyze)	: 0
1800.01/1779.00	c number of learned constraints concerned by reduction	: 0
1800.01/1779.00	c number of learning phase by resolution	: 0
1800.01/1779.00	c number of learning phase by cutting planes	: 0
1800.01/1779.00	c speed (assignments/second)	: 69723.79262014486
1800.01/1779.00	c non guided choices	304393
1800.01/1779.03	c learnt constraints type 
1800.01/1779.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 115852
1800.01/1779.03	s SATISFIABLE
1800.01/1779.03	c Found 13 solution(s)
1800.01/1779.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.01/1779.05	c objective function=12
1800.01/1779.05	c Total wall clock time (in seconds): 1778.94

Verifier Data 

OK	12

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-4090555-1466062148/watcher-4090555-1466062148 -o /tmp/evaluation-result-4090555-1466062148/solver-4090555-1466062148 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466062131-13167 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090555-1466062148.wbo 

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

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


[startup+0 s]
/proc/loadavg: 0.55 0.26 0.16 5/193 13734
/proc/meminfo: memFree=30722608/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 8263393 98570240 977 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 24065 977 743 9 0 16771 0
[pid=13734/tid=13735] ppid=13731 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8263393 98570240 977 33554432000 1073741824 1073778376 140736340624384 140643680976424 272886482304 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100059 s]
/proc/loadavg: 0.55 0.26 0.16 5/193 13734
/proc/meminfo: memFree=30722608/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 4403 0 1 0 9 1 0 0 20 0 18 0 8263393 9787879424 6040 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2389619 6040 2125 9 0 2380296 0
[pid=13734/tid=13735] ppid=13731 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2379 0 1 0 6 1 0 0 20 0 18 0 8263393 9787879424 6040 33554432000 1073741824 1073778376 140736340624384 140643680979872 272889855032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.2003 s]
/proc/loadavg: 0.55 0.26 0.16 5/193 13734
/proc/meminfo: memFree=30722608/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 4999 0 1 0 28 1 0 0 20 0 18 0 8263393 9787879424 6955 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2389619 6955 2217 9 0 2380296 0
[pid=13734/tid=13735] ppid=13731 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2393 0 1 0 16 1 0 0 20 0 18 0 8263393 9787879424 6955 33554432000 1073741824 1073778376 140736340624384 140643680967024 140643553137895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300262 s]
/proc/loadavg: 0.55 0.26 0.16 5/193 13734
/proc/meminfo: memFree=30722608/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 7295 0 1 0 53 2 0 0 20 0 19 0 8263393 9856040960 10873 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2406260 10873 2239 9 0 2396937 0
[pid=13734/tid=13735] ppid=13731 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2416 0 1 0 26 1 0 0 20 0 19 0 8263393 9856040960 10873 33554432000 1073741824 1073778376 140736340624384 140643680981632 140643552836876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9625040

[startup+0.700178 s]
/proc/loadavg: 0.55 0.26 0.16 5/193 13734
/proc/meminfo: memFree=30722608/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 9053 0 1 0 131 2 0 0 20 0 19 0 8263393 9856040960 12385 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2406260 12385 2251 9 0 2396937 0
[pid=13734/tid=13735] ppid=13731 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2418 0 1 0 66 1 0 0 20 0 19 0 8263393 9856040960 12385 33554432000 1073741824 1073778376 140736340624384 140643680981632 140643553346605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 0.55 0.26 0.16 3/213 13754
/proc/meminfo: memFree=30638272/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 10479 0 1 0 225 3 0 0 20 0 19 0 8263393 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2406260 14955 2260 9 0 2396937 0
[pid=13734/tid=13735] ppid=13731 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2424 0 1 0 146 2 0 0 20 0 19 0 8263393 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643680981528 140643553346648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13737] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13737/stat : 13737 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643524978984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13738] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13738/stat : 13738 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643523926184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13739] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13739/stat : 13739 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643522873896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13734/tid=13740] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13740/stat : 13740 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643521821096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13741] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13741/stat : 13741 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643520768808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13742] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13742/stat : 13742 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643519716008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13743] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13743/stat : 13743 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643518663720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13744] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13744/stat : 13744 (java) S 13731 13734 13151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643517610920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13745] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13745/stat : 13745 (java) S 13731 13734 13151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8263395 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643505199336 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13746] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13746/stat : 13746 (java) S 13731 13734 13151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643504145400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13747] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13747/stat : 13747 (java) S 13731 13734 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643503093000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13748] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13748/stat : 13748 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643502041488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13749] ppid=13731 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/13734/task/13749/stat : 13749 (java) S 13731 13734 13151 0 -1 4202560 4715 0 0 0 41 0 0 0 20 0 19 0 8263398 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643500989112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13750] ppid=13731 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13734/task/13750/stat : 13750 (java) S 13731 13734 13151 0 -1 4202560 2068 0 0 0 36 0 0 0 20 0 19 0 8263398 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643499936312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13751] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13751/stat : 13751 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643498884216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13752] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13752/stat : 13752 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643497831624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13754] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13754/stat : 13754 (java) S 13731 13734 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8263423 9856040960 14955 33554432000 1073741824 1073778376 140736340624384 140643496776616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 0.55 0.26 0.16 3/213 13754
/proc/meminfo: memFree=30613076/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9625040 CPUtime=3.95 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 10489 0 1 0 392 3 0 0 20 0 19 0 8263393 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2406260 19563 2260 9 0 2396937 0
[pid=13734/tid=13735] ppid=13731 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2434 0 1 0 306 2 0 0 20 0 19 0 8263393 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643680979464 140643553382533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13737] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13737/stat : 13737 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643524978984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13738] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13738/stat : 13738 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643523926184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13739] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13739/stat : 13739 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643522873896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13734/tid=13740] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13740/stat : 13740 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643521821096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13741] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13741/stat : 13741 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643520768808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13742] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13742/stat : 13742 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643519716008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13743] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13743/stat : 13743 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643518663720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13744] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13744/stat : 13744 (java) S 13731 13734 13151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643517610920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13745] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13745/stat : 13745 (java) S 13731 13734 13151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8263395 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643505199336 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13746] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13746/stat : 13746 (java) S 13731 13734 13151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643504145400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13747] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13747/stat : 13747 (java) S 13731 13734 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643503093000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13748] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13748/stat : 13748 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643502041488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13749] ppid=13731 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/13734/task/13749/stat : 13749 (java) S 13731 13734 13151 0 -1 4202560 4715 0 0 0 43 0 0 0 20 0 19 0 8263398 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643500989112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13750] ppid=13731 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13734/task/13750/stat : 13750 (java) S 13731 13734 13151 0 -1 4202560 2068 0 0 0 40 0 0 0 20 0 19 0 8263398 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643499936312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13751] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13751/stat : 13751 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643498884216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13752] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13752/stat : 13752 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643497831624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13754] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13754/stat : 13754 (java) S 13731 13734 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8263423 9856040960 19563 33554432000 1073741824 1073778376 140736340624384 140643496776616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 0.67 0.29 0.17 3/213 13754
/proc/meminfo: memFree=30539424/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9625040 CPUtime=7.21 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 11268 0 1 0 717 4 0 0 20 0 19 0 8263393 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2406260 28170 2261 9 0 2396937 0
[pid=13734/tid=13735] ppid=13731 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2452 0 1 0 625 3 0 0 20 0 19 0 8263393 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643680972496 140643553300570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13737] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13737/stat : 13737 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643524978984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13738] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13738/stat : 13738 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643523926184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13739] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13739/stat : 13739 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643522873896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13734/tid=13740] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13740/stat : 13740 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643521821096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13741] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13741/stat : 13741 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643520768808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13742] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13742/stat : 13742 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643519716008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13743] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13743/stat : 13743 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643518663720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13744] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13744/stat : 13744 (java) S 13731 13734 13151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8263394 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643517610920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13745] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13745/stat : 13745 (java) S 13731 13734 13151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8263395 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643505199336 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13746] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13746/stat : 13746 (java) S 13731 13734 13151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643504145400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13747] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13747/stat : 13747 (java) S 13731 13734 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643503093000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13748] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13748/stat : 13748 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643502041488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13749] ppid=13731 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/13734/task/13749/stat : 13749 (java) S 13731 13734 13151 0 -1 4202560 5475 0 0 0 48 0 0 0 20 0 19 0 8263398 9856040960 28170 33554432000 1073741824 1073778376 140736340624384 140643500989112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13750] ppid=13731 vsize=9625040 CPUtime=0.42 cores=0,2,4,6

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

[pid=13734/tid=13746] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13746/stat : 13746 (java) S 13731 13734 13151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 246462 33554432000 1073741824 1073778376 140736340624384 140643504145400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13747] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13747/stat : 13747 (java) S 13731 13734 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 246462 33554432000 1073741824 1073778376 140736340624384 140643503093000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13748] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13748/stat : 13748 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 246462 33554432000 1073741824 1073778376 140736340624384 140643502041488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13749] ppid=13731 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/13734/task/13749/stat : 13749 (java) S 13731 13734 13151 0 -1 4202560 6219 0 0 0 56 0 0 0 20 0 19 0 8263398 9856040960 246462 33554432000 1073741824 1073778376 140736340624384 140643500989112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13750] ppid=13731 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13734/task/13750/stat : 13750 (java) S 13731 13734 13151 0 -1 4202560 2068 0 0 0 42 0 0 0 20 0 19 0 8263398 9856040960 246462 33554432000 1073741824 1073778376 140736340624384 140643499936312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13751] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13751/stat : 13751 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 246462 33554432000 1073741824 1073778376 140736340624384 140643498884216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13752] ppid=13731 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/13734/task/13752/stat : 13752 (java) S 13731 13734 13151 0 -1 4202560 94 0 0 0 24 28 0 0 20 0 19 0 8263398 9856040960 246462 33554432000 1073741824 1073778376 140736340624384 140643497831624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13754] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13754/stat : 13754 (java) S 13731 13734 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8263423 9856040960 246462 33554432000 1073741824 1073778376 140736340624384 140643496776616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1622.11
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.30 2.25 1.87 4/213 13795
/proc/meminfo: memFree=28846408/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9625040 CPUtime=1682.51 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 31476 0 1 0 167910 341 0 0 20 0 19 0 8263393 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2406260 212616 2283 9 0 2396937 0
[pid=13734/tid=13735] ppid=13731 vsize=9625040 CPUtime=1650.22 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2681 0 1 0 164991 31 0 0 20 0 19 0 8263393 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643680980304 140643553382970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13737] ppid=13731 vsize=9625040 CPUtime=3.45 cores=0,2,4,6
/proc/13734/task/13737/stat : 13737 (java) S 13731 13734 13151 0 -1 4202560 1888 0 0 0 301 44 0 0 20 0 19 0 8263394 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643524978984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13738] ppid=13731 vsize=9625040 CPUtime=3.23 cores=0,2,4,6
/proc/13734/task/13738/stat : 13738 (java) S 13731 13734 13151 0 -1 4202560 1676 0 0 0 286 37 0 0 20 0 19 0 8263394 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643523926184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13739] ppid=13731 vsize=9625040 CPUtime=3.19 cores=0,2,4,6
/proc/13734/task/13739/stat : 13739 (java) S 13731 13734 13151 0 -1 4202560 1819 0 0 0 283 36 0 0 20 0 19 0 8263394 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643522873896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13734/tid=13740] ppid=13731 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/13734/task/13740/stat : 13740 (java) S 13731 13734 13151 0 -1 4202560 2006 0 0 0 291 34 0 0 20 0 19 0 8263394 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643521821096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13741] ppid=13731 vsize=9625040 CPUtime=3.42 cores=0,2,4,6
/proc/13734/task/13741/stat : 13741 (java) S 13731 13734 13151 0 -1 4202560 2135 0 0 0 297 45 0 0 20 0 19 0 8263394 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643520768808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13742] ppid=13731 vsize=9625040 CPUtime=3.32 cores=0,2,4,6
/proc/13734/task/13742/stat : 13742 (java) S 13731 13734 13151 0 -1 4202560 2771 0 0 0 294 38 0 0 20 0 19 0 8263394 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643519716008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13743] ppid=13731 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/13734/task/13743/stat : 13743 (java) S 13731 13734 13151 0 -1 4202560 1625 0 0 0 290 37 0 0 20 0 19 0 8263394 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643518663720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13744] ppid=13731 vsize=9625040 CPUtime=3.17 cores=0,2,4,6
/proc/13734/task/13744/stat : 13744 (java) S 13731 13734 13151 0 -1 4202560 1892 0 0 0 281 36 0 0 20 0 19 0 8263394 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643517610920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13745] ppid=13731 vsize=9625040 CPUtime=4.73 cores=0,2,4,6
/proc/13734/task/13745/stat : 13745 (java) S 13731 13734 13151 0 -1 4202560 3342 0 0 0 466 7 0 0 20 0 19 0 8263395 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643505199336 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13746] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13746/stat : 13746 (java) S 13731 13734 13151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643504145400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13747] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13747/stat : 13747 (java) S 13731 13734 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643503093000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13748] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13748/stat : 13748 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643502041488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13749] ppid=13731 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/13734/task/13749/stat : 13749 (java) S 13731 13734 13151 0 -1 4202560 6219 0 0 0 56 0 0 0 20 0 19 0 8263398 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643500989112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13750] ppid=13731 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13734/task/13750/stat : 13750 (java) S 13731 13734 13151 0 -1 4202560 2068 0 0 0 42 0 0 0 20 0 19 0 8263398 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643499936312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13751] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13751/stat : 13751 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643498884216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13752] ppid=13731 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/13734/task/13752/stat : 13752 (java) S 13731 13734 13151 0 -1 4202560 96 0 0 0 25 29 0 0 20 0 19 0 8263398 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643497831624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13754] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13754/stat : 13754 (java) S 13731 13734 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8263423 9856040960 212616 33554432000 1073741824 1073778376 140736340624384 140643496776616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1682.51
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.17 2.22 1.88 3/213 13796
/proc/meminfo: memFree=28974168/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9625040 CPUtime=1742.88 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 31498 0 1 0 173945 343 0 0 20 0 19 0 8263393 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2406260 185175 2283 9 0 2396937 0
[pid=13734/tid=13735] ppid=13731 vsize=9625040 CPUtime=1710.07 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2690 0 1 0 170976 31 0 0 20 0 19 0 8263393 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643680980304 140643553327182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13737] ppid=13731 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/13734/task/13737/stat : 13737 (java) S 13731 13734 13151 0 -1 4202560 1888 0 0 0 307 44 0 0 20 0 19 0 8263394 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643524978984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13738] ppid=13731 vsize=9625040 CPUtime=3.29 cores=0,2,4,6
/proc/13734/task/13738/stat : 13738 (java) S 13731 13734 13151 0 -1 4202560 1676 0 0 0 292 37 0 0 20 0 19 0 8263394 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643523926184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13739] ppid=13731 vsize=9625040 CPUtime=3.23 cores=0,2,4,6
/proc/13734/task/13739/stat : 13739 (java) S 13731 13734 13151 0 -1 4202560 1824 0 0 0 287 36 0 0 20 0 19 0 8263394 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643522873896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13740] ppid=13731 vsize=9625040 CPUtime=3.34 cores=0,2,4,6
/proc/13734/task/13740/stat : 13740 (java) S 13731 13734 13151 0 -1 4202560 2006 0 0 0 300 34 0 0 20 0 19 0 8263394 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643521821096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13741] ppid=13731 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/13734/task/13741/stat : 13741 (java) S 13731 13734 13151 0 -1 4202560 2135 0 0 0 303 45 0 0 20 0 19 0 8263394 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643520768808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13742] ppid=13731 vsize=9625040 CPUtime=3.39 cores=0,2,4,6
/proc/13734/task/13742/stat : 13742 (java) S 13731 13734 13151 0 -1 4202560 2771 0 0 0 301 38 0 0 20 0 19 0 8263394 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643519716008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13743] ppid=13731 vsize=9625040 CPUtime=3.33 cores=0,2,4,6
/proc/13734/task/13743/stat : 13743 (java) S 13731 13734 13151 0 -1 4202560 1625 0 0 0 296 37 0 0 20 0 19 0 8263394 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643518663720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13734/tid=13744] ppid=13731 vsize=9625040 CPUtime=3.23 cores=0,2,4,6
/proc/13734/task/13744/stat : 13744 (java) S 13731 13734 13151 0 -1 4202560 1892 0 0 0 287 36 0 0 20 0 19 0 8263394 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643517610920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13745] ppid=13731 vsize=9625040 CPUtime=4.73 cores=0,2,4,6
/proc/13734/task/13745/stat : 13745 (java) S 13731 13734 13151 0 -1 4202560 3346 0 0 0 466 7 0 0 20 0 19 0 8263395 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643505199336 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13746] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13746/stat : 13746 (java) S 13731 13734 13151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643504145400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13747] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13747/stat : 13747 (java) S 13731 13734 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643503093000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13748] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13748/stat : 13748 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643502041488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13749] ppid=13731 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/13734/task/13749/stat : 13749 (java) S 13731 13734 13151 0 -1 4202560 6219 0 0 0 56 0 0 0 20 0 19 0 8263398 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643500989112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13750] ppid=13731 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13734/task/13750/stat : 13750 (java) S 13731 13734 13151 0 -1 4202560 2068 0 0 0 42 0 0 0 20 0 19 0 8263398 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643499936312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13751] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13751/stat : 13751 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643498884216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13752] ppid=13731 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/13734/task/13752/stat : 13752 (java) S 13731 13734 13151 0 -1 4202560 100 0 0 0 26 30 0 0 20 0 19 0 8263398 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643497831624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13754] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13754/stat : 13754 (java) S 13731 13734 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8263423 9856040960 185175 33554432000 1073741824 1073778376 140736340624384 140643496776616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1742.88
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779 s]
/proc/loadavg: 2.23 2.22 1.90 3/190 13817
/proc/meminfo: memFree=30114484/32872528 swapFree=1243920/1391088
[pid=13734] ppid=13731 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/13734/stat : 13734 (java) S 13731 13734 13151 0 -1 4202496 31531 0 1 0 179656 345 0 0 20 0 19 0 8263393 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140736340615520 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13734/statm: 2406260 155814 2283 9 0 2396937 0
[pid=13734/tid=13735] ppid=13731 vsize=9625040 CPUtime=1766.3 cores=0,2,4,6
/proc/13734/task/13735/stat : 13735 (java) R 13731 13734 13151 0 -1 4202560 2699 0 1 0 176598 32 0 0 20 0 19 0 8263393 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643680980304 140643553383007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13737] ppid=13731 vsize=9625040 CPUtime=3.59 cores=0,2,4,6
/proc/13734/task/13737/stat : 13737 (java) S 13731 13734 13151 0 -1 4202560 1888 0 0 0 315 44 0 0 20 0 19 0 8263394 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643524978984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13738] ppid=13731 vsize=9625040 CPUtime=3.39 cores=0,2,4,6
/proc/13734/task/13738/stat : 13738 (java) S 13731 13734 13151 0 -1 4202560 1676 0 0 0 302 37 0 0 20 0 19 0 8263394 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643523926184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13739] ppid=13731 vsize=9625040 CPUtime=3.3 cores=0,2,4,6
/proc/13734/task/13739/stat : 13739 (java) S 13731 13734 13151 0 -1 4202560 1824 0 0 0 294 36 0 0 20 0 19 0 8263394 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643522873896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13734/tid=13740] ppid=13731 vsize=9625040 CPUtime=3.41 cores=0,2,4,6
/proc/13734/task/13740/stat : 13740 (java) S 13731 13734 13151 0 -1 4202560 2006 0 0 0 307 34 0 0 20 0 19 0 8263394 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643521821096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13734/tid=13741] ppid=13731 vsize=9625040 CPUtime=3.56 cores=0,2,4,6
/proc/13734/task/13741/stat : 13741 (java) S 13731 13734 13151 0 -1 4202560 2135 0 0 0 311 45 0 0 20 0 19 0 8263394 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643520768808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13742] ppid=13731 vsize=9625040 CPUtime=3.47 cores=0,2,4,6
/proc/13734/task/13742/stat : 13742 (java) S 13731 13734 13151 0 -1 4202560 2771 0 0 0 309 38 0 0 20 0 19 0 8263394 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643519716008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13743] ppid=13731 vsize=9625040 CPUtime=3.39 cores=0,2,4,6
/proc/13734/task/13743/stat : 13743 (java) S 13731 13734 13151 0 -1 4202560 1625 0 0 0 302 37 0 0 20 0 19 0 8263394 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643518663720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13744] ppid=13731 vsize=9625040 CPUtime=3.31 cores=0,2,4,6
/proc/13734/task/13744/stat : 13744 (java) S 13731 13734 13151 0 -1 4202560 1892 0 0 0 295 36 0 0 20 0 19 0 8263394 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643517610920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13745] ppid=13731 vsize=9625040 CPUtime=5.01 cores=0,2,4,6
/proc/13734/task/13745/stat : 13745 (java) S 13731 13734 13151 0 -1 4202560 3366 0 0 0 494 7 0 0 20 0 19 0 8263395 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643505199336 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13746] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13746/stat : 13746 (java) S 13731 13734 13151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643504145400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13747] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13747/stat : 13747 (java) S 13731 13734 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8263396 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643503093000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13748] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13748/stat : 13748 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643502041488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13749] ppid=13731 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/13734/task/13749/stat : 13749 (java) S 13731 13734 13151 0 -1 4202560 6219 0 0 0 56 0 0 0 20 0 19 0 8263398 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643500989112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13734/tid=13750] ppid=13731 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13734/task/13750/stat : 13750 (java) S 13731 13734 13151 0 -1 4202560 2068 0 0 0 42 0 0 0 20 0 19 0 8263398 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643499936312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13751] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13751/stat : 13751 (java) S 13731 13734 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8263398 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643498884216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13734/tid=13752] ppid=13731 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/13734/task/13752/stat : 13752 (java) S 13731 13734 13151 0 -1 4202560 104 0 0 0 27 31 0 0 20 0 19 0 8263398 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643497831624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13734/tid=13754] ppid=13731 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13734/task/13754/stat : 13754 (java) S 13731 13734 13151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8263423 9856040960 155814 33554432000 1073741824 1073778376 140736340624384 140643496776616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1779.07
CPU time (s): 1800.68
CPU user time (s): 1796.76
CPU system time (s): 3.9214
CPU usage (%): 101.215
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 3.9214
maximum resident set size= 1468944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31580
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44096
involuntary context switches= 36017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1113 second user time and 12.895 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-16 09:29:08
IDJOB=4090555
IDBENCH=78664
IDSOLVER=2551
FILE ID=node119/4090555-1466062148
RUNJOBID= node119-1466062131-13167
PBS_JOBID= 19904019
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=1844054997

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

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        30725848 kB
Buffers:            2716 kB
Cached:            38852 kB
SwapCached:          928 kB
Active:            35816 kB
Inactive:          20824 kB
Active(anon):      15480 kB
Inactive(anon):     1316 kB
Active(file):      20336 kB
Inactive(file):    19508 kB
Unevictable:     1391088 kB
Mlocked:         1243920 kB
SwapTotal:      67108856 kB
SwapFree:       67100076 kB
Dirty:              1756 kB
Writeback:             8 kB
AnonPages:       1399216 kB
Mapped:            12832 kB
Shmem:                 0 kB
Slab:             566664 kB
SReclaimable:       8976 kB
SUnreclaim:       557688 kB
KernelStack:        1408 kB
PageTables:         6108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2079032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node119 at 2016-06-16 09:58:47