0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2008 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.1.1.v20090612
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.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1342000320
0.08/0.15	c Max memory 1344274432
0.08/0.15	c Total memory 1344274432
0.08/0.15	c Number of processors 2
0.22/0.21	c Pseudo Boolean Optimization
0.22/0.21	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.22/0.21	c --- Begin Solver configuration ---
0.22/0.21	c Stops conflict analysis at the first Unique Implication Point
0.22/0.21	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ecd7e
0.22/0.21	c Learn all clauses as in MiniSAT
0.22/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.21	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.22/0.21	c No reason simplification
0.22/0.21	c MiniSAT restarts strategy
0.22/0.21	c Memory based learned constraints deletion strategy
0.22/0.21	c timeout=2147483s
0.22/0.21	c DB Simplification allowed=false
0.22/0.21	c --- End Solver configuration ---
0.22/0.21	c solving HOME/instance-1856150-1244904251.opb
0.22/0.21	c reading problem ... 
2.16/1.79	c ... done. Wall clock time 1.58s.
2.16/1.79	c #vars     6651
2.16/1.79	c #constraints  721
2.16/1.79	c constraints type 
2.16/1.79	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
2.16/1.79	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
2.16/1.79	c org.sat4j.pb.constraints.pb.MaxWatchPb => 339
3.28/2.55	c SATISFIABLE
3.28/2.55	c OPTIMIZING...
3.28/2.55	c Got one! Elapsed wall clock time (in seconds):2.336
3.28/2.55	o 2147483647
4.43/3.45	c Got one! Elapsed wall clock time (in seconds):3.238
4.43/3.45	o 2147483646
5.17/4.09	c Got one! Elapsed wall clock time (in seconds):3.872
5.17/4.09	o 2147483645
6.30/4.91	c Got one! Elapsed wall clock time (in seconds):4.692
6.30/4.91	o 2147483644
6.90/5.54	c Got one! Elapsed wall clock time (in seconds):5.331
6.90/5.54	o 2147483643
7.64/6.26	c Got one! Elapsed wall clock time (in seconds):6.049
7.64/6.26	o 2147483642
8.34/6.90	c Got one! Elapsed wall clock time (in seconds):6.685
8.34/6.90	o 2147483641
9.31/7.76	c Got one! Elapsed wall clock time (in seconds):7.545
9.31/7.76	o 2147483640
10.19/8.55	c Got one! Elapsed wall clock time (in seconds):8.337
10.19/8.55	o 2147483639
10.83/9.14	c Got one! Elapsed wall clock time (in seconds):8.923
10.83/9.14	o 2147483638
11.62/9.90	c Got one! Elapsed wall clock time (in seconds):9.683
11.62/9.90	o 2147483637
12.42/10.61	c Got one! Elapsed wall clock time (in seconds):10.394
12.42/10.61	o 2147483636
13.28/11.43	c Got one! Elapsed wall clock time (in seconds):11.219
13.28/11.43	o 2147483635
13.90/12.09	c Got one! Elapsed wall clock time (in seconds):11.875
13.90/12.09	o 2147483634
14.63/12.78	c Got one! Elapsed wall clock time (in seconds):12.566
14.63/12.78	o 2147483633
15.34/13.46	c Got one! Elapsed wall clock time (in seconds):13.246
15.34/13.46	o 2147483632
16.10/14.13	c Got one! Elapsed wall clock time (in seconds):13.912
16.10/14.13	o 2147483631
16.80/14.88	c Got one! Elapsed wall clock time (in seconds):14.663
16.80/14.88	o 2147483630
17.50/15.57	c Got one! Elapsed wall clock time (in seconds):15.352
17.50/15.57	o 2147483629
23.15/21.18	c Got one! Elapsed wall clock time (in seconds):20.966
23.15/21.18	o 2147483628
23.85/21.89	c Got one! Elapsed wall clock time (in seconds):21.678
23.85/21.89	o 2147483627
33.30/31.11	c Got one! Elapsed wall clock time (in seconds):30.893
33.30/31.11	o 2147483626
60.03/57.82	c Got one! Elapsed wall clock time (in seconds):57.609
60.03/57.82	o 2147483625
69.43/67.24	c Got one! Elapsed wall clock time (in seconds):67.027
69.43/67.24	o 2147483624
70.14/67.93	c Got one! Elapsed wall clock time (in seconds):67.718
70.14/67.93	o 2147483623
70.84/68.64	c Got one! Elapsed wall clock time (in seconds):68.426
70.84/68.64	o 2147483622
71.61/69.35	c Got one! Elapsed wall clock time (in seconds):69.141
71.61/69.35	o 2147483621
72.30/70.04	c Got one! Elapsed wall clock time (in seconds):69.831
72.30/70.04	o 2147483620
73.00/70.70	c Got one! Elapsed wall clock time (in seconds):70.49
73.00/70.70	o 2147483619
73.72/71.44	c Got one! Elapsed wall clock time (in seconds):71.224
73.72/71.44	o 2147483618
74.51/72.23	c Got one! Elapsed wall clock time (in seconds):72.02
74.51/72.23	o 2147483617
75.23/72.96	c Got one! Elapsed wall clock time (in seconds):72.745
75.23/72.96	o 2147483616
76.03/73.71	c Got one! Elapsed wall clock time (in seconds):73.494
76.03/73.71	o 2147483615
76.74/74.46	c Got one! Elapsed wall clock time (in seconds):74.246
76.74/74.46	o 2147483614
77.56/75.20	c Got one! Elapsed wall clock time (in seconds):74.986
77.56/75.20	o 2147483613
78.28/75.95	c Got one! Elapsed wall clock time (in seconds):75.738
78.28/75.95	o 2147483612
78.97/76.69	c Got one! Elapsed wall clock time (in seconds):76.475
78.97/76.69	o 2147483611
79.78/77.42	c Got one! Elapsed wall clock time (in seconds):77.202
79.78/77.42	o 2147483610
80.48/78.18	c Got one! Elapsed wall clock time (in seconds):77.97
80.48/78.18	o 2147483609
81.31/78.93	c Got one! Elapsed wall clock time (in seconds):78.716
81.31/78.93	o 2147483608
82.01/79.67	c Got one! Elapsed wall clock time (in seconds):79.46
82.01/79.67	o 2147483607
82.82/80.46	c Got one! Elapsed wall clock time (in seconds):80.247
82.82/80.46	o 2147483606
83.62/81.23	c Got one! Elapsed wall clock time (in seconds):81.018
83.62/81.23	o 2147483605
84.43/82.04	c Got one! Elapsed wall clock time (in seconds):81.823
84.43/82.04	o 2147483604
85.22/82.77	c Got one! Elapsed wall clock time (in seconds):82.557
85.22/82.77	o 2147483603
86.03/83.55	c Got one! Elapsed wall clock time (in seconds):83.339
86.03/83.55	o 2147483602
86.73/84.29	c Got one! Elapsed wall clock time (in seconds):84.076
86.73/84.29	o 2147483601
87.54/85.07	c Got one! Elapsed wall clock time (in seconds):84.856
87.54/85.07	o 2147483600
93.26/90.70	c Got one! Elapsed wall clock time (in seconds):90.491
93.26/90.70	o 2147483599
93.96/91.48	c Got one! Elapsed wall clock time (in seconds):91.27
93.96/91.48	o 2147483598
94.76/92.23	c Got one! Elapsed wall clock time (in seconds):92.014
94.76/92.23	o 2147483597
95.46/92.97	c Got one! Elapsed wall clock time (in seconds):92.762
95.46/92.97	o 2147483596
100.97/98.43	c Got one! Elapsed wall clock time (in seconds):98.221
100.97/98.43	o 2147483595
106.40/103.81	c Got one! Elapsed wall clock time (in seconds):103.593
106.40/103.81	o 2147483594
107.10/104.55	c Got one! Elapsed wall clock time (in seconds):104.337
107.10/104.55	o 2147483593
107.90/105.30	c Got one! Elapsed wall clock time (in seconds):105.089
107.90/105.30	o 2147483592
108.60/106.06	c Got one! Elapsed wall clock time (in seconds):105.845
108.60/106.06	o 2147483591
109.41/106.82	c Got one! Elapsed wall clock time (in seconds):106.61
109.41/106.82	o 2147483590
110.21/107.64	c Got one! Elapsed wall clock time (in seconds):107.424
110.21/107.64	o 2147483589
110.92/108.36	c Got one! Elapsed wall clock time (in seconds):108.147
110.92/108.36	o 2147483588
111.73/109.18	c Got one! Elapsed wall clock time (in seconds):108.968
111.73/109.18	o 2147483587
117.15/114.54	c Got one! Elapsed wall clock time (in seconds):114.329
117.15/114.54	o 2147483586
117.96/115.31	c Got one! Elapsed wall clock time (in seconds):115.097
117.96/115.31	o 2147483585
118.66/116.09	c Got one! Elapsed wall clock time (in seconds):115.879
118.66/116.09	o 2147483584
119.47/116.89	c Got one! Elapsed wall clock time (in seconds):116.681
119.47/116.89	o 2147483583
120.28/117.66	c Got one! Elapsed wall clock time (in seconds):117.452
120.28/117.67	o 2147483582
121.20/118.56	c Got one! Elapsed wall clock time (in seconds):118.344
121.20/118.56	o 2147483581
122.20/119.59	c Got one! Elapsed wall clock time (in seconds):119.378
122.20/119.59	o 2147483580
123.11/120.50	c Got one! Elapsed wall clock time (in seconds):120.283
123.11/120.50	o 2147483579
123.91/121.23	c Got one! Elapsed wall clock time (in seconds):121.018
123.91/121.23	o 2147483578
129.65/126.96	c Got one! Elapsed wall clock time (in seconds):126.745
129.65/126.96	o 2147483577
140.48/137.70	c Got one! Elapsed wall clock time (in seconds):137.486
140.48/137.70	o 2147483576
151.12/148.39	c Got one! Elapsed wall clock time (in seconds):148.172
151.12/148.39	o 2147483575
161.95/159.16	c Got one! Elapsed wall clock time (in seconds):158.945
161.95/159.16	o 2147483574
172.67/169.82	c Got one! Elapsed wall clock time (in seconds):169.602
172.67/169.82	o 2147483573
183.40/180.52	c Got one! Elapsed wall clock time (in seconds):180.306
183.40/180.52	o 2147483572
194.02/191.18	c Got one! Elapsed wall clock time (in seconds):190.967
194.02/191.18	o 2147483571
204.76/201.87	c Got one! Elapsed wall clock time (in seconds):201.662
204.76/201.87	o 2147483570
215.63/212.65	c Got one! Elapsed wall clock time (in seconds):212.44
215.63/212.65	o 2147483569
226.37/223.33	c Got one! Elapsed wall clock time (in seconds):223.114
226.37/223.33	o 2147483568
237.09/234.09	c Got one! Elapsed wall clock time (in seconds):233.875
237.09/234.09	o 2147483567
248.13/244.85	c Got one! Elapsed wall clock time (in seconds):244.637
248.13/244.85	o 2147483566
268.88/265.55	c Got one! Elapsed wall clock time (in seconds):265.338
268.88/265.55	o 2147483565
391.43/387.61	c Got one! Elapsed wall clock time (in seconds):387.401
391.43/387.61	o 2147483564
392.37/388.50	c Got one! Elapsed wall clock time (in seconds):388.286
392.37/388.50	o 2147483563
393.18/389.38	c Got one! Elapsed wall clock time (in seconds):389.171
393.18/389.38	o 2147483562
394.18/390.31	c Got one! Elapsed wall clock time (in seconds):390.098
394.18/390.31	o 2147483561
424.32/420.30	c Got one! Elapsed wall clock time (in seconds):420.09
424.32/420.30	o 2147483560
425.22/421.25	c Got one! Elapsed wall clock time (in seconds):421.034
425.22/421.25	o 2147483559
426.23/422.24	c Got one! Elapsed wall clock time (in seconds):422.024
426.23/422.24	o 2147483558
437.16/433.15	c Got one! Elapsed wall clock time (in seconds):432.94
437.16/433.15	o 2147483557
448.51/444.49	c Got one! Elapsed wall clock time (in seconds):444.274
448.51/444.49	o 2147483556
454.74/450.61	c Got one! Elapsed wall clock time (in seconds):450.398
454.74/450.61	o 2147483555
455.75/451.63	c Got one! Elapsed wall clock time (in seconds):451.419
455.75/451.63	o 2147483554
467.12/462.94	c Got one! Elapsed wall clock time (in seconds):462.731
467.12/462.94	o 2147483553
468.02/463.89	c Got one! Elapsed wall clock time (in seconds):463.673
468.02/463.89	o 2147483552
479.38/475.14	c Got one! Elapsed wall clock time (in seconds):474.922
479.38/475.14	o 2147483551
480.39/476.19	c Got one! Elapsed wall clock time (in seconds):475.98
480.39/476.19	o 2147483550
515.07/510.62	c Got one! Elapsed wall clock time (in seconds):510.408
515.07/510.62	o 2147483549
525.72/521.20	c Got one! Elapsed wall clock time (in seconds):520.986
525.72/521.20	o 2147483548
526.72/522.20	c Got one! Elapsed wall clock time (in seconds):521.986
526.72/522.20	o 2147483547
527.63/523.16	c Got one! Elapsed wall clock time (in seconds):522.942
527.63/523.16	o 2147483546
538.20/533.67	c Got one! Elapsed wall clock time (in seconds):533.458
538.20/533.67	o 2147483545
549.56/544.92	c Got one! Elapsed wall clock time (in seconds):544.707
549.56/544.92	o 2147483544
550.67/546.06	c Got one! Elapsed wall clock time (in seconds):545.851
550.67/546.06	o 2147483543
551.78/547.13	c Got one! Elapsed wall clock time (in seconds):546.916
551.78/547.13	o 2147483542
552.78/548.16	c Got one! Elapsed wall clock time (in seconds):547.95
552.78/548.16	o 2147483541
553.79/549.18	c Got one! Elapsed wall clock time (in seconds):548.966
553.79/549.18	o 2147483540
554.79/550.19	c Got one! Elapsed wall clock time (in seconds):549.978
554.79/550.19	o 2147483539
555.91/551.20	c Got one! Elapsed wall clock time (in seconds):550.988
555.91/551.20	o 2147483538
556.71/552.07	c Got one! Elapsed wall clock time (in seconds):551.853
556.71/552.07	o 2147483537
563.45/558.77	c Got one! Elapsed wall clock time (in seconds):558.555
563.45/558.77	o 2147483536
564.55/559.85	c Got one! Elapsed wall clock time (in seconds):559.638
564.55/559.85	o 2147483535
565.67/560.90	c Got one! Elapsed wall clock time (in seconds):560.69
565.67/560.90	o 2147483534
578.19/573.36	c Got one! Elapsed wall clock time (in seconds):573.148
578.19/573.36	o 2147483533
579.30/574.43	c Got one! Elapsed wall clock time (in seconds):574.221
579.30/574.43	o 2147483532
586.03/581.17	c Got one! Elapsed wall clock time (in seconds):580.959
586.03/581.17	o 2147483531
587.14/582.26	c Got one! Elapsed wall clock time (in seconds):582.046
587.14/582.26	o 2147483530
593.99/589.01	c Got one! Elapsed wall clock time (in seconds):588.796
593.99/589.01	o 2147483529
595.00/590.09	c Got one! Elapsed wall clock time (in seconds):589.879
595.00/590.09	o 2147483528
596.10/591.20	c Got one! Elapsed wall clock time (in seconds):590.982
596.10/591.20	o 2147483527
597.22/592.23	c Got one! Elapsed wall clock time (in seconds):592.014
597.22/592.23	o 2147483526
598.22/593.20	c Got one! Elapsed wall clock time (in seconds):592.992
598.22/593.20	o 2147483525
599.23/594.20	c Got one! Elapsed wall clock time (in seconds):593.989
599.23/594.20	o 2147483524
600.23/595.26	c Got one! Elapsed wall clock time (in seconds):595.051
600.23/595.26	o 2147483523
601.34/596.39	c Got one! Elapsed wall clock time (in seconds):596.176
601.34/596.39	o 2147483522
615.32/610.22	c Got one! Elapsed wall clock time (in seconds):610.009
615.32/610.22	o 2147483521
629.31/624.10	c Got one! Elapsed wall clock time (in seconds):623.889
629.31/624.10	o 2147483520
649.51/644.28	c Got one! Elapsed wall clock time (in seconds):644.062
649.51/644.28	o 2147483519
693.34/687.82	c Got one! Elapsed wall clock time (in seconds):687.603
693.34/687.82	o 2147483518
694.45/688.97	c Got one! Elapsed wall clock time (in seconds):688.755
694.45/688.97	o 2147483517
695.66/690.14	c Got one! Elapsed wall clock time (in seconds):689.926
695.66/690.14	o 2147483516
696.86/691.32	c Got one! Elapsed wall clock time (in seconds):691.105
696.86/691.32	o 2147483515
697.97/692.48	c Got one! Elapsed wall clock time (in seconds):692.263
697.97/692.48	o 2147483514
1800.03/1783.31	c starts		: 135
1800.03/1783.31	c conflicts		: 199
1800.03/1783.31	c decisions		: 841482
1800.03/1783.31	c propagations		: 1726335
1800.03/1783.31	c inspects		: 54378286
1800.03/1783.31	c learnt literals	: 0
1800.03/1783.31	c learnt binary clauses	: 0
1800.03/1783.31	c learnt ternary clauses	: 0
1800.03/1783.31	c learnt clauses	: 198
1800.03/1783.31	c ignored clauses	: 0
1800.03/1783.31	c root simplifications	: 0
1800.03/1783.31	c removed literals (reason simplification)	: 0
1800.03/1783.31	c reason swapping (by a shorter reason)	: 0
1800.03/1783.31	c Calls to reduceDB	: 0
1800.03/1783.31	c speed (assignments/second)	: 1582.578332051443
1800.03/1783.31	c non guided choices	4544
1800.03/1783.31	c learnt constraints type 
1800.03/1783.31	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.03/1783.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 197
1800.03/1783.31	c constraints type 
1800.03/1783.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
1800.03/1783.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
1800.03/1783.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 340
1800.03/1783.32	s SATISFIABLE
1800.03/1783.34	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.03/1783.37	c objective function=2147483514
1800.03/1783.37	c Total wall clock time (in seconds): 1783.16

OK	2147483514

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856150-1244904251/watcher-1856150-1244904251 -o /tmp/evaluation-result-1856150-1244904251/solver-1856150-1244904251 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1856150-1244904251.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: 1.24 1.33 1.34 3/64 10593
/proc/meminfo: memFree=1327528/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1612 CPUtime=0
/proc/10593/stat : 10593 (java6) R 10591 10593 10514 0 -1 0 160 0 0 0 0 0 0 0 20 0 1 0 158025743 1650688 133 1992294400 134512640 134550932 4294956160 18446744073709551615 8248608 0 0 4096 0 0 0 0 17 1 0 0
/proc/10593/statm: 403 138 102 9 0 45 0

[startup+0.0890599 s]
/proc/loadavg: 1.24 1.33 1.34 3/64 10593
/proc/meminfo: memFree=1327528/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1470220 CPUtime=0.08
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 3507 0 1 0 6 2 0 0 18 0 7 0 158025743 1505505280 3252 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 367555 3252 1043 9 0 364906 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1470220

[startup+0.101063 s]
/proc/loadavg: 1.24 1.33 1.34 3/64 10593
/proc/meminfo: memFree=1327528/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1472584 CPUtime=0.08
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 3615 0 1 0 6 2 0 0 18 0 12 0 158025743 1507926016 3358 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 368146 3358 1068 9 0 365494 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1472584

[startup+0.301086 s]
/proc/loadavg: 1.24 1.33 1.34 3/64 10593
/proc/meminfo: memFree=1327528/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1475252 CPUtime=0.36
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 5099 0 1 0 33 3 0 0 18 0 12 0 158025743 1510658048 4818 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 368813 4818 1359 9 0 366156 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1475252

[startup+0.70113 s]
/proc/loadavg: 1.24 1.33 1.34 3/64 10593
/proc/meminfo: memFree=1327528/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1475840 CPUtime=1.06
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 7338 0 1 0 101 5 0 0 18 0 12 0 158025743 1511260160 6766 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 368960 6766 1401 9 0 366303 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 1475840

[startup+1.50226 s]
/proc/loadavg: 1.22 1.32 1.34 2/76 10605
/proc/meminfo: memFree=1281800/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1475840 CPUtime=1.95
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 24336 0 1 0 181 14 0 0 18 0 12 0 158025743 1511260160 23588 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 368960 23589 1401 9 0 366303 0
[pid=10593/tid=10595] ppid=10591 vsize=1475840 CPUtime=1.31
/proc/10593/task/10595/stat : 10595 (java) R 10591 10593 10514 0 -1 64 22117 0 1 0 119 12 0 0 25 0 12 0 158025744 1511260160 23590 1992294400 134512640 134550932 4294956000 18446744073709551615 4109495113 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10596] ppid=10591 vsize=1475840 CPUtime=0
/proc/10593/task/10596/stat : 10596 (java) S 10591 10593 10514 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 158025745 1511260160 23591 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10597] ppid=10591 vsize=1475840 CPUtime=0
/proc/10593/task/10597/stat : 10597 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 158025745 1511260160 23591 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10598] ppid=10591 vsize=1475840 CPUtime=0
/proc/10593/task/10598/stat : 10598 (java) S 10591 10593 10514 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158025747 1511260160 23592 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10599] ppid=10591 vsize=1475840 CPUtime=0
/proc/10593/task/10599/stat : 10599 (java) S 10591 10593 10514 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 158025748 1511260160 23593 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10600] ppid=10591 vsize=1475840 CPUtime=0
/proc/10593/task/10600/stat : 10600 (java) S 10591 10593 10514 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 158025748 1511260160 23594 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10601] ppid=10591 vsize=1475840 CPUtime=0
/proc/10593/task/10601/stat : 10601 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 158025752 1511260160 23595 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10602] ppid=10591 vsize=1475840 CPUtime=0.32
/proc/10593/task/10602/stat : 10602 (java) S 10591 10593 10514 0 -1 64 556 0 0 0 32 0 0 0 15 0 12 0 158025752 1511260160 23596 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10603] ppid=10591 vsize=1475840 CPUtime=0.29
/proc/10593/task/10603/stat : 10603 (java) S 10591 10593 10514 0 -1 64 924 0 0 0 29 0 0 0 16 0 12 0 158025752 1511260160 23597 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10604] ppid=10591 vsize=1475840 CPUtime=0
/proc/10593/task/10604/stat : 10604 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 158025752 1511260160 23598 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10605] ppid=10591 vsize=1475840 CPUtime=0
/proc/10593/task/10605/stat : 10605 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 158025752 1511260160 23599 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 1475840

[startup+3.10245 s]
/proc/loadavg: 1.22 1.32 1.34 2/77 10606
/proc/meminfo: memFree=1207040/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1477064 CPUtime=4.08
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 37020 0 1 0 389 19 0 0 18 0 13 0 158025743 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 369266 35751 1427 9 0 366609 0
[pid=10593/tid=10595] ppid=10591 vsize=1477064 CPUtime=2.63
/proc/10593/task/10595/stat : 10595 (java) R 10591 10593 10514 0 -1 64 30986 0 1 0 247 16 0 0 22 0 13 0 158025744 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4109161384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10596] ppid=10591 vsize=1477064 CPUtime=0.05
/proc/10593/task/10596/stat : 10596 (java) S 10591 10593 10514 0 -1 64 1423 0 0 0 5 0 0 0 16 0 13 0 158025745 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10597] ppid=10591 vsize=1477064 CPUtime=0.05
/proc/10593/task/10597/stat : 10597 (java) S 10591 10593 10514 0 -1 64 1579 0 0 0 4 1 0 0 16 0 13 0 158025745 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10598] ppid=10591 vsize=1477064 CPUtime=0
/proc/10593/task/10598/stat : 10598 (java) S 10591 10593 10514 0 -1 64 10 0 0 0 0 0 0 0 15 0 13 0 158025747 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10599] ppid=10591 vsize=1477064 CPUtime=0
/proc/10593/task/10599/stat : 10599 (java) S 10591 10593 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158025748 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10600] ppid=10591 vsize=1477064 CPUtime=0
/proc/10593/task/10600/stat : 10600 (java) S 10591 10593 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158025748 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10601] ppid=10591 vsize=1477064 CPUtime=0
/proc/10593/task/10601/stat : 10601 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158025752 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10602] ppid=10591 vsize=1477064 CPUtime=0.64
/proc/10593/task/10602/stat : 10602 (java) S 10591 10593 10514 0 -1 64 784 0 0 0 64 0 0 0 16 0 13 0 158025752 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10603] ppid=10591 vsize=1477064 CPUtime=0.68
/proc/10593/task/10603/stat : 10603 (java) S 10591 10593 10514 0 -1 64 1493 0 0 0 68 0 0 0 17 0 13 0 158025752 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10604] ppid=10591 vsize=1477064 CPUtime=0
/proc/10593/task/10604/stat : 10604 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158025752 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10605] ppid=10591 vsize=1477064 CPUtime=0
/proc/10593/task/10605/stat : 10605 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158025752 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10606] ppid=10591 vsize=1477064 CPUtime=0
/proc/10593/task/10606/stat : 10606 (java) S 10591 10593 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158025926 1512513536 35751 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 1477064

[startup+6.30178 s]
/proc/loadavg: 1.22 1.32 1.34 2/77 10606
/proc/meminfo: memFree=1172224/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1477896 CPUtime=7.74
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 42435 0 1 0 753 21 0 0 18 0 13 0 158025743 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 369474 40295 1429 9 0 366817 0
[pid=10593/tid=10595] ppid=10591 vsize=1477896 CPUtime=5.61
/proc/10593/task/10595/stat : 10595 (java) R 10591 10593 10514 0 -1 64 30993 0 1 0 545 16 0 0 25 0 13 0 158025744 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4109626680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10596] ppid=10591 vsize=1477896 CPUtime=0.17
/proc/10593/task/10596/stat : 10596 (java) S 10591 10593 10514 0 -1 64 3481 0 0 0 17 0 0 0 16 0 13 0 158025745 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10597] ppid=10591 vsize=1477896 CPUtime=0.17
/proc/10593/task/10597/stat : 10597 (java) S 10591 10593 10514 0 -1 64 3864 0 0 0 15 2 0 0 16 0 13 0 158025745 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10598] ppid=10591 vsize=1477896 CPUtime=0
/proc/10593/task/10598/stat : 10598 (java) S 10591 10593 10514 0 -1 64 24 0 0 0 0 0 0 0 17 0 13 0 158025747 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10599] ppid=10591 vsize=1477896 CPUtime=0
/proc/10593/task/10599/stat : 10599 (java) S 10591 10593 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158025748 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10600] ppid=10591 vsize=1477896 CPUtime=0
/proc/10593/task/10600/stat : 10600 (java) S 10591 10593 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158025748 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10601] ppid=10591 vsize=1477896 CPUtime=0
/proc/10593/task/10601/stat : 10601 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158025752 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10602] ppid=10591 vsize=1477896 CPUtime=0.79
/proc/10593/task/10602/stat : 10602 (java) S 10591 10593 10514 0 -1 64 849 0 0 0 79 0 0 0 16 0 13 0 158025752 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10603] ppid=10591 vsize=1477896 CPUtime=0.96
/proc/10593/task/10603/stat : 10603 (java) S 10591 10593 10514 0 -1 64 2479 0 0 0 95 1 0 0 17 0 13 0 158025752 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10604] ppid=10591 vsize=1477896 CPUtime=0
/proc/10593/task/10604/stat : 10604 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158025752 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10605] ppid=10591 vsize=1477896 CPUtime=0
/proc/10593/task/10605/stat : 10605 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158025752 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10606] ppid=10591 vsize=1477896 CPUtime=0
/proc/10593/task/10606/stat : 10606 (java) S 10591 10593 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158025926 1513365504 40295 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 1477896

[startup+12.7025 s]
/proc/loadavg: 1.18 1.31 1.33 2/77 10606
/proc/meminfo: memFree=1147664/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1480968 CPUtime=14.63
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 50488 0 1 0 1437 26 0 0 18 0 13 0 158025743 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 370242 46469 1429 9 0 367585 0
[pid=10593/tid=10595] ppid=10591 vsize=1480968 CPUtime=11.66
/proc/10593/task/10595/stat : 10595 (java) R 10591 10593 10514 0 -1 64 31003 0 1 0 1150 16 0 0 25 0 13 0 158025744 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4109683451 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10596] ppid=10591 vsize=1480968 CPUtime=0.36
/proc/10593/task/10596/stat : 10596 (java) S 10591 10593 10514 0 -1 64 6277 0 0 0 34 2 0 0 16 0 13 0 158025745 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10597] ppid=10591 vsize=1480968 CPUtime=0.36
/proc/10593/task/10597/stat : 10597 (java) S 10591 10593 10514 0 -1 64 7453 0 0 0 32 4 0 0 16 0 13 0 158025745 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10598] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10598/stat : 10598 (java) S 10591 10593 10514 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 158025747 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10599] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10599/stat : 10599 (java) S 10591 10593 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10600] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10600/stat : 10600 (java) S 10591 10593 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10601] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10601/stat : 10601 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158025752 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10602] ppid=10591 vsize=1480968 CPUtime=1.08
/proc/10593/task/10602/stat : 10602 (java) S 10591 10593 10514 0 -1 64 2324 0 0 0 107 1 0 0 16 0 13 0 158025752 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10603] ppid=10591 vsize=1480968 CPUtime=1.12
/proc/10593/task/10603/stat : 10603 (java) S 10591 10593 10514 0 -1 64 2653 0 0 0 111 1 0 0 16 0 13 0 158025752 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10604] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10604/stat : 10604 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158025752 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10605] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10605/stat : 10605 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158025752 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10606] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10606/stat : 10606 (java) S 10591 10593 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158025926 1516511232 46469 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.63
Current children cumulated vsize (KiB) 1480968

[startup+25.502 s]
/proc/loadavg: 1.15 1.30 1.33 2/77 10606
/proc/meminfo: memFree=1137808/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1480968 CPUtime=27.57
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 52857 0 1 0 2729 28 0 0 18 0 13 0 158025743 1516511232 48567 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 370242 48567 1429 9 0 367585 0
[pid=10593/tid=10595] ppid=10591 vsize=1480968 CPUtime=24.33
/proc/10593/task/10595/stat : 10595 (java) R 10591 10593 10514 0 -1 64 31106 0 1 0 2417 16 0 0 18 0 13 0 158025744 1516511232 48567 1992294400 134512640 134550932 4294956000 18446744073709551615 4109968577 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10596] ppid=10591 vsize=1480968 CPUtime=0.42
/proc/10593/task/10596/stat : 10596 (java) S 10591 10593 10514 0 -1 64 7330 0 0 0 40 2 0 0 16 0 13 0 158025745 1516511232 48567 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10597] ppid=10591 vsize=1480968 CPUtime=0.42
/proc/10593/task/10597/stat : 10597 (java) S 10591 10593 10514 0 -1 64 8660 0 0 0 38 4 0 0 15 0 13 0 158025745 1516511232 48567 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10598] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10598/stat : 10598 (java) S 10591 10593 10514 0 -1 64 33 0 0 0 0 0 0 0 15 0 13 0 158025747 1516511232 48567 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10599] ppid=10591 vsize=1480968 CPUtime=0

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

/proc/10593/task/10602/stat : 10602 (java) S 10591 10593 10514 0 -1 64 2330 0 0 0 116 1 0 0 16 0 13 0 158025752 1516511232 218382 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10603] ppid=10591 vsize=1480968 CPUtime=1.94
/proc/10593/task/10603/stat : 10603 (java) S 10591 10593 10514 0 -1 64 5505 0 0 0 192 2 0 0 17 0 13 0 158025752 1516511232 218382 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10604] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10604/stat : 10604 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158025752 1516511232 218382 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10605] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10605/stat : 10605 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158025752 1516511232 218382 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10606] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10606/stat : 10606 (java) S 10591 10593 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158025926 1516511232 218382 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1616.54
Current children cumulated vsize (KiB) 1480968

[startup+1662.3 s]
/proc/loadavg: 1.04 1.02 1.05 2/77 10614
/proc/meminfo: memFree=456272/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1480968 CPUtime=1677.31
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 307898 0 1 0 167517 214 0 0 18 0 13 0 158025743 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 370242 218488 1434 9 0 367585 0
[pid=10593/tid=10595] ppid=10591 vsize=1480968 CPUtime=1645.51
/proc/10593/task/10595/stat : 10595 (java) R 10591 10593 10514 0 -1 64 34502 0 1 0 164523 28 0 0 25 0 13 0 158025744 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4109503491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10596] ppid=10591 vsize=1480968 CPUtime=13.93
/proc/10593/task/10596/stat : 10596 (java) S 10591 10593 10514 0 -1 64 132620 0 0 0 1317 76 0 0 16 0 13 0 158025745 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10597] ppid=10591 vsize=1480968 CPUtime=14
/proc/10593/task/10597/stat : 10597 (java) S 10591 10593 10514 0 -1 64 132162 0 0 0 1323 77 0 0 16 0 13 0 158025745 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10598] ppid=10591 vsize=1480968 CPUtime=0.7
/proc/10593/task/10598/stat : 10598 (java) S 10591 10593 10514 0 -1 64 34 0 0 0 43 27 0 0 16 0 13 0 158025747 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10599] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10599/stat : 10599 (java) S 10591 10593 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10600] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10600/stat : 10600 (java) S 10591 10593 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10601] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10601/stat : 10601 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158025752 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10602] ppid=10591 vsize=1480968 CPUtime=1.17
/proc/10593/task/10602/stat : 10602 (java) S 10591 10593 10514 0 -1 64 2330 0 0 0 116 1 0 0 16 0 13 0 158025752 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10603] ppid=10591 vsize=1480968 CPUtime=1.94
/proc/10593/task/10603/stat : 10603 (java) S 10591 10593 10514 0 -1 64 5505 0 0 0 192 2 0 0 17 0 13 0 158025752 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10604] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10604/stat : 10604 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158025752 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10605] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10605/stat : 10605 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158025752 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10606] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10606/stat : 10606 (java) S 10591 10593 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158025926 1516511232 218488 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1677.31
Current children cumulated vsize (KiB) 1480968

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.04 3/77 10614
/proc/meminfo: memFree=455568/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1480968 CPUtime=1738.18
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 308165 0 1 0 173601 217 0 0 18 0 13 0 158025743 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 370242 218621 1434 9 0 367585 0
[pid=10593/tid=10595] ppid=10591 vsize=1480968 CPUtime=1704.51
/proc/10593/task/10595/stat : 10595 (java) R 10591 10593 10514 0 -1 64 34632 0 1 0 170423 28 0 0 20 0 13 0 158025744 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4109503177 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10596] ppid=10591 vsize=1480968 CPUtime=14.85
/proc/10593/task/10596/stat : 10596 (java) S 10591 10593 10514 0 -1 64 132725 0 0 0 1408 77 0 0 16 0 13 0 158025745 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10597] ppid=10591 vsize=1480968 CPUtime=14.92
/proc/10593/task/10597/stat : 10597 (java) S 10591 10593 10514 0 -1 64 132194 0 0 0 1414 78 0 0 15 0 13 0 158025745 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10598] ppid=10591 vsize=1480968 CPUtime=0.73
/proc/10593/task/10598/stat : 10598 (java) S 10591 10593 10514 0 -1 64 34 0 0 0 45 28 0 0 16 0 13 0 158025747 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10599] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10599/stat : 10599 (java) S 10591 10593 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10600] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10600/stat : 10600 (java) S 10591 10593 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10601] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10601/stat : 10601 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158025752 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10602] ppid=10591 vsize=1480968 CPUtime=1.17
/proc/10593/task/10602/stat : 10602 (java) S 10591 10593 10514 0 -1 64 2330 0 0 0 116 1 0 0 16 0 13 0 158025752 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10603] ppid=10591 vsize=1480968 CPUtime=1.94
/proc/10593/task/10603/stat : 10603 (java) S 10591 10593 10514 0 -1 64 5505 0 0 0 192 2 0 0 17 0 13 0 158025752 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10604] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10604/stat : 10604 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158025752 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10605] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10605/stat : 10605 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158025752 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10606] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10606/stat : 10606 (java) S 10591 10593 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158025926 1516511232 218621 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1738.18
Current children cumulated vsize (KiB) 1480968

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.04 2/77 10614
/proc/meminfo: memFree=454928/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1480968 CPUtime=1799.01
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 308439 0 1 0 179680 221 0 0 18 0 13 0 158025743 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 370242 218764 1434 9 0 367585 0
[pid=10593/tid=10595] ppid=10591 vsize=1480968 CPUtime=1763.55
/proc/10593/task/10595/stat : 10595 (java) R 10591 10593 10514 0 -1 64 34756 0 1 0 176326 29 0 0 25 0 13 0 158025744 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4109707875 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10596] ppid=10591 vsize=1480968 CPUtime=15.73
/proc/10593/task/10596/stat : 10596 (java) S 10591 10593 10514 0 -1 64 132839 0 0 0 1495 78 0 0 16 0 13 0 158025745 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10597] ppid=10591 vsize=1480968 CPUtime=15.79
/proc/10593/task/10597/stat : 10597 (java) S 10591 10593 10514 0 -1 64 132230 0 0 0 1501 78 0 0 15 0 13 0 158025745 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10598] ppid=10591 vsize=1480968 CPUtime=0.76
/proc/10593/task/10598/stat : 10598 (java) S 10591 10593 10514 0 -1 64 34 0 0 0 47 29 0 0 16 0 13 0 158025747 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10599] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10599/stat : 10599 (java) S 10591 10593 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10600] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10600/stat : 10600 (java) S 10591 10593 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10601] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10601/stat : 10601 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10602] ppid=10591 vsize=1480968 CPUtime=1.17
/proc/10593/task/10602/stat : 10602 (java) S 10591 10593 10514 0 -1 64 2330 0 0 0 116 1 0 0 16 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10603] ppid=10591 vsize=1480968 CPUtime=1.94
/proc/10593/task/10603/stat : 10603 (java) S 10591 10593 10514 0 -1 64 5505 0 0 0 192 2 0 0 17 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10604] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10604/stat : 10604 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10605] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10605/stat : 10605 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10606] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10606/stat : 10606 (java) S 10591 10593 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158025926 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 1480968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.3 s]
/proc/loadavg: 1.00 1.01 1.04 2/77 10614
/proc/meminfo: memFree=454928/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=1480968 CPUtime=1800.03
/proc/10593/stat : 10593 (java) S 10591 10593 10514 0 -1 0 308442 0 1 0 179782 221 0 0 18 0 13 0 158025743 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 370242 218764 1434 9 0 367585 0
[pid=10593/tid=10595] ppid=10591 vsize=1480968 CPUtime=1764.53
/proc/10593/task/10595/stat : 10595 (java) R 10591 10593 10514 0 -1 64 34759 0 1 0 176424 29 0 0 20 0 13 0 158025744 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4109707328 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10596] ppid=10591 vsize=1480968 CPUtime=15.75
/proc/10593/task/10596/stat : 10596 (java) S 10591 10593 10514 0 -1 64 132839 0 0 0 1497 78 0 0 16 0 13 0 158025745 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10597] ppid=10591 vsize=1480968 CPUtime=15.82
/proc/10593/task/10597/stat : 10597 (java) S 10591 10593 10514 0 -1 64 132230 0 0 0 1504 78 0 0 15 0 13 0 158025745 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10598] ppid=10591 vsize=1480968 CPUtime=0.76
/proc/10593/task/10598/stat : 10598 (java) S 10591 10593 10514 0 -1 64 34 0 0 0 47 29 0 0 16 0 13 0 158025747 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10599] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10599/stat : 10599 (java) S 10591 10593 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10600] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10600/stat : 10600 (java) S 10591 10593 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158025748 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10601] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10601/stat : 10601 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10602] ppid=10591 vsize=1480968 CPUtime=1.17
/proc/10593/task/10602/stat : 10602 (java) S 10591 10593 10514 0 -1 64 2330 0 0 0 116 1 0 0 16 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10603] ppid=10591 vsize=1480968 CPUtime=1.94
/proc/10593/task/10603/stat : 10603 (java) S 10591 10593 10514 0 -1 64 5505 0 0 0 192 2 0 0 17 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10593/tid=10604] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10604/stat : 10604 (java) S 10591 10593 10514 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10605] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10605/stat : 10605 (java) S 10591 10593 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158025752 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10593/tid=10606] ppid=10591 vsize=1480968 CPUtime=0
/proc/10593/task/10606/stat : 10606 (java) S 10591 10593 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158025926 1516511232 218764 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1480968

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

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

[startup+1783.41 s]
/proc/loadavg: 1.00 1.01 1.04 2/77 10614
/proc/meminfo: memFree=454928/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=0 CPUtime=1800.2
/proc/10593/stat : 10593 (java) Z 10591 10593 10514 0 -1 1036 308465 0 1 0 179796 224 0 0 15 0 2 0 158025743 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

[startup+1783.5 s]
/proc/loadavg: 1.00 1.01 1.04 2/77 10614
/proc/meminfo: memFree=454928/2055920 swapFree=4192812/4192956
[pid=10593] ppid=10591 vsize=0 CPUtime=1800.29
/proc/10593/stat : 10593 (java) Z 10591 10593 10514 0 -1 1036 308465 0 1 0 179796 233 0 0 15 0 2 0 158025743 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1783.52
CPU time (s): 1800.33
CPU user time (s): 1797.97
CPU system time (s): 2.35664
CPU usage (%): 100.942
Max. virtual memory (cumulated for all children) (KiB): 1484692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.97
system time used= 2.35664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308465
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= 72187
involuntary context switches= 41624

runsolver used 1.9807 second user time and 5.19321 second system time

The end

Begin job on node11 at 2009-06-13 16:44:11
IDJOB=1856150
IDBENCH=2371
IDSOLVER=681
FILE ID=node11/1856150-1244904251
PBS_JOBID= 9354503
Free space on /tmp= 66232 MiB

SOLVER NAME= SAT4J Pseudo CP 2.1.1
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 -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856150-1244904251/watcher-1856150-1244904251 -o /tmp/evaluation-result-1856150-1244904251/solver-1856150-1244904251 -C 1800 -W 2000 -M 1800  java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1856150-1244904251.opb

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

MD5SUM BENCH= 77d03e06bcf76c9b07fd6535ab6acb65
RANDOM SEED=724490262

node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1327944 kB
Buffers:         58408 kB
Cached:         592212 kB
SwapCached:        140 kB
Active:          39632 kB
Inactive:       624584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1327944 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2332 kB
Writeback:           0 kB
Mapped:          23244 kB
Slab:            49736 kB
Committed_AS:   126044 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66232 MiB
End job on node11 at 2009-06-13 17:13:57