Trace number 2660680

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB CuttingPlanes 2.2.0 2010-05-26SAT (TO)2147483514 1800.33 1784.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM77d03e06bcf76c9b07fd6535ab6acb65
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1275068416
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100526
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.23/0.21	c Pseudo Boolean Optimization
0.23/0.21	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.23/0.21	c --- Begin Solver configuration ---
0.23/0.21	c Stops conflict analysis at the first Unique Implication Point
0.23/0.21	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@16fd0b7
0.23/0.21	c Learn all clauses as in MiniSAT
0.23/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.23/0.21	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.23/0.21	c No reason simplification
0.23/0.21	c Armin Biere (Picosat) restarts strategy
0.23/0.21	c Glucose learned constraints deletion strategy
0.23/0.21	c timeout=2147483s
0.23/0.21	c DB Simplification allowed=false
0.23/0.21	c --- End Solver configuration ---
0.23/0.21	c solving HOME/instance-2660680-1276542141.opb
0.23/0.21	c reading problem ... 
2.34/1.77	c ... done. Wall clock time 1.562s.
2.34/1.77	c #vars     6651
2.34/1.77	c #constraints  721
2.34/1.77	c constraints type 
2.34/1.77	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
2.34/1.77	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
2.34/1.77	c org.sat4j.pb.constraints.pb.MaxWatchPb => 339
3.55/2.55	c SATISFIABLE
3.55/2.55	c OPTIMIZING...
3.55/2.55	c Got one! Elapsed wall clock time (in seconds):2.335
3.55/2.55	o 2147483647
4.74/3.34	c Got one! Elapsed wall clock time (in seconds):3.122
4.74/3.34	o 2147483646
5.47/3.95	c Got one! Elapsed wall clock time (in seconds):3.743
5.47/3.95	o 2147483645
6.46/4.71	c Got one! Elapsed wall clock time (in seconds):4.5
6.46/4.71	o 2147483644
7.11/5.34	c Got one! Elapsed wall clock time (in seconds):5.126
7.11/5.34	o 2147483643
7.87/6.04	c Got one! Elapsed wall clock time (in seconds):5.831
7.87/6.04	o 2147483642
8.47/6.66	c Got one! Elapsed wall clock time (in seconds):6.45
8.47/6.66	o 2147483641
9.55/7.50	c Got one! Elapsed wall clock time (in seconds):7.294
9.55/7.50	o 2147483640
10.33/8.21	c Got one! Elapsed wall clock time (in seconds):7.997
10.33/8.21	o 2147483639
10.88/8.78	c Got one! Elapsed wall clock time (in seconds):8.568
10.88/8.78	o 2147483638
11.60/9.46	c Got one! Elapsed wall clock time (in seconds):9.246
11.60/9.46	o 2147483637
12.46/10.21	c Got one! Elapsed wall clock time (in seconds):9.996
12.46/10.21	o 2147483636
13.21/10.92	c Got one! Elapsed wall clock time (in seconds):10.705
13.21/10.92	o 2147483635
13.85/11.57	c Got one! Elapsed wall clock time (in seconds):11.357
13.85/11.57	o 2147483634
14.59/12.26	c Got one! Elapsed wall clock time (in seconds):12.045
14.59/12.26	o 2147483633
15.29/12.91	c Got one! Elapsed wall clock time (in seconds):12.697
15.29/12.91	o 2147483632
15.96/13.59	c Got one! Elapsed wall clock time (in seconds):13.377
15.96/13.59	o 2147483631
16.66/14.30	c Got one! Elapsed wall clock time (in seconds):14.087
16.66/14.30	o 2147483630
17.36/14.97	c Got one! Elapsed wall clock time (in seconds):14.756
17.36/14.97	o 2147483629
22.91/20.47	c Got one! Elapsed wall clock time (in seconds):20.261
22.91/20.47	o 2147483628
23.61/21.16	c Got one! Elapsed wall clock time (in seconds):20.945
23.61/21.16	o 2147483627
32.55/29.93	c Got one! Elapsed wall clock time (in seconds):29.716
32.55/29.93	o 2147483626
57.67/55.08	c Got one! Elapsed wall clock time (in seconds):54.866
57.67/55.08	o 2147483625
66.57/63.98	c Got one! Elapsed wall clock time (in seconds):63.765
66.57/63.98	o 2147483624
67.27/64.63	c Got one! Elapsed wall clock time (in seconds):64.423
67.27/64.63	o 2147483623
67.97/65.32	c Got one! Elapsed wall clock time (in seconds):65.109
67.97/65.32	o 2147483622
68.65/66.00	c Got one! Elapsed wall clock time (in seconds):65.786
68.65/66.00	o 2147483621
69.35/66.67	c Got one! Elapsed wall clock time (in seconds):66.455
69.35/66.67	o 2147483620
70.05/67.31	c Got one! Elapsed wall clock time (in seconds):67.101
70.05/67.31	o 2147483619
70.75/68.01	c Got one! Elapsed wall clock time (in seconds):67.802
70.75/68.01	o 2147483618
71.46/68.79	c Got one! Elapsed wall clock time (in seconds):68.584
71.46/68.79	o 2147483617
72.16/69.48	c Got one! Elapsed wall clock time (in seconds):69.27
72.16/69.48	o 2147483616
72.98/70.22	c Got one! Elapsed wall clock time (in seconds):70.01
72.98/70.22	o 2147483615
73.67/70.94	c Got one! Elapsed wall clock time (in seconds):70.729
73.67/70.94	o 2147483614
74.39/71.65	c Got one! Elapsed wall clock time (in seconds):71.437
74.39/71.65	o 2147483613
75.10/72.37	c Got one! Elapsed wall clock time (in seconds):72.161
75.10/72.37	o 2147483612
75.80/73.08	c Got one! Elapsed wall clock time (in seconds):72.871
75.80/73.08	o 2147483611
76.52/73.78	c Got one! Elapsed wall clock time (in seconds):73.571
76.52/73.78	o 2147483610
77.31/74.52	c Got one! Elapsed wall clock time (in seconds):74.314
77.31/74.52	o 2147483609
78.03/75.24	c Got one! Elapsed wall clock time (in seconds):75.032
78.03/75.24	o 2147483608
78.74/75.96	c Got one! Elapsed wall clock time (in seconds):75.748
78.74/75.96	o 2147483607
79.54/76.72	c Got one! Elapsed wall clock time (in seconds):76.508
79.54/76.72	o 2147483606
80.24/77.46	c Got one! Elapsed wall clock time (in seconds):77.251
80.24/77.46	o 2147483605
81.04/78.24	c Got one! Elapsed wall clock time (in seconds):78.026
81.04/78.24	o 2147483604
81.84/78.92	c Got one! Elapsed wall clock time (in seconds):78.712
81.84/78.92	o 2147483603
82.55/79.67	c Got one! Elapsed wall clock time (in seconds):79.46
82.55/79.67	o 2147483602
83.26/80.38	c Got one! Elapsed wall clock time (in seconds):80.168
83.26/80.38	o 2147483601
84.05/81.11	c Got one! Elapsed wall clock time (in seconds):80.896
84.05/81.11	o 2147483600
89.48/86.55	c Got one! Elapsed wall clock time (in seconds):86.335
89.48/86.55	o 2147483599
90.28/87.32	c Got one! Elapsed wall clock time (in seconds):87.107
90.28/87.32	o 2147483598
90.99/88.03	c Got one! Elapsed wall clock time (in seconds):87.821
90.99/88.03	o 2147483597
91.68/88.77	c Got one! Elapsed wall clock time (in seconds):88.563
91.68/88.77	o 2147483596
97.20/94.24	c Got one! Elapsed wall clock time (in seconds):94.029
97.20/94.24	o 2147483595
102.72/99.78	c Got one! Elapsed wall clock time (in seconds):99.565
102.72/99.78	o 2147483594
103.52/100.54	c Got one! Elapsed wall clock time (in seconds):100.326
103.52/100.54	o 2147483593
104.33/101.31	c Got one! Elapsed wall clock time (in seconds):101.1
104.33/101.31	o 2147483592
105.03/102.08	c Got one! Elapsed wall clock time (in seconds):101.867
105.03/102.08	o 2147483591
105.83/102.85	c Got one! Elapsed wall clock time (in seconds):102.636
105.83/102.85	o 2147483590
106.63/103.66	c Got one! Elapsed wall clock time (in seconds):103.444
106.63/103.66	o 2147483589
107.33/104.37	c Got one! Elapsed wall clock time (in seconds):104.159
107.33/104.37	o 2147483588
108.25/105.21	c Got one! Elapsed wall clock time (in seconds):104.995
108.25/105.21	o 2147483587
113.67/110.66	c Got one! Elapsed wall clock time (in seconds):110.451
113.67/110.66	o 2147483586
114.47/111.44	c Got one! Elapsed wall clock time (in seconds):111.231
114.47/111.44	o 2147483585
115.28/112.24	c Got one! Elapsed wall clock time (in seconds):112.033
115.28/112.24	o 2147483584
116.08/113.07	c Got one! Elapsed wall clock time (in seconds):112.858
116.08/113.07	o 2147483583
116.89/113.86	c Got one! Elapsed wall clock time (in seconds):113.645
116.89/113.86	o 2147483582
117.79/114.72	c Got one! Elapsed wall clock time (in seconds):114.508
117.79/114.72	o 2147483581
118.82/115.77	c Got one! Elapsed wall clock time (in seconds):115.556
118.82/115.77	o 2147483580
119.84/116.70	c Got one! Elapsed wall clock time (in seconds):116.49
119.84/116.70	o 2147483579
120.54/117.45	c Got one! Elapsed wall clock time (in seconds):117.243
120.54/117.45	o 2147483578
126.47/123.35	c Got one! Elapsed wall clock time (in seconds):123.141
126.47/123.35	o 2147483577
137.50/134.38	c Got one! Elapsed wall clock time (in seconds):134.172
137.50/134.38	o 2147483576
148.53/145.36	c Got one! Elapsed wall clock time (in seconds):145.145
148.53/145.36	o 2147483575
159.56/156.32	c Got one! Elapsed wall clock time (in seconds):156.111
159.56/156.32	o 2147483574
170.59/167.30	c Got one! Elapsed wall clock time (in seconds):167.093
170.59/167.30	o 2147483573
181.51/178.28	c Got one! Elapsed wall clock time (in seconds):178.066
181.51/178.28	o 2147483572
192.54/189.23	c Got one! Elapsed wall clock time (in seconds):189.02
192.54/189.23	o 2147483571
203.61/200.21	c Got one! Elapsed wall clock time (in seconds):200.001
203.61/200.21	o 2147483570
214.55/211.18	c Got one! Elapsed wall clock time (in seconds):210.974
214.55/211.18	o 2147483569
225.57/222.19	c Got one! Elapsed wall clock time (in seconds):221.977
225.57/222.19	o 2147483568
236.58/233.17	c Got one! Elapsed wall clock time (in seconds):232.955
236.58/233.17	o 2147483567
247.90/244.21	c Got one! Elapsed wall clock time (in seconds):244.001
247.90/244.21	o 2147483566
269.06/265.34	c Got one! Elapsed wall clock time (in seconds):265.131
269.06/265.34	o 2147483565
392.02/387.91	c Got one! Elapsed wall clock time (in seconds):387.696
392.02/387.91	o 2147483564
392.96/388.81	c Got one! Elapsed wall clock time (in seconds):388.603
392.96/388.81	o 2147483563
393.87/389.71	c Got one! Elapsed wall clock time (in seconds):389.502
393.87/389.71	o 2147483562
394.77/390.66	c Got one! Elapsed wall clock time (in seconds):390.448
394.77/390.66	o 2147483561
425.88/421.68	c Got one! Elapsed wall clock time (in seconds):421.47
425.88/421.68	o 2147483560
426.88/422.66	c Got one! Elapsed wall clock time (in seconds):422.445
426.88/422.66	o 2147483559
427.89/423.65	c Got one! Elapsed wall clock time (in seconds):423.438
427.89/423.65	o 2147483558
438.84/434.59	c Got one! Elapsed wall clock time (in seconds):434.383
438.84/434.59	o 2147483557
449.88/445.55	c Got one! Elapsed wall clock time (in seconds):445.335
449.88/445.55	o 2147483556
455.90/451.54	c Got one! Elapsed wall clock time (in seconds):451.332
455.90/451.54	o 2147483555
456.91/452.55	c Got one! Elapsed wall clock time (in seconds):452.336
456.91/452.55	o 2147483554
467.86/463.44	c Got one! Elapsed wall clock time (in seconds):463.228
467.86/463.44	o 2147483553
468.76/464.35	c Got one! Elapsed wall clock time (in seconds):464.142
468.76/464.35	o 2147483552
479.72/475.25	c Got one! Elapsed wall clock time (in seconds):475.035
479.72/475.25	o 2147483551
480.73/476.28	c Got one! Elapsed wall clock time (in seconds):476.065
480.73/476.28	o 2147483550
516.17/511.55	c Got one! Elapsed wall clock time (in seconds):511.342
516.17/511.55	o 2147483549
527.01/522.32	c Got one! Elapsed wall clock time (in seconds):522.112
527.01/522.32	o 2147483548
528.01/523.36	c Got one! Elapsed wall clock time (in seconds):523.144
528.01/523.36	o 2147483547
529.02/524.34	c Got one! Elapsed wall clock time (in seconds):524.128
529.02/524.34	o 2147483546
539.78/535.06	c Got one! Elapsed wall clock time (in seconds):534.852
539.78/535.06	o 2147483545
550.64/545.85	c Got one! Elapsed wall clock time (in seconds):545.642
550.64/545.85	o 2147483544
551.74/546.96	c Got one! Elapsed wall clock time (in seconds):546.753
551.74/546.96	o 2147483543
552.85/548.00	c Got one! Elapsed wall clock time (in seconds):547.791
552.85/548.00	o 2147483542
553.84/549.02	c Got one! Elapsed wall clock time (in seconds):548.808
553.84/549.02	o 2147483541
554.87/550.02	c Got one! Elapsed wall clock time (in seconds):549.805
554.87/550.02	o 2147483540
555.87/551.01	c Got one! Elapsed wall clock time (in seconds):550.798
555.87/551.01	o 2147483539
556.77/551.99	c Got one! Elapsed wall clock time (in seconds):551.782
556.77/551.99	o 2147483538
557.67/552.84	c Got one! Elapsed wall clock time (in seconds):552.625
557.67/552.84	o 2147483537
564.12/559.29	c Got one! Elapsed wall clock time (in seconds):559.08
564.12/559.29	o 2147483536
565.21/560.33	c Got one! Elapsed wall clock time (in seconds):560.118
565.21/560.33	o 2147483535
566.22/561.36	c Got one! Elapsed wall clock time (in seconds):561.151
566.22/561.36	o 2147483534
578.34/573.38	c Got one! Elapsed wall clock time (in seconds):573.173
578.34/573.38	o 2147483533
579.45/574.45	c Got one! Elapsed wall clock time (in seconds):574.239
579.45/574.45	o 2147483532
586.08/581.02	c Got one! Elapsed wall clock time (in seconds):580.805
586.08/581.02	o 2147483531
587.08/582.05	c Got one! Elapsed wall clock time (in seconds):581.842
587.08/582.05	o 2147483530
593.73/588.64	c Got one! Elapsed wall clock time (in seconds):588.432
593.73/588.64	o 2147483529
594.83/589.70	c Got one! Elapsed wall clock time (in seconds):589.487
594.83/589.70	o 2147483528
595.94/590.80	c Got one! Elapsed wall clock time (in seconds):590.589
595.94/590.80	o 2147483527
596.85/591.79	c Got one! Elapsed wall clock time (in seconds):591.584
596.85/591.79	o 2147483526
597.85/592.74	c Got one! Elapsed wall clock time (in seconds):592.528
597.85/592.74	o 2147483525
598.85/593.70	c Got one! Elapsed wall clock time (in seconds):593.491
598.85/593.70	o 2147483524
599.85/594.76	c Got one! Elapsed wall clock time (in seconds):594.55
599.85/594.76	o 2147483523
600.95/595.85	c Got one! Elapsed wall clock time (in seconds):595.637
600.95/595.85	o 2147483522
614.74/609.51	c Got one! Elapsed wall clock time (in seconds):609.3
614.74/609.51	o 2147483521
628.52/623.26	c Got one! Elapsed wall clock time (in seconds):623.051
628.52/623.26	o 2147483520
648.62/643.20	c Got one! Elapsed wall clock time (in seconds):642.993
648.62/643.20	o 2147483519
692.04/686.44	c Got one! Elapsed wall clock time (in seconds):686.227
692.04/686.44	o 2147483518
693.15/687.59	c Got one! Elapsed wall clock time (in seconds):687.383
693.15/687.59	o 2147483517
694.34/688.73	c Got one! Elapsed wall clock time (in seconds):688.518
694.34/688.73	o 2147483516
695.57/689.92	c Got one! Elapsed wall clock time (in seconds):689.71
695.57/689.92	o 2147483515
696.67/691.05	c Got one! Elapsed wall clock time (in seconds):690.836
696.67/691.05	o 2147483514
1800.07/1784.22	c starts		: 135
1800.07/1784.22	c conflicts		: 199
1800.07/1784.22	c decisions		: 841482
1800.07/1784.22	c propagations		: 1726335
1800.07/1784.22	c inspects		: 54378286
1800.07/1784.22	c learnt literals	: 0
1800.07/1784.22	c learnt binary clauses	: 0
1800.07/1784.22	c learnt ternary clauses	: 0
1800.07/1784.22	c learnt clauses	: 198
1800.07/1784.22	c ignored clauses	: 0
1800.07/1784.22	c root simplifications	: 0
1800.07/1784.22	c removed literals (reason simplification)	: 0
1800.07/1784.22	c reason swapping (by a shorter reason)	: 0
1800.07/1784.22	c Calls to reduceDB	: 0
1800.07/1784.22	c number of reductions to clauses (during analyze)	: 0
1800.07/1784.22	c number of learned constraints concerned by reduction	: 0
1800.07/1784.22	c number of learning phase by resolution	: 0
1800.07/1784.22	c number of learning phase by cutting planes	: 0
1800.07/1784.23	c speed (assignments/second)	: 1579.1878548709772
1800.07/1784.23	c non guided choices	4544
1800.07/1784.23	c learnt constraints type 
1800.07/1784.23	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.07/1784.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 197
1800.07/1784.23	c constraints type 
1800.07/1784.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
1800.07/1784.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
1800.07/1784.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 340
1800.07/1784.23	s SATISFIABLE
1800.07/1784.25	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 -x6623 x6624 x6625 x6626 x6627 -x6628 x6629 x6630 x6631 x6632 x6633 x6634 x6635 x6636 x6637 x6638 x6639 x6640 x6641 x6642 x6643 x6644 x6645 x6646 x6647 x6648 x6649 x6650 x6651 
1800.07/1784.28	c objective function=2147483514
1800.07/1784.28	c Total wall clock time (in seconds): 1784.069

Verifier Data 

OK	2147483514

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2660680-1276542141/watcher-2660680-1276542141 -o /tmp/evaluation-result-2660680-1276542141/solver-2660680-1276542141 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660680-1276542141.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.83 0.95 0.98 3/106 31639
/proc/meminfo: memFree=1866708/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1832 CPUtime=0
/proc/31639/stat : 31639 (java6) R 31637 31639 31584 0 -1 4194304 245 0 0 0 0 0 0 0 19 0 1 0 27870453 1875968 148 1992294400 134512640 134550932 4291749984 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 0
/proc/31639/statm: 458 148 111 10 0 63 0

[startup+0.0817659 s]
/proc/loadavg: 0.83 0.95 0.98 3/106 31639
/proc/meminfo: memFree=1866708/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1521796 CPUtime=0.06
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 3783 0 1 0 4 2 0 0 18 0 7 0 27870453 1558319104 3224 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 380449 3224 1040 10 0 377759 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1521796

[startup+0.10076 s]
/proc/loadavg: 0.83 0.95 0.98 3/106 31639
/proc/meminfo: memFree=1866708/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1524184 CPUtime=0.08
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 3957 0 1 0 6 2 0 0 18 0 12 0 27870453 1560764416 3396 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 381046 3396 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524184

[startup+0.300782 s]
/proc/loadavg: 0.83 0.95 0.98 3/106 31639
/proc/meminfo: memFree=1866708/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1526204 CPUtime=0.38
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 5432 0 1 0 35 3 0 0 18 0 12 0 27870453 1562832896 4867 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 381551 4868 1366 10 0 378853 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1526204

[startup+0.700821 s]
/proc/loadavg: 0.83 0.95 0.98 3/106 31639
/proc/meminfo: memFree=1866708/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1527984 CPUtime=1.12
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 8004 0 1 0 108 4 0 0 18 0 12 0 27870453 1564655616 7361 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 381996 7362 1405 10 0 379298 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 1527984

[startup+1.50189 s]
/proc/loadavg: 0.83 0.95 0.98 2/118 31651
/proc/meminfo: memFree=1818688/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1527828 CPUtime=2.14
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 25515 0 1 0 202 12 0 0 18 0 12 0 27870453 1564495872 24659 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 381957 24660 1407 10 0 379259 0
[pid=31639/tid=31641] ppid=31637 vsize=1527828 CPUtime=1.45
/proc/31639/task/31641/stat : 31641 (java) R 31637 31639 31584 0 -1 4202560 23163 0 1 0 135 10 0 0 25 0 12 0 27870455 1564495872 24661 1992294400 134512640 134550932 4286985088 18446744073709551615 4109752723 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31639/tid=31642] ppid=31637 vsize=1527828 CPUtime=0
/proc/31639/task/31642/stat : 31642 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 27870456 1564495872 24662 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31643] ppid=31637 vsize=1527828 CPUtime=0
/proc/31639/task/31643/stat : 31643 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 27870456 1564495872 24663 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31644] ppid=31637 vsize=1527828 CPUtime=0
/proc/31639/task/31644/stat : 31644 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 27870458 1564495872 24664 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31645] ppid=31637 vsize=1527828 CPUtime=0
/proc/31639/task/31645/stat : 31645 (java) S 31637 31639 31584 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 12 0 27870458 1564495872 24665 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31646] ppid=31637 vsize=1527828 CPUtime=0
/proc/31639/task/31646/stat : 31646 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 27870458 1564495872 24668 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31647] ppid=31637 vsize=1527828 CPUtime=0
/proc/31639/task/31647/stat : 31647 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 27870463 1564495872 24669 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31648] ppid=31637 vsize=1527828 CPUtime=0.33
/proc/31639/task/31648/stat : 31648 (java) S 31637 31639 31584 0 -1 4202560 544 0 0 0 33 0 0 0 18 0 12 0 27870463 1564495872 24669 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31649] ppid=31637 vsize=1527828 CPUtime=0.33
/proc/31639/task/31649/stat : 31649 (java) S 31637 31639 31584 0 -1 4202560 746 0 0 0 33 0 0 0 21 0 12 0 27870463 1564495872 24669 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=1527828 CPUtime=0
/proc/31639/task/31650/stat : 31650 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 27870463 1564495872 24669 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31651] ppid=31637 vsize=1527828 CPUtime=0
/proc/31639/task/31651/stat : 31651 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 27870463 1564495872 24669 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 1527828

[startup+3.10205 s]
/proc/loadavg: 0.83 0.95 0.98 2/119 31652
/proc/meminfo: memFree=1740188/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1530364 CPUtime=4.52
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 38544 0 1 0 435 17 0 0 18 0 13 0 27870453 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 382591 37206 1433 10 0 379893 0
[pid=31639/tid=31641] ppid=31637 vsize=1530364 CPUtime=2.96
/proc/31639/task/31641/stat : 31641 (java) R 31637 31639 31584 0 -1 4202560 32070 0 1 0 282 14 0 0 25 0 13 0 27870455 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31639/tid=31642] ppid=31637 vsize=1530364 CPUtime=0.05
/proc/31639/task/31642/stat : 31642 (java) S 31637 31639 31584 0 -1 4202560 1495 0 0 0 5 0 0 0 18 0 13 0 27870456 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31643] ppid=31637 vsize=1530364 CPUtime=0.04
/proc/31639/task/31643/stat : 31643 (java) S 31637 31639 31584 0 -1 4202560 1526 0 0 0 4 0 0 0 18 0 13 0 27870456 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31644] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31644/stat : 31644 (java) S 31637 31639 31584 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 13 0 27870458 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31645] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31645/stat : 31645 (java) S 31637 31639 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27870458 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31646] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31646/stat : 31646 (java) S 31637 31639 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27870458 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31647] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31647/stat : 31647 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31648] ppid=31637 vsize=1530364 CPUtime=0.58
/proc/31639/task/31648/stat : 31648 (java) R 31637 31639 31584 0 -1 4202560 687 0 0 0 58 0 0 0 16 0 13 0 27870463 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 103132361 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31639/tid=31649] ppid=31637 vsize=1530364 CPUtime=0.84
/proc/31639/task/31649/stat : 31649 (java) R 31637 31639 31584 0 -1 4202560 1692 0 0 0 84 0 0 0 16 0 13 0 27870463 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 106106768 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31650/stat : 31650 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31651] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31651/stat : 31651 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27870463 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31652] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31652/stat : 31652 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 27870634 1567092736 37206 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 1530364

[startup+6.30135 s]
/proc/loadavg: 0.85 0.95 0.98 2/119 31652
/proc/meminfo: memFree=1706336/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1530364 CPUtime=8.17
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 43171 0 1 0 797 20 0 0 18 0 13 0 27870453 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 382591 41574 1435 10 0 379893 0
[pid=31639/tid=31641] ppid=31637 vsize=1530364 CPUtime=5.91
/proc/31639/task/31641/stat : 31641 (java) R 31637 31639 31584 0 -1 4202560 32075 0 1 0 577 14 0 0 25 0 13 0 27870455 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4109925941 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31639/tid=31642] ppid=31637 vsize=1530364 CPUtime=0.17
/proc/31639/task/31642/stat : 31642 (java) S 31637 31639 31584 0 -1 4202560 3628 0 0 0 16 1 0 0 18 0 13 0 27870456 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31643] ppid=31637 vsize=1530364 CPUtime=0.17
/proc/31639/task/31643/stat : 31643 (java) S 31637 31639 31584 0 -1 4202560 3709 0 0 0 15 2 0 0 18 0 13 0 27870456 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31644] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31644/stat : 31644 (java) S 31637 31639 31584 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 13 0 27870458 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31645] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31645/stat : 31645 (java) S 31637 31639 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27870458 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31646] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31646/stat : 31646 (java) S 31637 31639 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27870458 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31647] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31647/stat : 31647 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31648] ppid=31637 vsize=1530364 CPUtime=0.74
/proc/31639/task/31648/stat : 31648 (java) S 31637 31639 31584 0 -1 4202560 700 0 0 0 74 0 0 0 15 0 13 0 27870463 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31649] ppid=31637 vsize=1530364 CPUtime=1.14
/proc/31639/task/31649/stat : 31649 (java) S 31637 31639 31584 0 -1 4202560 1973 0 0 0 113 1 0 0 15 0 13 0 27870463 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31650/stat : 31650 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31651] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31651/stat : 31651 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27870463 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31652] ppid=31637 vsize=1530364 CPUtime=0
/proc/31639/task/31652/stat : 31652 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 27870634 1567092736 41574 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 1530364

[startup+12.702 s]
/proc/loadavg: 1.02 0.99 0.99 2/119 31652
/proc/meminfo: memFree=1680668/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1533120 CPUtime=15.09
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 50796 0 1 0 1485 24 0 0 18 0 13 0 27870453 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 383280 48065 1435 10 0 380582 0
[pid=31639/tid=31641] ppid=31637 vsize=1533120 CPUtime=11.99
/proc/31639/task/31641/stat : 31641 (java) R 31637 31639 31584 0 -1 4202560 32083 0 1 0 1185 14 0 0 25 0 13 0 27870455 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4109902009 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31639/tid=31642] ppid=31637 vsize=1533120 CPUtime=0.36
/proc/31639/task/31642/stat : 31642 (java) S 31637 31639 31584 0 -1 4202560 6830 0 0 0 34 2 0 0 18 0 13 0 27870456 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31643] ppid=31637 vsize=1533120 CPUtime=0.36
/proc/31639/task/31643/stat : 31643 (java) S 31637 31639 31584 0 -1 4202560 7237 0 0 0 32 4 0 0 18 0 13 0 27870456 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31644] ppid=31637 vsize=1533120 CPUtime=0
/proc/31639/task/31644/stat : 31644 (java) S 31637 31639 31584 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 13 0 27870458 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31645] ppid=31637 vsize=1533120 CPUtime=0
/proc/31639/task/31645/stat : 31645 (java) S 31637 31639 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27870458 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31646] ppid=31637 vsize=1533120 CPUtime=0
/proc/31639/task/31646/stat : 31646 (java) S 31637 31639 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27870458 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31647] ppid=31637 vsize=1533120 CPUtime=0
/proc/31639/task/31647/stat : 31647 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31648] ppid=31637 vsize=1533120 CPUtime=1.05
/proc/31639/task/31648/stat : 31648 (java) S 31637 31639 31584 0 -1 4202560 1435 0 0 0 105 0 0 0 15 0 13 0 27870463 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31649] ppid=31637 vsize=1533120 CPUtime=1.28
/proc/31639/task/31649/stat : 31649 (java) S 31637 31639 31584 0 -1 4202560 2117 0 0 0 127 1 0 0 15 0 13 0 27870463 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=1533120 CPUtime=0
/proc/31639/task/31650/stat : 31650 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31651] ppid=31637 vsize=1533120 CPUtime=0
/proc/31639/task/31651/stat : 31651 (java) R 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27870463 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31639/tid=31652] ppid=31637 vsize=1533120 CPUtime=0
/proc/31639/task/31652/stat : 31652 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 27870634 1569914880 48065 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 1533120

[startup+25.5012 s]
/proc/loadavg: 1.01 0.99 0.99 2/119 31652
/proc/meminfo: memFree=1671492/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1531404 CPUtime=28.08
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 53274 0 1 0 2782 26 0 0 18 0 13 0 27870453 1568157696 49898 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 382851 49898 1435 10 0 380153 0
[pid=31639/tid=31641] ppid=31637 vsize=1531404 CPUtime=24.68
/proc/31639/task/31641/stat : 31641 (java) R 31637 31639 31584 0 -1 4202560 32113 0 1 0 2454 14 0 0 25 0 13 0 27870455 1568157696 49898 1992294400 134512640 134550932 4286985088 18446744073709551615 4109760981 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31639/tid=31642] ppid=31637 vsize=1531404 CPUtime=0.42
/proc/31639/task/31642/stat : 31642 (java) S 31637 31639 31584 0 -1 4202560 8008 0 0 0 39 3 0 0 16 0 13 0 27870456 1568157696 49898 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31643] ppid=31637 vsize=1531404 CPUtime=0.41
/proc/31639/task/31643/stat : 31643 (java) S 31637 31639 31584 0 -1 4202560 8499 0 0 0 36 5 0 0 15 0 13 0 27870456 1568157696 49898 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31644] ppid=31637 vsize=1531404 CPUtime=0
/proc/31639/task/31644/stat : 31644 (java) S 31637 31639 31584 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 13 0 27870458 1568157696 49898 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31645] ppid=31637 vsize=1531404 CPUtime=0

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

[pid=31639/tid=31645] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31645/stat : 31645 (java) S 31637 31639 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219577 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31646] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31646/stat : 31646 (java) S 31637 31639 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219577 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31647] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31647/stat : 31647 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219577 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31648] ppid=31637 vsize=1531584 CPUtime=1.55
/proc/31639/task/31648/stat : 31648 (java) S 31637 31639 31584 0 -1 4202560 2911 0 0 0 154 1 0 0 15 0 13 0 27870463 1568342016 219577 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31649] ppid=31637 vsize=1531584 CPUtime=1.66
/proc/31639/task/31649/stat : 31649 (java) S 31637 31639 31584 0 -1 4202560 2907 0 0 0 165 1 0 0 15 0 13 0 27870463 1568342016 219577 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31650/stat : 31650 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219577 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31651] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31651/stat : 31651 (java) S 31637 31639 31584 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 27870463 1568342016 219577 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31652] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31652/stat : 31652 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 27870634 1568342016 219577 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1615.92
Current children cumulated vsize (KiB) 1531584

[startup+1662.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/119 31696
/proc/meminfo: memFree=989120/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1531584 CPUtime=1676.65
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 306093 0 1 0 167466 199 0 0 18 0 13 0 27870453 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 382896 219683 1440 10 0 380198 0
[pid=31639/tid=31641] ppid=31637 vsize=1531584 CPUtime=1647.39
/proc/31639/task/31641/stat : 31641 (java) R 31637 31639 31584 0 -1 4202560 35351 0 1 0 164717 22 0 0 25 0 13 0 27870455 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4109893668 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31639/tid=31642] ppid=31637 vsize=1531584 CPUtime=12.69
/proc/31639/task/31642/stat : 31642 (java) S 31637 31639 31584 0 -1 4202560 133564 0 0 0 1198 71 0 0 15 0 13 0 27870456 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31643] ppid=31637 vsize=1531584 CPUtime=12.66
/proc/31639/task/31643/stat : 31643 (java) S 31637 31639 31584 0 -1 4202560 130061 0 0 0 1185 81 0 0 16 0 13 0 27870456 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31644] ppid=31637 vsize=1531584 CPUtime=0.61
/proc/31639/task/31644/stat : 31644 (java) S 31637 31639 31584 0 -1 4202560 134 0 0 0 42 19 0 0 15 0 13 0 27870458 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31645] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31645/stat : 31645 (java) S 31637 31639 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31646] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31646/stat : 31646 (java) S 31637 31639 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31647] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31647/stat : 31647 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31648] ppid=31637 vsize=1531584 CPUtime=1.57
/proc/31639/task/31648/stat : 31648 (java) S 31637 31639 31584 0 -1 4202560 2911 0 0 0 156 1 0 0 15 0 13 0 27870463 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31649] ppid=31637 vsize=1531584 CPUtime=1.66
/proc/31639/task/31649/stat : 31649 (java) S 31637 31639 31584 0 -1 4202560 2907 0 0 0 165 1 0 0 15 0 13 0 27870463 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31650/stat : 31650 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31651] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31651/stat : 31651 (java) S 31637 31639 31584 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 27870463 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31652] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31652/stat : 31652 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 27870634 1568342016 219683 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1676.65
Current children cumulated vsize (KiB) 1531584

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 1.00 3/119 31698
/proc/meminfo: memFree=988500/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1531584 CPUtime=1737.41
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 306360 0 1 0 173539 202 0 0 18 0 13 0 27870453 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 382896 219820 1440 10 0 380198 0
[pid=31639/tid=31641] ppid=31637 vsize=1531584 CPUtime=1706.48
/proc/31639/task/31641/stat : 31641 (java) R 31637 31639 31584 0 -1 4202560 35472 0 1 0 170625 23 0 0 25 0 13 0 27870455 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4109761291 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31639/tid=31642] ppid=31637 vsize=1531584 CPUtime=13.51
/proc/31639/task/31642/stat : 31642 (java) S 31637 31639 31584 0 -1 4202560 133620 0 0 0 1280 71 0 0 16 0 13 0 27870456 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31643] ppid=31637 vsize=1531584 CPUtime=13.49
/proc/31639/task/31643/stat : 31643 (java) S 31637 31639 31584 0 -1 4202560 130147 0 0 0 1267 82 0 0 15 0 13 0 27870456 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31644] ppid=31637 vsize=1531584 CPUtime=0.62
/proc/31639/task/31644/stat : 31644 (java) S 31637 31639 31584 0 -1 4202560 136 0 0 0 43 19 0 0 16 0 13 0 27870458 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31645] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31645/stat : 31645 (java) S 31637 31639 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31646] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31646/stat : 31646 (java) S 31637 31639 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31647] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31647/stat : 31647 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31648] ppid=31637 vsize=1531584 CPUtime=1.57
/proc/31639/task/31648/stat : 31648 (java) S 31637 31639 31584 0 -1 4202560 2911 0 0 0 156 1 0 0 15 0 13 0 27870463 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31649] ppid=31637 vsize=1531584 CPUtime=1.66
/proc/31639/task/31649/stat : 31649 (java) S 31637 31639 31584 0 -1 4202560 2907 0 0 0 165 1 0 0 15 0 13 0 27870463 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31650/stat : 31650 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31651] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31651/stat : 31651 (java) S 31637 31639 31584 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 13 0 27870463 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31652] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31652/stat : 31652 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 27870634 1568342016 219820 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1737.41
Current children cumulated vsize (KiB) 1531584

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/119 31700
/proc/meminfo: memFree=987756/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1531584 CPUtime=1798.14
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 306639 0 1 0 179609 205 0 0 18 0 13 0 27870453 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 382896 219960 1440 10 0 380198 0
[pid=31639/tid=31641] ppid=31637 vsize=1531584 CPUtime=1765.54
/proc/31639/task/31641/stat : 31641 (java) R 31637 31639 31584 0 -1 4202560 35593 0 1 0 176531 23 0 0 25 0 13 0 27870455 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4110206178 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31639/tid=31642] ppid=31637 vsize=1531584 CPUtime=14.32
/proc/31639/task/31642/stat : 31642 (java) S 31637 31639 31584 0 -1 4202560 133688 0 0 0 1360 72 0 0 15 0 13 0 27870456 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31643] ppid=31637 vsize=1531584 CPUtime=14.31
/proc/31639/task/31643/stat : 31643 (java) S 31637 31639 31584 0 -1 4202560 130229 0 0 0 1348 83 0 0 16 0 13 0 27870456 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31644] ppid=31637 vsize=1531584 CPUtime=0.66
/proc/31639/task/31644/stat : 31644 (java) S 31637 31639 31584 0 -1 4202560 140 0 0 0 45 21 0 0 15 0 13 0 27870458 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31645] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31645/stat : 31645 (java) S 31637 31639 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31646] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31646/stat : 31646 (java) S 31637 31639 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31647] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31647/stat : 31647 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31648] ppid=31637 vsize=1531584 CPUtime=1.57
/proc/31639/task/31648/stat : 31648 (java) S 31637 31639 31584 0 -1 4202560 2911 0 0 0 156 1 0 0 15 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31649] ppid=31637 vsize=1531584 CPUtime=1.66
/proc/31639/task/31649/stat : 31649 (java) S 31637 31639 31584 0 -1 4202560 2907 0 0 0 165 1 0 0 15 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31650/stat : 31650 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31651] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31651/stat : 31651 (java) S 31637 31639 31584 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31652] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31652/stat : 31652 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 27870634 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (KiB) 1531584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.21 s]
/proc/loadavg: 1.00 1.01 1.00 2/119 31700
/proc/meminfo: memFree=987756/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=1531584 CPUtime=1800.07
/proc/31639/stat : 31639 (java) S 31637 31639 31584 0 -1 4202496 306642 0 1 0 179802 205 0 0 18 0 13 0 27870453 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 382896 219960 1440 10 0 380198 0
[pid=31639/tid=31641] ppid=31637 vsize=1531584 CPUtime=1767.44
/proc/31639/task/31641/stat : 31641 (java) R 31637 31639 31584 0 -1 4202560 35596 0 1 0 176721 23 0 0 25 0 13 0 27870455 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4110205902 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31639/tid=31642] ppid=31637 vsize=1531584 CPUtime=14.34
/proc/31639/task/31642/stat : 31642 (java) S 31637 31639 31584 0 -1 4202560 133688 0 0 0 1362 72 0 0 15 0 13 0 27870456 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31643] ppid=31637 vsize=1531584 CPUtime=14.33
/proc/31639/task/31643/stat : 31643 (java) S 31637 31639 31584 0 -1 4202560 130229 0 0 0 1350 83 0 0 16 0 13 0 27870456 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31644] ppid=31637 vsize=1531584 CPUtime=0.66
/proc/31639/task/31644/stat : 31644 (java) S 31637 31639 31584 0 -1 4202560 140 0 0 0 45 21 0 0 15 0 13 0 27870458 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31645] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31645/stat : 31645 (java) S 31637 31639 31584 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31646] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31646/stat : 31646 (java) S 31637 31639 31584 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27870458 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31647] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31647/stat : 31647 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31648] ppid=31637 vsize=1531584 CPUtime=1.57
/proc/31639/task/31648/stat : 31648 (java) S 31637 31639 31584 0 -1 4202560 2911 0 0 0 156 1 0 0 15 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31649] ppid=31637 vsize=1531584 CPUtime=1.66
/proc/31639/task/31649/stat : 31649 (java) S 31637 31639 31584 0 -1 4202560 2907 0 0 0 165 1 0 0 15 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31650/stat : 31650 (java) S 31637 31639 31584 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 0 0 0 0
[pid=31639/tid=31651] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31651/stat : 31651 (java) S 31637 31639 31584 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 13 0 27870463 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
[pid=31639/tid=31652] ppid=31637 vsize=1531584 CPUtime=0
/proc/31639/task/31652/stat : 31652 (java) S 31637 31639 31584 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 27870634 1568342016 219960 1992294400 134512640 134550932 4286985088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831918528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1531584

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

Solver just ended. Dumping a history of the last processes samples

[startup+1784.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/119 31700
/proc/meminfo: memFree=987756/2059040 swapFree=4140228/4192956
[pid=31639] ppid=31637 vsize=0 CPUtime=1800.32
/proc/31639/stat : 31639 (java) Z 31637 31639 31584 0 -1 4203548 306664 0 1 0 179819 213 0 0 16 0 2 0 27870453 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31639/statm: 0 0 0 0 0 0 0
[pid=31639/tid=31650] ppid=31637 vsize=0 CPUtime=0.07
/proc/31639/task/31650/stat : 31650 (java) R 31637 31639 31584 0 -1 4203588 1 0 0 0 0 7 0 0 18 0 2 0 27870463 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1784.41
CPU time (s): 1800.33
CPU user time (s): 1798.19
CPU system time (s): 2.13967
CPU usage (%): 100.892
Max. virtual memory (cumulated for all children) (KiB): 1536020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.19
system time used= 2.13967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306664
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61926
involuntary context switches= 36098

runsolver used 3.62445 second user time and 9.52155 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-14 21:02:21
IDJOB=2660680
IDBENCH=2371
IDSOLVER=1165
FILE ID=node018/2660680-1276542141
PBS_JOBID= 11173477
Free space on /tmp= 62368 MiB

SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2660680-1276542141/watcher-2660680-1276542141 -o /tmp/evaluation-result-2660680-1276542141/solver-2660680-1276542141 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660680-1276542141.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 77d03e06bcf76c9b07fd6535ab6acb65
RANDOM SEED=1727585068

node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1867104 kB
Buffers:         18744 kB
Cached:          86460 kB
SwapCached:       5836 kB
Active:          72484 kB
Inactive:        45024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1867104 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:            2208 kB
Writeback:           0 kB
AnonPages:       10952 kB
Mapped:          12988 kB
Slab:            52420 kB
PageTables:       3884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181236 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62364 MiB
End job on node018 at 2010-06-14 21:32:07