0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4118683-1467235379.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
1.31/0.61	c ... done. Wall clock time 0.481s.
1.31/0.61	c declared #vars     7243
1.31/0.61	c #constraints  14406
1.31/0.61	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.31/0.61	c constraints type 
1.31/0.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7203
1.31/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7203
1.31/0.61	c 14406 constraints processed.
1.31/0.61	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.31/0.61	c constraints type 
1.31/0.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7203
1.31/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7203
1.31/0.61	c 14406 constraints processed.
1.31/0.61	c objective function length is 7243 literals
2.09/0.81	c And the winner is solver0
2.75/1.12	c SATISFIABLE
2.75/1.12	c OPTIMIZING...
2.75/1.12	c Got one! Elapsed wall clock time (in seconds):0.993
2.75/1.12	o 0
3.02/1.22	c And the winner is solver0
3.13/1.66	c Got one! Elapsed wall clock time (in seconds):1.534
3.13/1.67	o -171
3.25/1.71	c And the winner is solver0
3.39/2.19	c Got one! Elapsed wall clock time (in seconds):2.058
3.39/2.19	o -342
3.44/2.23	c And the winner is solver0
3.67/2.70	c Got one! Elapsed wall clock time (in seconds):2.577
3.67/2.70	o -632
3.67/2.73	c And the winner is solver0
3.75/3.22	c Got one! Elapsed wall clock time (in seconds):3.091
3.75/3.22	o -819
3.75/3.25	c And the winner is solver0
3.83/3.73	c Got one! Elapsed wall clock time (in seconds):3.601
3.83/3.73	o -922
3.83/3.75	c And the winner is solver0
3.94/4.24	c Got one! Elapsed wall clock time (in seconds):4.112
3.94/4.24	o -1287
3.94/4.27	c And the winner is solver0
4.04/4.75	c Got one! Elapsed wall clock time (in seconds):4.623
4.04/4.75	o -1340
4.04/4.79	c And the winner is solver0
4.13/5.26	c Got one! Elapsed wall clock time (in seconds):5.133
4.13/5.26	o -1385
4.13/5.28	c And the winner is solver0
4.20/5.77	c Got one! Elapsed wall clock time (in seconds):5.642
4.20/5.77	o -1445
4.20/5.79	c And the winner is solver0
4.26/6.28	c Got one! Elapsed wall clock time (in seconds):6.151
4.26/6.28	o -1490
4.26/6.30	c And the winner is solver0
4.28/6.79	c Got one! Elapsed wall clock time (in seconds):6.66
4.28/6.79	o -1652
4.29/6.81	c And the winner is solver0
4.34/7.30	c Got one! Elapsed wall clock time (in seconds):7.169
4.34/7.30	o -2056
4.34/7.37	c And the winner is solver0
4.49/7.81	c Got one! Elapsed wall clock time (in seconds):7.679
4.49/7.81	o -2059
4.49/7.82	c And the winner is solver0
4.52/8.32	c Got one! Elapsed wall clock time (in seconds):8.189
4.52/8.32	o -2463
4.71/8.46	c And the winner is solver0
4.86/8.83	c Got one! Elapsed wall clock time (in seconds):8.698
4.86/8.83	o -2466
4.86/8.86	c And the winner is solver0
4.93/9.34	c Got one! Elapsed wall clock time (in seconds):9.208
4.93/9.34	o -2791
5.05/9.47	c And the winner is solver0
5.69/9.99	c Got one! Elapsed wall clock time (in seconds):9.867
5.69/9.99	o -2917
6.00/10.11	c And the winner is solver0
6.04/10.50	c Got one! Elapsed wall clock time (in seconds):10.377
6.04/10.50	o -2920
6.04/10.55	c And the winner is solver0
6.14/11.01	c Got one! Elapsed wall clock time (in seconds):10.886
6.14/11.01	o -3336
7.00/11.42	c And the winner is solver0
7.22/11.62	c Got one! Elapsed wall clock time (in seconds):11.495
7.22/11.62	o -3355
7.41/11.71	c And the winner is solver0
7.45/12.13	c Got one! Elapsed wall clock time (in seconds):12.004
7.45/12.13	o -3373
7.45/12.19	c And the winner is solver0
7.58/12.64	c Got one! Elapsed wall clock time (in seconds):12.513
7.58/12.64	o -3374
7.58/12.66	c And the winner is solver0
7.61/13.15	c Got one! Elapsed wall clock time (in seconds):13.022
7.61/13.15	o -3852
8.35/13.58	c And the winner is solver0
8.64/13.74	c Got one! Elapsed wall clock time (in seconds):13.611
8.64/13.74	o -3861
9.01/13.99	c And the winner is solver0
9.53/14.35	c Got one! Elapsed wall clock time (in seconds):14.22
9.53/14.35	o -3866
9.85/14.58	c And the winner is solver0
10.34/14.96	c Got one! Elapsed wall clock time (in seconds):14.829
10.34/14.96	o -4214
11.86/15.76	c And the winner is solver0
12.33/16.12	c Got one! Elapsed wall clock time (in seconds):15.989
12.33/16.12	o -4286
13.40/16.64	c And the winner is solver0
13.54/17.13	c Got one! Elapsed wall clock time (in seconds):16.999
13.54/17.13	o -4320
13.88/17.39	c And the winner is solver0
14.29/17.69	c Got one! Elapsed wall clock time (in seconds):17.558
14.29/17.69	o -4358
14.77/17.94	c And the winner is solver0
15.12/18.25	c Got one! Elapsed wall clock time (in seconds):18.118
15.12/18.25	o -4807
18.30/19.73	c And the winner is solver0
18.56/19.95	c Got one! Elapsed wall clock time (in seconds):19.827
18.56/19.95	o -4863
21.07/21.20	c And the winner is solver0
21.10/21.46	c Got one! Elapsed wall clock time (in seconds):21.337
21.10/21.46	o -4867
21.95/21.97	c And the winner is solver0
22.21/22.13	c Got one! Elapsed wall clock time (in seconds):21.998
22.21/22.13	o -4871
22.55/22.31	c And the winner is solver0
22.97/22.79	c Got one! Elapsed wall clock time (in seconds):22.658
22.97/22.79	o -4872
23.07/22.82	c And the winner is solver0
23.13/23.29	c Got one! Elapsed wall clock time (in seconds):23.167
23.13/23.30	o -4873
23.14/23.38	c And the winner is solver0
23.40/23.81	c Got one! Elapsed wall clock time (in seconds):23.678
23.40/23.81	o -4876
23.40/23.83	c And the winner is solver0
23.45/24.32	c Got one! Elapsed wall clock time (in seconds):24.189
23.45/24.32	o -5371
28.66/26.99	c cleaning 5225 clauses out of 10449 with flag 6003/10449
33.20/29.11	c And the winner is solver0
33.28/29.33	c Got one! Elapsed wall clock time (in seconds):29.199
33.28/29.33	o -5372
35.02/30.26	c And the winner is solver0
35.31/30.44	c Got one! Elapsed wall clock time (in seconds):30.309
35.31/30.44	o -5376
36.28/30.93	c And the winner is solver0
36.40/31.05	c Got one! Elapsed wall clock time (in seconds):30.919
36.40/31.05	o -5381
36.70/31.27	c And the winner is solver0
37.18/31.66	c Got one! Elapsed wall clock time (in seconds):31.529
37.18/31.66	o -5390
37.27/31.71	c And the winner is solver0
37.32/32.17	c Got one! Elapsed wall clock time (in seconds):32.039
37.32/32.17	o -5391
37.32/32.19	c And the winner is solver0
37.38/32.68	c Got one! Elapsed wall clock time (in seconds):32.548
37.38/32.68	o -5394
37.61/32.81	c And the winner is solver0
37.94/33.19	c Got one! Elapsed wall clock time (in seconds):33.058
37.94/33.19	o -5772
43.22/35.87	c cleaning 6169 clauses out of 12344 with flag 6003/17569
49.17/38.71	c And the winner is solver0
49.27/39.20	c Got one! Elapsed wall clock time (in seconds):39.069
49.27/39.20	o -5780
53.14/41.13	c cleaning 5672 clauses out of 11346 with flag 4021/22740
56.55/42.86	c And the winner is solver0
57.00/43.21	c Got one! Elapsed wall clock time (in seconds):43.079
57.00/43.21	o -5803
61.14/45.22	c And the winner is solver0
61.33/45.41	c Got one! Elapsed wall clock time (in seconds):45.281
61.33/45.41	o -5834
62.69/46.18	c And the winner is solver0
63.09/46.47	c Got one! Elapsed wall clock time (in seconds):46.342
63.09/46.47	o -5844
63.40/46.67	c And the winner is solver0
63.89/47.03	c Got one! Elapsed wall clock time (in seconds):46.902
63.89/47.03	o -5847
64.04/47.11	c And the winner is solver0
64.10/47.54	c Got one! Elapsed wall clock time (in seconds):47.413
64.10/47.54	o -5864
64.60/47.85	c And the winner is solver0
64.95/48.10	c Got one! Elapsed wall clock time (in seconds):47.973
64.95/48.10	o -5890
64.95/48.14	c And the winner is solver0
65.06/48.61	c Got one! Elapsed wall clock time (in seconds):48.483
65.06/48.61	o -5900
65.06/48.64	c And the winner is solver0
65.16/49.12	c Got one! Elapsed wall clock time (in seconds):48.993
65.16/49.12	o -5903
65.16/49.14	c And the winner is solver0
65.19/49.63	c Got one! Elapsed wall clock time (in seconds):49.504
65.19/49.63	o -5914
65.19/49.66	c And the winner is solver0
65.29/50.14	c Got one! Elapsed wall clock time (in seconds):50.014
65.29/50.14	o -5940
65.39/50.20	c And the winner is solver0
65.43/50.65	c Got one! Elapsed wall clock time (in seconds):50.524
65.43/50.65	o -5943
66.74/51.34	c And the winner is solver0
67.20/51.71	c Got one! Elapsed wall clock time (in seconds):51.585
67.20/51.71	o -6486
72.57/54.48	c cleaning 7211 clauses out of 14421 with flag 6003/31487
83.70/59.93	c cleaning 6604 clauses out of 13209 with flag 18001/37486
86.10/61.18	c And the winner is solver0
86.40/61.37	c Got one! Elapsed wall clock time (in seconds):61.247
86.40/61.37	o -6492
93.91/65.15	c cleaning 5995 clauses out of 11992 with flag 8027/42873
106.24/71.33	c cleaning 5997 clauses out of 11997 with flag 20089/48873
115.65/76.05	c And the winner is solver0
116.10/76.47	c Got one! Elapsed wall clock time (in seconds):76.344
116.10/76.47	o -6585
118.13/77.47	c cleaning 5785 clauses out of 11578 with flag 2001/54451
128.93/82.84	c cleaning 5896 clauses out of 11793 with flag 14001/60451
141.75/89.21	c cleaning 6446 clauses out of 12897 with flag 28001/67451
157.27/96.93	c cleaning 7225 clauses out of 14452 with flag 44003/75452
161.66/99.14	c And the winner is solver0
161.86/99.49	c Got one! Elapsed wall clock time (in seconds):99.358
161.86/99.49	o -6616
167.27/102.22	c cleaning 6245 clauses out of 12490 with flag 6004/80715
175.87/106.51	c And the winner is solver0
176.24/107.00	c Got one! Elapsed wall clock time (in seconds):106.871
176.24/107.00	o -6648
178.04/107.99	c cleaning 5861 clauses out of 11726 with flag 2005/86196
183.83/110.87	c And the winner is solver0
184.40/111.31	c Got one! Elapsed wall clock time (in seconds):111.184
184.40/111.31	o -6687
186.37/112.36	c And the winner is solver0
186.79/112.82	c Got one! Elapsed wall clock time (in seconds):112.696
186.79/112.82	o -6689
188.32/113.67	c And the winner is solver0
188.60/113.89	c Got one! Elapsed wall clock time (in seconds):113.758
188.60/113.89	o -6690
188.88/114.03	c And the winner is solver0
189.43/114.55	c Got one! Elapsed wall clock time (in seconds):114.42
189.43/114.55	o -6692
189.43/114.57	c And the winner is solver0
189.47/115.06	c Got one! Elapsed wall clock time (in seconds):114.933
189.47/115.06	o -6698
189.47/115.09	c And the winner is solver0
189.53/115.57	c Got one! Elapsed wall clock time (in seconds):115.445
189.53/115.57	o -6701
189.77/115.71	c And the winner is solver0
189.85/116.08	c Got one! Elapsed wall clock time (in seconds):115.957
189.85/116.08	o -6744
191.87/117.19	c And the winner is solver0
192.47/117.65	c Got one! Elapsed wall clock time (in seconds):117.519
192.47/117.65	o -6770
193.79/118.31	c And the winner is solver0
194.21/118.71	c Got one! Elapsed wall clock time (in seconds):118.581
194.21/118.71	o -6776
194.38/118.83	c And the winner is solver0
194.50/119.22	c Got one! Elapsed wall clock time (in seconds):119.093
194.50/119.22	o -6777
194.50/119.24	c And the winner is solver0
194.53/119.73	c Got one! Elapsed wall clock time (in seconds):119.605
194.53/119.73	o -6788
194.53/119.76	c And the winner is solver0
194.59/120.25	c Got one! Elapsed wall clock time (in seconds):120.118
194.59/120.25	o -6797
195.08/120.57	c And the winner is solver0
195.53/120.91	c Got one! Elapsed wall clock time (in seconds):120.78
195.53/120.91	o -6892
197.50/121.91	c cleaning 6936 clauses out of 13878 with flag 2005/94209
209.30/127.90	c cleaning 6471 clauses out of 12941 with flag 14003/100208
211.46/129.06	c And the winner is solver0
211.92/129.42	c Got one! Elapsed wall clock time (in seconds):129.293
211.92/129.42	o -6991
220.08/133.53	c And the winner is solver0
220.51/133.98	c Got one! Elapsed wall clock time (in seconds):133.856
220.51/133.98	o -7019
222.57/135.05	c cleaning 6127 clauses out of 12254 with flag 2005/105992
224.77/136.12	c And the winner is solver0
224.89/136.50	c Got one! Elapsed wall clock time (in seconds):136.369
224.89/136.50	o -7029
225.88/137.09	c And the winner is solver0
226.14/137.51	c Got one! Elapsed wall clock time (in seconds):137.382
226.14/137.51	o -7036
226.32/137.69	c And the winner is solver0
226.91/138.17	c Got one! Elapsed wall clock time (in seconds):138.044
226.91/138.17	o -7042
226.91/138.19	c And the winner is solver0
226.98/138.68	c Got one! Elapsed wall clock time (in seconds):138.557
226.98/138.68	o -7059
229.59/140.08	c And the winner is solver0
230.07/140.40	c Got one! Elapsed wall clock time (in seconds):140.269
230.07/140.40	o -7514
235.27/143.05	c cleaning 6096 clauses out of 12198 with flag 6001/112063
246.34/148.51	c cleaning 6050 clauses out of 12103 with flag 18003/118064
259.33/155.06	c cleaning 6525 clauses out of 13052 with flag 32001/125063
274.48/162.55	c cleaning 7262 clauses out of 14528 with flag 48003/133064
291.40/170.94	c cleaning 8132 clauses out of 16265 with flag 66001/142063
310.41/180.45	c cleaning 9064 clauses out of 18134 with flag 86003/152064
317.33/183.83	c And the winner is solver0
317.45/183.97	c Got one! Elapsed wall clock time (in seconds):183.84
317.45/183.97	o -7539
321.38/185.92	c cleaning 7271 clauses out of 14551 with flag 4029/157545
332.77/191.66	c cleaning 6638 clauses out of 13280 with flag 16255/163545
347.18/199.00	c cleaning 6820 clauses out of 13643 with flag 30309/170546
362.99/206.97	c cleaning 7409 clauses out of 14822 with flag 46307/178545
370.43/210.68	c And the winner is solver0
370.91/211.04	c Got one! Elapsed wall clock time (in seconds):210.915
370.91/211.04	o -7582
374.81/213.07	c cleaning 6538 clauses out of 13081 with flag 4035/184213
387.01/219.19	c cleaning 6268 clauses out of 12543 with flag 16242/190213
393.29/222.24	c And the winner is solver0
393.48/222.56	c Got one! Elapsed wall clock time (in seconds):222.43
393.48/222.56	o -7586
397.16/224.48	c cleaning 5641 clauses out of 11289 with flag 4100/195227
407.94/229.82	c And the winner is solver0
408.37/230.27	c Got one! Elapsed wall clock time (in seconds):230.145
408.37/230.27	o -7587
416.28/234.25	c And the winner is solver0
416.54/234.44	c Got one! Elapsed wall clock time (in seconds):234.31
416.54/234.44	o -7588
416.84/234.65	c And the winner is solver0
417.07/234.95	c Got one! Elapsed wall clock time (in seconds):234.824
417.07/234.95	o -7595
417.35/235.19	c And the winner is solver0
417.67/235.47	c Got one! Elapsed wall clock time (in seconds):235.338
417.67/235.47	o -7609
418.52/235.94	c And the winner is solver0
418.96/236.33	c Got one! Elapsed wall clock time (in seconds):236.202
418.96/236.33	o -7626
423.08/238.43	c cleaning 8687 clauses out of 17374 with flag 4116/206953
423.89/238.89	c And the winner is solver0
424.37/239.34	c Got one! Elapsed wall clock time (in seconds):239.217
424.37/239.34	o -7836
434.56/244.72	c cleaning 7064 clauses out of 14133 with flag 10003/212399
446.36/250.60	c cleaning 6531 clauses out of 13068 with flag 22001/218398
460.41/257.67	c cleaning 6767 clauses out of 13537 with flag 36001/225398
476.21/265.55	c cleaning 7384 clauses out of 14771 with flag 52003/233399
494.76/274.76	c cleaning 8193 clauses out of 16387 with flag 70003/242399
501.97/278.36	c And the winner is solver0
502.34/278.77	c Got one! Elapsed wall clock time (in seconds):278.645
502.34/278.77	o -7851
505.99/280.67	c cleaning 6878 clauses out of 13764 with flag 4002/247969
517.75/286.50	c cleaning 6441 clauses out of 12886 with flag 16002/253969
531.55/293.32	c cleaning 6724 clauses out of 13447 with flag 30006/260971
547.58/301.29	c cleaning 7359 clauses out of 14721 with flag 46002/268969
556.38/305.61	c And the winner is solver0
556.60/305.84	c Got one! Elapsed wall clock time (in seconds):305.713
556.60/305.84	o -7855
558.50/306.90	c cleaning 6276 clauses out of 12562 with flag 2015/274169
571.30/313.24	c cleaning 6139 clauses out of 12285 with flag 14086/280168
587.10/321.03	c cleaning 6572 clauses out of 13147 with flag 28170/287169
591.91/323.42	c And the winner is solver0
592.33/323.86	c Got one! Elapsed wall clock time (in seconds):323.729
592.33/323.86	o -7862
598.84/327.16	c cleaning 5851 clauses out of 11710 with flag 6135/292304
607.24/331.37	c And the winner is solver0
607.51/331.57	c Got one! Elapsed wall clock time (in seconds):331.445
607.51/331.57	o -7866
612.70/334.07	c cleaning 5870 clauses out of 11744 with flag 4128/298189
616.10/335.72	c And the winner is solver0
616.62/336.24	c Got one! Elapsed wall clock time (in seconds):336.11
616.62/336.24	o -7891
620.73/338.32	c And the winner is solver0
621.01/338.75	c Got one! Elapsed wall clock time (in seconds):338.624
621.01/338.75	o -7894
621.10/338.85	c And the winner is solver0
621.26/339.27	c Got one! Elapsed wall clock time (in seconds):339.138
621.26/339.27	o -7905
622.31/339.88	c And the winner is solver0
622.81/340.28	c Got one! Elapsed wall clock time (in seconds):340.152
622.81/340.28	o -7936
625.24/341.54	c And the winner is solver0
625.89/342.15	c Got one! Elapsed wall clock time (in seconds):342.016
625.89/342.15	o -7991
629.58/344.03	c cleaning 6366 clauses out of 12740 with flag 4004/305055
641.39/349.88	c cleaning 6184 clauses out of 12373 with flag 16002/311054
655.77/357.08	c cleaning 6591 clauses out of 13190 with flag 30004/318055
673.14/365.53	c cleaning 7295 clauses out of 14599 with flag 46004/326055
691.54/374.71	c cleaning 8149 clauses out of 16304 with flag 64004/335055
711.74/384.85	c cleaning 9078 clauses out of 18155 with flag 84004/345055
720.59/389.16	c And the winner is solver0
720.86/389.36	c Got one! Elapsed wall clock time (in seconds):389.237
720.86/389.36	o -7998
722.98/390.43	c cleaning 7058 clauses out of 14128 with flag 2045/350106
735.98/396.93	c cleaning 6529 clauses out of 13070 with flag 14156/356106
750.58/404.27	c cleaning 6770 clauses out of 13541 with flag 28157/363106
752.18/405.06	c And the winner is solver0
752.65/405.48	c Got one! Elapsed wall clock time (in seconds):405.355
752.65/405.48	o -8034
763.52/410.80	c cleaning 6246 clauses out of 12499 with flag 10050/368834
769.72/413.90	c And the winner is solver0
770.02/414.20	c Got one! Elapsed wall clock time (in seconds):414.071
770.02/414.20	o -8052
776.60/417.57	c cleaning 6108 clauses out of 12217 with flag 6005/374798
779.20/418.89	c And the winner is solver0
779.80/419.36	c Got one! Elapsed wall clock time (in seconds):419.237
779.80/419.36	o -8056
780.92/419.93	c And the winner is solver0
781.46/420.48	c Got one! Elapsed wall clock time (in seconds):420.352
781.46/420.48	o -8067
782.16/420.87	c And the winner is solver0
782.94/421.54	c Got one! Elapsed wall clock time (in seconds):421.417
782.94/421.54	o -8069
783.13/421.67	c And the winner is solver0
783.41/422.06	c Got one! Elapsed wall clock time (in seconds):421.931
783.41/422.06	o -8078
783.41/422.08	c And the winner is solver0
783.44/422.57	c Got one! Elapsed wall clock time (in seconds):422.445
783.44/422.57	o -8085
788.88/425.39	c And the winner is solver0
789.37/425.74	c Got one! Elapsed wall clock time (in seconds):425.61
789.37/425.74	o -8089
789.67/425.92	c And the winner is solver0
789.85/426.25	c Got one! Elapsed wall clock time (in seconds):426.125
789.85/426.25	o -8094
789.92/426.35	c And the winner is solver0
790.09/426.77	c Got one! Elapsed wall clock time (in seconds):426.64
790.09/426.77	o -8095
790.94/427.25	c And the winner is solver0
791.60/427.88	c Got one! Elapsed wall clock time (in seconds):427.755
791.60/427.88	o -8109
795.69/429.98	c cleaning 6663 clauses out of 13330 with flag 4062/382019
807.49/435.86	c cleaning 6327 clauses out of 12666 with flag 16115/388018
819.30/441.61	c And the winner is solver0
819.71/442.05	c Got one! Elapsed wall clock time (in seconds):441.921
819.71/442.05	o -8148
828.41/446.43	c And the winner is solver0
828.85/446.87	c Got one! Elapsed wall clock time (in seconds):446.738
828.85/446.87	o -8158
830.14/447.52	c And the winner is solver0
830.56/447.98	c Got one! Elapsed wall clock time (in seconds):447.853
830.56/447.98	o -8168
831.24/448.37	c And the winner is solver0
831.62/448.64	c Got one! Elapsed wall clock time (in seconds):448.517
831.62/448.64	o -8175
833.96/449.80	c cleaning 8983 clauses out of 17965 with flag 2036/399644
834.17/449.98	c And the winner is solver0
834.54/450.26	c Got one! Elapsed wall clock time (in seconds):450.133
834.54/450.26	o -8188
837.59/452.19	c And the winner is solver0
837.98/452.47	c Got one! Elapsed wall clock time (in seconds):452.339
837.98/452.47	o -8191
838.06/452.52	c And the winner is solver0
838.15/452.98	c Got one! Elapsed wall clock time (in seconds):452.853
838.15/452.98	o -8192
838.17/453.00	c And the winner is solver0
838.19/453.50	c Got one! Elapsed wall clock time (in seconds):453.368
838.19/453.50	o -8201
838.19/453.52	c And the winner is solver0
838.24/454.01	c Got one! Elapsed wall clock time (in seconds):453.882
838.24/454.01	o -8208
848.80/459.30	c cleaning 7476 clauses out of 14954 with flag 10021/405616
857.01/463.41	c And the winner is solver0
857.43/463.88	c Got one! Elapsed wall clock time (in seconds):463.749
857.43/463.88	o -8322
859.13/464.79	c cleaning 6246 clauses out of 12503 with flag 2001/410641
870.00/470.13	c cleaning 6123 clauses out of 12258 with flag 14003/416642
882.61/476.46	c cleaning 6562 clauses out of 13134 with flag 28001/423641
898.01/484.11	c cleaning 7287 clauses out of 14573 with flag 44003/431642
916.30/493.21	c cleaning 8140 clauses out of 16285 with flag 62001/440641
936.70/503.48	c cleaning 9071 clauses out of 18145 with flag 82001/450641
959.87/514.98	c cleaning 10036 clauses out of 20074 with flag 104001/461641
985.05/527.54	c cleaning 11016 clauses out of 22039 with flag 128003/473642
1014.84/542.38	c cleaning 12007 clauses out of 24022 with flag 154001/486641
1046.51/558.04	c cleaning 13003 clauses out of 26016 with flag 182003/500642
1053.41/561.31	c And the winner is solver1
1053.49/561.41	c Got one! Elapsed wall clock time (in seconds):561.284
1053.49/561.41	o -9337
1053.67/561.50	c And the winner is solver0
1053.75/561.93	c Got one! Elapsed wall clock time (in seconds):561.799
1053.75/561.93	o -9444
1053.87/562.04	c And the winner is solver0
1054.06/562.44	c Got one! Elapsed wall clock time (in seconds):562.315
1054.06/562.44	o -9637
1054.16/562.52	c And the winner is solver0
1054.28/562.96	c Got one! Elapsed wall clock time (in seconds):562.83
1054.28/562.96	o -9815
1054.54/563.19	c And the winner is solver0
1054.89/563.47	c Got one! Elapsed wall clock time (in seconds):563.344
1054.89/563.47	o -10345
1055.13/563.68	c And the winner is solver0
1055.46/563.99	c Got one! Elapsed wall clock time (in seconds):563.859
1055.46/563.99	o -10368
1055.66/564.18	c And the winner is solver0
1055.97/564.50	c Got one! Elapsed wall clock time (in seconds):564.374
1055.97/564.50	o -10773
1056.35/564.70	c And the winner is solver0
1056.52/565.02	c Got one! Elapsed wall clock time (in seconds):564.888
1056.52/565.02	o -10786
1056.87/565.20	c And the winner is solver0
1057.03/565.53	c Got one! Elapsed wall clock time (in seconds):565.403
1057.03/565.53	o -10922
1057.95/566.05	c And the winner is solver0
1058.39/566.55	c Got one! Elapsed wall clock time (in seconds):566.418
1058.39/566.55	o -10972
1058.67/566.75	c And the winner is solver0
1058.94/567.06	c Got one! Elapsed wall clock time (in seconds):566.933
1058.94/567.06	o -11201
1059.60/567.40	c And the winner is solver0
1059.91/567.73	c Got one! Elapsed wall clock time (in seconds):567.598
1059.91/567.73	o -11369
1060.85/568.10	c And the winner is solver0
1060.96/568.29	c Got one! Elapsed wall clock time (in seconds):568.163
1060.96/568.29	o -11589
1061.43/568.57	c And the winner is solver0
1061.90/568.96	c Got one! Elapsed wall clock time (in seconds):568.828
1061.90/568.96	o -11662
1063.83/569.95	c And the winner is solver0
1064.37/570.42	c Got one! Elapsed wall clock time (in seconds):570.293
1064.37/570.42	o -11897
1064.91/570.78	c And the winner is solver0
1065.30/571.09	c Got one! Elapsed wall clock time (in seconds):570.958
1065.30/571.09	o -11899
1068.15/572.58	c And the winner is solver0
1068.94/573.25	c Got one! Elapsed wall clock time (in seconds):573.124
1068.94/573.25	o -11988
1075.34/576.96	c cleaning 11208 clauses out of 22420 with flag 4036/510049
1085.74/582.12	c And the winner is solver0
1086.57/582.93	c Got one! Elapsed wall clock time (in seconds):582.802
1086.57/582.93	o -12000
1088.91/584.11	c cleaning 8503 clauses out of 17011 with flag 2013/515848
1095.97/587.60	c And the winner is solver0
1096.68/588.40	c Got one! Elapsed wall clock time (in seconds):588.268
1096.68/588.40	o -12062
1097.17/588.62	c And the winner is solver0
1097.40/588.91	c Got one! Elapsed wall clock time (in seconds):588.784
1097.40/588.91	o -12249
1101.75/591.13	c cleaning 6979 clauses out of 13961 with flag 4014/521301
1114.42/597.44	c cleaning 6490 clauses out of 12983 with flag 16054/527302
1129.21/604.82	c cleaning 6744 clauses out of 13492 with flag 30107/534301
1146.12/613.27	c cleaning 7371 clauses out of 14748 with flag 46211/542301
1165.71/622.95	c cleaning 8185 clauses out of 16377 with flag 64308/551301
1187.12/633.62	c cleaning 9095 clauses out of 18193 with flag 84414/561302
1193.03/636.58	c And the winner is solver0
1193.61/637.02	c Got one! Elapsed wall clock time (in seconds):636.89
1193.61/637.02	o -12263
1199.97/640.29	c cleaning 7327 clauses out of 14656 with flag 6042/566860
1210.08/645.22	c And the winner is solver0
1210.51/645.68	c Got one! Elapsed wall clock time (in seconds):645.556
1210.51/645.68	o -12274
1212.79/646.83	c cleaning 6480 clauses out of 12964 with flag 2011/572495
1225.38/653.10	c cleaning 6240 clauses out of 12484 with flag 14065/578495
1238.07/659.42	c And the winner is solver0
1238.70/660.06	c Got one! Elapsed wall clock time (in seconds):659.93
1238.70/660.06	o -12282
1249.63/665.53	c cleaning 8620 clauses out of 17240 with flag 10044/589491
1262.51/671.95	c cleaning 7307 clauses out of 14620 with flag 22091/595491
1277.31/679.36	c cleaning 7155 clauses out of 14312 with flag 36164/602490
1294.38/687.84	c cleaning 7578 clauses out of 15157 with flag 52221/610490
1313.79/697.51	c cleaning 8290 clauses out of 16580 with flag 70327/619491
1336.47/708.86	c cleaning 9144 clauses out of 18290 with flag 90416/629491
1361.63/721.32	c cleaning 10072 clauses out of 20145 with flag 112533/640490
1388.41/734.66	c cleaning 11035 clauses out of 22073 with flag 136709/652490
1419.05/749.86	c cleaning 12018 clauses out of 24039 with flag 162882/665491
1452.34/766.35	c cleaning 13009 clauses out of 26021 with flag 191047/679491
1487.34/783.84	c cleaning 14004 clauses out of 28011 with flag 221300/694490
1489.75/785.06	c And the winner is solver0
1491.53/786.25	c Got one! Elapsed wall clock time (in seconds):786.127
1491.53/786.25	o -12287
1500.07/790.56	c And the winner is solver0
1500.94/791.32	c Got one! Elapsed wall clock time (in seconds):791.194
1500.94/791.32	o -12322
1503.06/792.45	c cleaning 9962 clauses out of 19928 with flag 2018/700411
1516.58/799.01	c cleaning 7981 clauses out of 15966 with flag 14084/706411
1532.17/806.63	c cleaning 7489 clauses out of 14984 with flag 28175/713410
1549.18/815.16	c cleaning 7745 clauses out of 15495 with flag 44276/721410
1571.00/826.71	c cleaning 8373 clauses out of 16751 with flag 62400/730411
1592.66/837.56	c cleaning 9187 clauses out of 18377 with flag 82535/740410
1617.93/850.11	c cleaning 10096 clauses out of 20191 with flag 104705/751411
1618.54/850.43	c And the winner is solver0
1619.33/851.07	c Got one! Elapsed wall clock time (in seconds):850.935
1619.33/851.07	o -12329
1630.83/856.85	c cleaning 7689 clauses out of 15383 with flag 10095/756699
1644.33/863.59	c cleaning 6845 clauses out of 13693 with flag 22199/762698
1659.32/871.03	c cleaning 6923 clauses out of 13849 with flag 36289/769699
1677.01/879.89	c cleaning 7460 clauses out of 14925 with flag 52431/777698
1694.91/888.73	c And the winner is solver0
1695.65/889.43	c Got one! Elapsed wall clock time (in seconds):889.307
1695.65/889.43	o -12330
1707.17/895.29	c cleaning 10049 clauses out of 20099 with flag 10110/790332
1721.30/902.22	c cleaning 8025 clauses out of 16050 with flag 22200/796332
1737.10/910.12	c cleaning 7513 clauses out of 15025 with flag 36330/803332
1755.46/919.28	c cleaning 7752 clauses out of 15511 with flag 52434/811331
1760.46/921.73	c And the winner is solver0
1761.40/922.61	c Got one! Elapsed wall clock time (in seconds):922.482
1761.40/922.61	o -12381
1768.11/925.91	c cleaning 6456 clauses out of 12913 with flag 6084/816485
1780.51/932.16	c cleaning 6225 clauses out of 12456 with flag 18161/822484
1795.65/939.61	c cleaning 6613 clauses out of 13232 with flag 32233/829485
1800.27/941.95	c >>>>>>>>>> Solver number 0 (149 answers) <<<<<<<<<<<<<<<<<<
1800.27/941.95	c starts		: 6674
1800.27/941.95	c conflicts		: 831801
1800.27/941.95	c decisions		: 1057196
1800.27/941.95	c propagations		: 373347773
1800.27/941.95	c inspects		: 2056239994
1800.27/941.95	c shortcuts		: 0
1800.27/941.95	c learnt literals	: 0
1800.27/941.95	c learnt binary clauses	: 0
1800.27/941.95	c learnt ternary clauses	: 5
1800.27/941.95	c learnt constraints	: 831800
1800.27/941.95	c ignored constraints	: 0
1800.27/941.95	c root simplifications	: 0
1800.27/941.95	c removed literals (reason simplification)	: 422623134
1800.27/941.95	c reason swapping (by a shorter reason)	: 0
1800.27/941.95	c Calls to reduceDB	: 109
1800.27/941.95	c Number of update (reduction) of LBD	: 822
1800.27/941.95	c Imported unit clauses	: 0
1800.27/941.95	c number of reductions to clauses (during analyze)	: 0
1800.27/941.95	c number of learned constraints concerned by reduction	: 0
1800.27/941.95	c number of learning phase by resolution	: 0
1800.27/941.95	c number of learning phase by cutting planes	: 0
1800.27/941.95	c speed (assignments/second)	: 981133.4622773154
1800.27/941.95	c non guided choices	0
1800.27/941.96	c learnt constraints type 
1800.27/941.96	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 8935
1800.27/941.96	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.27/941.96	c starts		: 153
1800.27/941.96	c conflicts		: 1011
1800.27/941.96	c decisions		: 5746
1800.27/941.96	c propagations		: 1336945
1800.27/941.96	c inspects		: 157953996
1800.27/941.96	c shortcuts		: 0
1800.27/941.96	c learnt literals	: 0
1800.27/941.96	c learnt binary clauses	: 0
1800.27/941.96	c learnt ternary clauses	: 0
1800.27/941.96	c learnt constraints	: 893
1800.27/941.96	c ignored constraints	: 0
1800.27/941.96	c root simplifications	: 0
1800.27/941.96	c removed literals (reason simplification)	: 0
1800.27/941.96	c reason swapping (by a shorter reason)	: 0
1800.27/941.96	c Calls to reduceDB	: 0
1800.27/941.96	c Number of update (reduction) of LBD	: 0
1800.27/941.96	c Imported unit clauses	: 0
1800.27/941.96	c number of reductions to clauses (during analyze)	: 0
1800.27/941.96	c number of learned constraints concerned by reduction	: 0
1800.27/941.96	c number of learning phase by resolution	: 0
1800.27/941.96	c number of learning phase by cutting planes	: 0
1800.27/941.96	c speed (assignments/second)	: 69157.09704117525
1800.27/941.96	c non guided choices	0
1800.27/941.96	c learnt constraints type 
1800.27/941.96	c org.sat4j.pb.constraints.pb.MaxWatchPb => 893
1800.27/941.96	s SATISFIABLE
1800.27/941.96	c Found 150 solution(s)
1800.27/941.97	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 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 -x6734 -x6735 -x6736 x6737 -x6738 -x6739 -x6740 x6741 -x6742 -x6743 x6744 x6745 x6746 x6747 x6748 x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 x6773 -x6774 -x6775 -x6776 x6777 -x6778 -x6779 x6780 x6781 x6782 x6783 x6784 x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 x6867 -x6868 -x6869 x6870 x6871 x6872 x6873 x6874 x6875 -x6876 -x6877 x6878 x6879 x6880 x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 x6942 x6943 x6944 x6945 x6946 x6947 -x6948 -x6949 x6950 x6951 x6952 x6953 -x6954 x6955 -x6956 x6957 x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 x6997 x6998 x6999 x7000 x7001 -x7002 -x7003 x7004 x7005 x7006 x7007 -x7008 x7009 -x7010 x7011 x7012 -x7013 -x7014 x7015 x7016 x7017 x7018 x7019 -x7020 -x7021 x7022 x7023 x7024 x7025 -x7026 x7027 -x7028 x7029 x7030 -x7031 -x7032 x7033 -x7034 x7035 x7036 x7037 -x7038 -x7039 x7040 x7041 x7042 x7043 -x7044 x7045 -x7046 x7047 x7048 -x7049 -x7050 x7051 -x7052 -x7053 x7054 x7055 -x7056 -x7057 x7058 x7059 x7060 x7061 -x7062 x7063 -x7064 x7065 x7066 -x7067 -x7068 x7069 -x7070 -x7071 -x7072 x7073 -x7074 -x7075 x7076 x7077 x7078 x7079 -x7080 x7081 -x7082 x7083 x7084 -x7085 -x7086 x7087 -x7088 -x7089 -x7090 -x7091 -x7092 x7093 x7094 x7095 x7096 -x7097 x7098 -x7099 x7100 x7101 -x7102 -x7103 x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 x7139 x7140 x7141 -x7142 x7143 -x7144 x7145 x7146 -x7147 -x7148 x7149 -x7150 -x7151 -x7152 x7153 x7154 -x7155 x7156 -x7157 x7158 x7159 -x7160 -x7161 x7162 -x7163 -x7164 -x7165 x7166 -x7167 x7168 -x7169 x7170 x7171 -x7172 -x7173 x7174 -x7175 -x7176 -x7177 -x7178 x7179 -x7180 x7181 x7182 -x7183 -x7184 x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 x7200 x7201 -x7202 -x7203 x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 x7216 -x7217 -x7218 x7219 -x7220 -x7221 -x7222 -x7223 -x7224 x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 
1800.27/941.98	c objective function=-12381
1800.27/941.98	c Total wall clock time (in seconds): 941.852

OK	-12381

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118683-1467235379/watcher-4118683-1467235379 -o /tmp/evaluation-result-4118683-1467235379/solver-4118683-1467235379 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467234298-6334 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118683-1467235379.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.70 3.96 3.43 3/197 7004
/proc/meminfo: memFree=23662080/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/7004/stat : 7004 (java) D 7001 7004 3791 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 4498939 9515008 175 33554432000 1073741824 1073778376 140735758677568 140735758660296 266435642256 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/7004/statm: 2323 175 133 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 3.70 3.96 3.43 3/197 7004
/proc/meminfo: memFree=23662080/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 4314 0 1 0 7 0 0 0 20 0 18 0 4498939 9787879424 5438 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2389619 5438 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 3.70 3.96 3.43 3/197 7004
/proc/meminfo: memFree=23662080/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 4947 0 1 0 26 1 0 0 20 0 18 0 4498939 9787879424 6961 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2389619 6961 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300236 s]
/proc/loadavg: 3.70 3.96 3.43 3/197 7004
/proc/meminfo: memFree=23662080/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 5697 0 1 0 44 1 0 0 20 0 18 0 4498939 9787879424 9421 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2389619 9421 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700189 s]
/proc/loadavg: 3.70 3.96 3.43 3/197 7004
/proc/meminfo: memFree=23662080/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 28808 0 1 0 164 5 0 0 20 0 22 0 4498939 10060525568 38686 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2456183 38686 2256 9 0 2446860 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 3.70 3.96 3.43 3/216 7026
/proc/meminfo: memFree=23515556/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 29187 0 1 0 304 9 0 0 20 0 19 0 4498939 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2456183 42107 2267 9 0 2446860 0
[pid=7004/tid=7006] ppid=7001 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/7004/task/7006/stat : 7006 (java) S 7001 7004 3791 0 -1 4202560 2457 0 1 0 60 2 0 0 20 0 19 0 4498940 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948809786232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7007] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7007/stat : 7007 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948771277352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7008] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7008/stat : 7008 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948770224552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7009] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7009/stat : 7009 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948769171752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7010] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7010/stat : 7010 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948768118952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7011] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7011/stat : 7011 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948767067176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7012] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7012/stat : 7012 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948766014376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7013] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7013/stat : 7013 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948764961576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7014] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7014/stat : 7014 (java) S 7001 7004 3791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948763908776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7015] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7015/stat : 7015 (java) S 7001 7004 3791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4498943 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948633061864 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7016] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7016/stat : 7016 (java) S 7001 7004 3791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4498943 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948632007928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7017] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7017/stat : 7017 (java) S 7001 7004 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4498943 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948630955016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7018] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7018/stat : 7018 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498945 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948629903504 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7019] ppid=7001 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/7004/task/7019/stat : 7019 (java) S 7001 7004 3791 0 -1 4202560 13665 0 0 0 91 2 0 0 20 0 19 0 4498945 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948628851640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7020] ppid=7001 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/7004/task/7020/stat : 7020 (java) S 7001 7004 3791 0 -1 4202560 11722 0 0 0 91 2 0 0 20 0 19 0 4498945 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948627798840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7021] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7021/stat : 7021 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498945 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948626746232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7022] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7022/stat : 7022 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498946 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139948625693640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7025] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7025/stat : 7025 (java) S 7001 7004 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4499005 10060525568 42107 33554432000 1073741824 1073778376 140735591275104 139947614913448 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 3.70 3.96 3.43 6/215 7032
/proc/meminfo: memFree=23488056/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9824732 CPUtime=3.75 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 29235 0 1 0 359 16 0 0 20 0 19 0 4498939 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2456183 49800 2276 9 0 2446860 0
[pid=7004/tid=7006] ppid=7001 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/7004/task/7006/stat : 7006 (java) S 7001 7004 3791 0 -1 4202560 2464 0 1 0 65 2 0 0 20 0 19 0 4498940 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948809786232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7007] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7007/stat : 7007 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948771277352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7008] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7008/stat : 7008 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948770224552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7009] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7009/stat : 7009 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948769171752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7010] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7010/stat : 7010 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948768118952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7011] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7011/stat : 7011 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948767067176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7012] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7012/stat : 7012 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948766014376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7013] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7013/stat : 7013 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948764961576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7014] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7014/stat : 7014 (java) S 7001 7004 3791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4498941 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948763908776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7015] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7015/stat : 7015 (java) S 7001 7004 3791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4498943 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948633061864 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7016] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7016/stat : 7016 (java) S 7001 7004 3791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4498943 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948632007928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7017] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7017/stat : 7017 (java) S 7001 7004 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4498943 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948630955016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7018] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7018/stat : 7018 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498945 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948629903504 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7019] ppid=7001 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/7004/task/7019/stat : 7019 (java) S 7001 7004 3791 0 -1 4202560 13671 0 0 0 109 2 0 0 20 0 19 0 4498945 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948628851640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7020] ppid=7001 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/7004/task/7020/stat : 7020 (java) S 7001 7004 3791 0 -1 4202560 11728 0 0 0 110 3 0 0 20 0 19 0 4498945 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948627798840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7021] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7021/stat : 7021 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498945 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948626746232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7022] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7022/stat : 7022 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4498946 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139948625693640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7025] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7025/stat : 7025 (java) S 7001 7004 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4499005 10060525568 49800 33554432000 1073741824 1073778376 140735591275104 139947614913448 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9824732

[startup+6.30071 s]
/proc/loadavg: 3.56 3.93 3.43 3/215 7053
/proc/meminfo: memFree=23442644/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9824732 CPUtime=4.27 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 29352 0 1 0 400 27 0 0 20 0 20 0 4498939 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2456183 56901 2289 9 0 2446860 0
[pid=7004/tid=7006] ppid=7001 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/7004/task/7006/stat : 7006 (java) S 7001 7004 3791 0 -1 4202560 2468 0 1 0 71 2 0 0 20 0 20 0 4498940 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948809786232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7007] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7007/stat : 7007 (java) S 7001 7004 3791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 4498941 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948771277352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7008] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7008/stat : 7008 (java) S 7001 7004 3791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 4498941 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948770224552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7009] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7009/stat : 7009 (java) S 7001 7004 3791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 4498941 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948769171752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7010] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7010/stat : 7010 (java) S 7001 7004 3791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 4498941 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948768118952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7011] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7011/stat : 7011 (java) S 7001 7004 3791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 4498941 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948767067176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7012] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7012/stat : 7012 (java) S 7001 7004 3791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 4498941 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948766014376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7013] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7013/stat : 7013 (java) S 7001 7004 3791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 4498941 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948764961576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7014] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7014/stat : 7014 (java) S 7001 7004 3791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 4498941 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948763908776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7015] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7015/stat : 7015 (java) S 7001 7004 3791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 4498943 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948633061864 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7016] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7016/stat : 7016 (java) S 7001 7004 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 4498943 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948632007928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7017] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7017/stat : 7017 (java) S 7001 7004 3791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 4498943 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948630955016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7018] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7018/stat : 7018 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4498945 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948629903504 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7019] ppid=7001 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/7004/task/7019/stat : 7019 (java) S 7001 7004 3791 0 -1 4202560 13672 0 0 0 115 2 0 0 20 0 20 0 4498945 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948628851640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7020] ppid=7001 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/7004/task/7020/stat : 7020 (java) S 7001 7004 3791 0 -1 4202560 11728 0 0 0 114 3 0 0 20 0 20 0 4498945 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948627798840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7021] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7021/stat : 7021 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4498945 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948626746232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7022] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7022/stat : 7022 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4498946 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139948625693640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7025] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7025/stat : 7025 (java) S 7001 7004 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4499005 10060525568 56901 33554432000 1073741824 1073778376 140735591275104 139947614913448 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9824732
heavy processes:

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


[startup+882.308 s]
/proc/loadavg: 4.21 4.21 3.87 11/219 7783
/proc/meminfo: memFree=21015532/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9824732 CPUtime=1682.02 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 42546 0 1 0 167565 637 0 0 20 0 22 0 4498939 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2456183 947360 2303 9 0 2446860 0
[pid=7004/tid=7006] ppid=7001 vsize=9824732 CPUtime=2.44 cores=0,2,4,6
/proc/7004/task/7006/stat : 7006 (java) S 7001 7004 3791 0 -1 4202560 2497 0 1 0 239 5 0 0 20 0 22 0 4498940 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948809786232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7007] ppid=7001 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/7004/task/7007/stat : 7007 (java) S 7001 7004 3791 0 -1 4202560 819 0 0 0 222 33 0 0 20 0 22 0 4498941 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948771277352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7008] ppid=7001 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/7004/task/7008/stat : 7008 (java) S 7001 7004 3791 0 -1 4202560 869 0 0 0 250 38 0 0 20 0 22 0 4498941 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948770224552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7009] ppid=7001 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/7004/task/7009/stat : 7009 (java) S 7001 7004 3791 0 -1 4202560 828 0 0 0 229 34 0 0 20 0 22 0 4498941 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948769171752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7010] ppid=7001 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/7004/task/7010/stat : 7010 (java) S 7001 7004 3791 0 -1 4202560 738 0 0 0 238 35 0 0 20 0 22 0 4498941 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948768118952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7011] ppid=7001 vsize=9824732 CPUtime=3.06 cores=0,2,4,6
/proc/7004/task/7011/stat : 7011 (java) S 7001 7004 3791 0 -1 4202560 1030 0 0 0 260 46 0 0 20 0 22 0 4498941 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948767067176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7012] ppid=7001 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/7004/task/7012/stat : 7012 (java) S 7001 7004 3791 0 -1 4202560 719 0 0 0 217 41 0 0 20 0 22 0 4498941 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948766014376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7013] ppid=7001 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/7004/task/7013/stat : 7013 (java) S 7001 7004 3791 0 -1 4202560 979 0 0 0 247 42 0 0 20 0 22 0 4498941 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948764961576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7014] ppid=7001 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/7004/task/7014/stat : 7014 (java) S 7001 7004 3791 0 -1 4202560 1039 0 0 0 221 35 0 0 20 0 22 0 4498941 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948763908776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7015] ppid=7001 vsize=9824732 CPUtime=5.72 cores=0,2,4,6
/proc/7004/task/7015/stat : 7015 (java) S 7001 7004 3791 0 -1 4202560 2906 0 0 0 558 14 0 0 20 0 22 0 4498943 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948633061864 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7016] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7016/stat : 7016 (java) S 7001 7004 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4498943 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948632007928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7017] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7017/stat : 7017 (java) S 7001 7004 3791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 22 0 4498943 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948630955016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7018] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7018/stat : 7018 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4498945 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948629903504 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7019] ppid=7001 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/7004/task/7019/stat : 7019 (java) S 7001 7004 3791 0 -1 4202560 13692 0 0 0 162 2 0 0 20 0 22 0 4498945 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948628851640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7020] ppid=7001 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/7004/task/7020/stat : 7020 (java) S 7001 7004 3791 0 -1 4202560 11763 0 0 0 176 3 0 0 20 0 22 0 4498945 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948627798840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7021] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7021/stat : 7021 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4498945 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948626746232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7022] ppid=7001 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/7004/task/7022/stat : 7022 (java) S 7001 7004 3791 0 -1 4202560 51 0 0 0 11 12 0 0 20 0 22 0 4498946 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139948625693640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7415] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7415/stat : 7415 (java) S 7001 7004 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4555082 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139947615966888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7781] ppid=7001 vsize=9824732 CPUtime=31.1 cores=0,2,4,6
/proc/7004/task/7781/stat : 7781 (java) R 7001 7004 3791 0 -1 4202560 3 0 0 0 3110 0 0 0 20 0 22 0 4584047 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139947613852048 139948641136127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7782] ppid=7001 vsize=9824732 CPUtime=31.11 cores=0,2,4,6
/proc/7004/task/7782/stat : 7782 (java) R 7001 7004 3791 0 -1 4202560 5 0 0 0 3111 0 0 0 20 0 22 0 4584047 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139947614911888 139948641538554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7783] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7783/stat : 7783 (java) S 7001 7004 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4584047 10060525568 947360 33554432000 1073741824 1073778376 140735591275104 139947617019176 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1682.02
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+941.801 s]
/proc/loadavg: 4.23 4.22 3.90 5/219 7791
/proc/meminfo: memFree=20170856/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 42650 0 1 0 179363 642 0 0 20 0 22 0 4498939 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2456183 943512 2303 9 0 2446860 0
[pid=7004/tid=7006] ppid=7001 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/7004/task/7006/stat : 7006 (java) S 7001 7004 3791 0 -1 4202560 2497 0 1 0 242 5 0 0 20 0 22 0 4498940 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948809786232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7007] ppid=7001 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/7004/task/7007/stat : 7007 (java) S 7001 7004 3791 0 -1 4202560 827 0 0 0 243 33 0 0 20 0 22 0 4498941 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948771277352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7008] ppid=7001 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/7004/task/7008/stat : 7008 (java) S 7001 7004 3791 0 -1 4202560 873 0 0 0 265 38 0 0 20 0 22 0 4498941 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948770224552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7009] ppid=7001 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/7004/task/7009/stat : 7009 (java) S 7001 7004 3791 0 -1 4202560 831 0 0 0 243 34 0 0 20 0 22 0 4498941 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948769171752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7010] ppid=7001 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/7004/task/7010/stat : 7010 (java) S 7001 7004 3791 0 -1 4202560 742 0 0 0 254 35 0 0 20 0 22 0 4498941 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948768118952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7011] ppid=7001 vsize=9824732 CPUtime=3.24 cores=0,2,4,6
/proc/7004/task/7011/stat : 7011 (java) S 7001 7004 3791 0 -1 4202560 1036 0 0 0 278 46 0 0 20 0 22 0 4498941 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948767067176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7012] ppid=7001 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/7004/task/7012/stat : 7012 (java) S 7001 7004 3791 0 -1 4202560 723 0 0 0 230 41 0 0 20 0 22 0 4498941 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948766014376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7013] ppid=7001 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/7004/task/7013/stat : 7013 (java) S 7001 7004 3791 0 -1 4202560 982 0 0 0 271 42 0 0 20 0 22 0 4498941 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948764961576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7014] ppid=7001 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/7004/task/7014/stat : 7014 (java) S 7001 7004 3791 0 -1 4202560 1042 0 0 0 244 35 0 0 20 0 22 0 4498941 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948763908776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7015] ppid=7001 vsize=9824732 CPUtime=5.72 cores=0,2,4,6
/proc/7004/task/7015/stat : 7015 (java) S 7001 7004 3791 0 -1 4202560 2945 0 0 0 558 14 0 0 20 0 22 0 4498943 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948633061864 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7016] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7016/stat : 7016 (java) S 7001 7004 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4498943 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948632007928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7017] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7017/stat : 7017 (java) S 7001 7004 3791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 22 0 4498943 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948630955016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7018] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7018/stat : 7018 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4498945 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948629903504 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7019] ppid=7001 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/7004/task/7019/stat : 7019 (java) S 7001 7004 3791 0 -1 4202560 13692 0 0 0 162 2 0 0 20 0 22 0 4498945 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948628851640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7020] ppid=7001 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/7004/task/7020/stat : 7020 (java) S 7001 7004 3791 0 -1 4202560 11764 0 0 0 176 3 0 0 20 0 22 0 4498945 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948627798840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7021] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7021/stat : 7021 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4498945 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948626746232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7022] ppid=7001 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/7004/task/7022/stat : 7022 (java) S 7001 7004 3791 0 -1 4202560 55 0 0 0 11 13 0 0 20 0 22 0 4498946 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139948625693640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7415] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7415/stat : 7415 (java) S 7001 7004 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4555082 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139947615966888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7789] ppid=7001 vsize=9824732 CPUtime=19 cores=0,2,4,6
/proc/7004/task/7789/stat : 7789 (java) R 7001 7004 3791 0 -1 4202560 5 0 0 0 1900 0 0 0 20 0 22 0 4591202 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139947617009296 139948641136149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7790] ppid=7001 vsize=9824732 CPUtime=18.99 cores=0,2,4,6
/proc/7004/task/7790/stat : 7790 (java) R 7001 7004 3791 0 -1 4202560 4 0 0 0 1899 0 0 0 20 0 22 0 4591202 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139947613858688 139948641538641 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7791] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7791/stat : 7791 (java) S 7001 7004 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4591202 10060525568 943512 33554432000 1073741824 1073778376 140735591275104 139947614914088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732

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

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

[startup+941.908 s]
/proc/loadavg: 4.23 4.22 3.90 5/219 7791
/proc/meminfo: memFree=20170856/32872528 swapFree=1427512/1541976
[pid=7004] ppid=7001 vsize=9824732 CPUtime=1800.27 cores=0,2,4,6
/proc/7004/stat : 7004 (java) S 7001 7004 3791 0 -1 4202496 42657 0 1 0 179385 642 0 0 20 0 22 0 4498939 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 140735591266240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7004/statm: 2456183 943518 2303 9 0 2446860 0
[pid=7004/tid=7006] ppid=7001 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/7004/task/7006/stat : 7006 (java) S 7001 7004 3791 0 -1 4202560 2497 0 1 0 242 5 0 0 20 0 22 0 4498940 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948809786232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7007] ppid=7001 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/7004/task/7007/stat : 7007 (java) S 7001 7004 3791 0 -1 4202560 827 0 0 0 243 33 0 0 20 0 22 0 4498941 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948771277352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7008] ppid=7001 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/7004/task/7008/stat : 7008 (java) S 7001 7004 3791 0 -1 4202560 873 0 0 0 265 38 0 0 20 0 22 0 4498941 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948770224552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7009] ppid=7001 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/7004/task/7009/stat : 7009 (java) S 7001 7004 3791 0 -1 4202560 831 0 0 0 243 34 0 0 20 0 22 0 4498941 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948769171752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7010] ppid=7001 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/7004/task/7010/stat : 7010 (java) S 7001 7004 3791 0 -1 4202560 742 0 0 0 254 35 0 0 20 0 22 0 4498941 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948768118952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7011] ppid=7001 vsize=9824732 CPUtime=3.24 cores=0,2,4,6
/proc/7004/task/7011/stat : 7011 (java) S 7001 7004 3791 0 -1 4202560 1036 0 0 0 278 46 0 0 20 0 22 0 4498941 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948767067176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7012] ppid=7001 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/7004/task/7012/stat : 7012 (java) S 7001 7004 3791 0 -1 4202560 723 0 0 0 230 41 0 0 20 0 22 0 4498941 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948766014376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7013] ppid=7001 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/7004/task/7013/stat : 7013 (java) S 7001 7004 3791 0 -1 4202560 982 0 0 0 271 42 0 0 20 0 22 0 4498941 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948764961576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7014] ppid=7001 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/7004/task/7014/stat : 7014 (java) S 7001 7004 3791 0 -1 4202560 1042 0 0 0 244 35 0 0 20 0 22 0 4498941 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948763908776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7015] ppid=7001 vsize=9824732 CPUtime=5.72 cores=0,2,4,6
/proc/7004/task/7015/stat : 7015 (java) S 7001 7004 3791 0 -1 4202560 2945 0 0 0 558 14 0 0 20 0 22 0 4498943 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948633061864 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7016] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7016/stat : 7016 (java) S 7001 7004 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4498943 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948632007928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7017] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7017/stat : 7017 (java) S 7001 7004 3791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 22 0 4498943 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948630955016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7018] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7018/stat : 7018 (java) D 7001 7004 3791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4498945 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948629900128 266439025933 0 4 0 16800975 18446744072100588836 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7019] ppid=7001 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/7004/task/7019/stat : 7019 (java) S 7001 7004 3791 0 -1 4202560 13692 0 0 0 162 2 0 0 20 0 22 0 4498945 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948628851640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7020] ppid=7001 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/7004/task/7020/stat : 7020 (java) S 7001 7004 3791 0 -1 4202560 11764 0 0 0 176 3 0 0 20 0 22 0 4498945 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948627798840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7021] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7021/stat : 7021 (java) S 7001 7004 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4498945 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948626746232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7004/tid=7022] ppid=7001 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/7004/task/7022/stat : 7022 (java) S 7001 7004 3791 0 -1 4202560 55 0 0 0 11 13 0 0 20 0 22 0 4498946 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139948625693640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7415] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7415/stat : 7415 (java) S 7001 7004 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4555082 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139947615966888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7004/tid=7789] ppid=7001 vsize=9824732 CPUtime=19.11 cores=0,2,4,6
/proc/7004/task/7789/stat : 7789 (java) R 7001 7004 3791 0 -1 4202560 5 0 0 0 1911 0 0 0 20 0 22 0 4591202 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139947617009296 139948641675025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7004/tid=7790] ppid=7001 vsize=9824732 CPUtime=19.1 cores=0,2,4,6
/proc/7004/task/7790/stat : 7790 (java) R 7001 7004 3791 0 -1 4202560 4 0 0 0 1910 0 0 0 20 0 22 0 4591202 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139947613858688 139948641538554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7004/tid=7791] ppid=7001 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7004/task/7791/stat : 7791 (java) S 7001 7004 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4591202 10060525568 943518 33554432000 1073741824 1073778376 140735591275104 139947614914088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 942
CPU time (s): 1800.59
CPU user time (s): 1793.94
CPU system time (s): 6.64999
CPU usage (%): 191.145
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.94
system time used= 6.64999
maximum resident set size= 3789512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42688
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27878
involuntary context switches= 20750

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04308 second user time and 7.44487 second system time

The end

Begin job on node116 at 2016-06-29 23:22:59
IDJOB=4118683
IDBENCH=111521
IDSOLVER=2543
FILE ID=node116/4118683-1467235379
RUNJOBID= node116-1467234298-6334
PBS_JOBID= 19997584
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-20.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118683-1467235379/watcher-4118683-1467235379 -o /tmp/evaluation-result-4118683-1467235379/solver-4118683-1467235379 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467234298-6334 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118683-1467235379.opb

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

MD5SUM BENCH= 50074ccb0c1151a760791f0459c98771
RANDOM SEED=1797582524

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        23662236 kB
Buffers:          168964 kB
Cached:          3423096 kB
SwapCached:            0 kB
Active:          3482032 kB
Inactive:        3431244 kB
Active(anon):    3323668 kB
Inactive(anon):        0 kB
Active(file):     158364 kB
Inactive(file):  3431244 kB
Unevictable:     1541976 kB
Mlocked:         1427512 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1644 kB
Writeback:             0 kB
AnonPages:       4811604 kB
Mapped:            22220 kB
Shmem:               204 kB
Slab:             615468 kB
SReclaimable:      59568 kB
SUnreclaim:       555900 kB
KernelStack:        1808 kB
PageTables:        13556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5412248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3311616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node116 at 2016-06-29 23:38:41