0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118836-1467236754.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
1.06/0.54	c ... done. Wall clock time 0.425s.
1.06/0.54	c declared #vars     5790
1.06/0.54	c #constraints  11470
1.06/0.55	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.06/0.55	c constraints type 
1.06/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5735
1.06/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5735
1.06/0.55	c 11470 constraints processed.
1.06/0.55	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.06/0.55	c constraints type 
1.06/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5735
1.06/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5735
1.06/0.55	c 11470 constraints processed.
1.06/0.55	c objective function length is 5790 literals
1.79/0.72	c And the winner is solver0
2.50/1.05	c SATISFIABLE
2.50/1.05	c OPTIMIZING...
2.50/1.05	c Got one! Elapsed wall clock time (in seconds):0.936
2.50/1.05	o 0
3.07/1.26	c And the winner is solver0
3.43/1.71	c Got one! Elapsed wall clock time (in seconds):1.593
3.43/1.71	o -39
3.43/1.74	c And the winner is solver0
3.59/2.23	c Got one! Elapsed wall clock time (in seconds):2.112
3.59/2.23	o -78
3.59/2.27	c And the winner is solver0
3.92/2.74	c Got one! Elapsed wall clock time (in seconds):2.623
3.92/2.74	o -139
3.92/2.76	c And the winner is solver0
4.04/3.25	c Got one! Elapsed wall clock time (in seconds):3.134
4.04/3.25	o -183
4.04/3.27	c And the winner is solver0
4.11/3.76	c Got one! Elapsed wall clock time (in seconds):3.642
4.11/3.76	o -200
4.11/3.77	c And the winner is solver0
4.12/4.27	c Got one! Elapsed wall clock time (in seconds):4.15
4.12/4.27	o -270
4.18/4.30	c And the winner is solver0
4.21/4.78	c Got one! Elapsed wall clock time (in seconds):4.66
4.21/4.78	o -301
4.26/4.81	c And the winner is solver0
4.31/5.30	c Got one! Elapsed wall clock time (in seconds):5.181
4.31/5.30	o -319
4.31/5.32	c And the winner is solver0
4.33/5.81	c Got one! Elapsed wall clock time (in seconds):5.689
4.33/5.81	o -340
4.33/5.83	c And the winner is solver0
4.37/6.31	c Got one! Elapsed wall clock time (in seconds):6.196
4.37/6.31	o -410
4.37/6.35	c And the winner is solver0
4.44/6.82	c Got one! Elapsed wall clock time (in seconds):6.703
4.44/6.82	o -422
4.44/6.85	c And the winner is solver0
4.51/7.33	c Got one! Elapsed wall clock time (in seconds):7.21
4.51/7.33	o -504
4.70/7.42	c And the winner is solver0
5.20/7.84	c Got one! Elapsed wall clock time (in seconds):7.717
5.20/7.84	o -574
5.38/7.95	c And the winner is solver0
5.76/8.34	c Got one! Elapsed wall clock time (in seconds):8.224
5.76/8.34	o -576
5.87/8.40	c And the winner is solver0
6.18/8.85	c Got one! Elapsed wall clock time (in seconds):8.731
6.18/8.85	o -591
6.18/8.90	c And the winner is solver0
6.65/9.36	c Got one! Elapsed wall clock time (in seconds):9.238
6.65/9.36	o -592
6.65/9.37	c And the winner is solver0
6.67/9.86	c Got one! Elapsed wall clock time (in seconds):9.745
6.67/9.86	o -644
7.03/10.04	c And the winner is solver0
7.30/10.37	c Got one! Elapsed wall clock time (in seconds):10.252
7.30/10.37	o -669
7.38/10.49	c And the winner is solver0
7.83/10.88	c Got one! Elapsed wall clock time (in seconds):10.759
7.83/10.88	o -671
7.85/10.93	c And the winner is solver0
8.23/11.38	c Got one! Elapsed wall clock time (in seconds):11.267
8.23/11.38	o -678
8.25/11.40	c And the winner is solver0
8.26/11.89	c Got one! Elapsed wall clock time (in seconds):11.774
8.26/11.89	o -680
8.27/11.95	c And the winner is solver0
8.67/12.40	c Got one! Elapsed wall clock time (in seconds):12.281
8.67/12.40	o -732
9.07/12.65	c And the winner is solver0
9.28/12.91	c Got one! Elapsed wall clock time (in seconds):12.788
9.28/12.91	o -738
9.28/12.98	c And the winner is solver0
9.76/13.44	c Got one! Elapsed wall clock time (in seconds):13.32
9.76/13.44	o -742
9.76/13.46	c And the winner is solver0
9.81/13.95	c Got one! Elapsed wall clock time (in seconds):13.827
9.81/13.95	o -743
9.81/13.96	c And the winner is solver0
9.85/14.45	c Got one! Elapsed wall clock time (in seconds):14.334
9.85/14.45	o -744
9.85/14.48	c And the winner is solver0
9.91/14.96	c Got one! Elapsed wall clock time (in seconds):14.841
9.91/14.96	o -767
10.18/15.12	c And the winner is solver0
10.43/15.47	c Got one! Elapsed wall clock time (in seconds):15.348
10.43/15.47	o -772
10.50/15.53	c And the winner is solver0
10.89/15.97	c Got one! Elapsed wall clock time (in seconds):15.856
10.89/15.97	o -773
10.93/16.09	c And the winner is solver0
11.39/16.48	c Got one! Elapsed wall clock time (in seconds):16.363
11.39/16.48	o -863
12.21/16.99	c And the winner is solver0
12.61/17.49	c Got one! Elapsed wall clock time (in seconds):17.37
12.61/17.49	o -864
13.52/17.98	c And the winner is solver0
14.03/18.35	c Got one! Elapsed wall clock time (in seconds):18.229
14.03/18.35	o -865
14.38/18.57	c And the winner is solver0
14.66/18.85	c Got one! Elapsed wall clock time (in seconds):18.736
14.66/18.85	o -866
14.74/18.90	c And the winner is solver0
15.05/19.36	c Got one! Elapsed wall clock time (in seconds):19.243
15.05/19.36	o -880
16.36/20.04	c And the winner is solver0
16.52/20.37	c Got one! Elapsed wall clock time (in seconds):20.25
16.52/20.37	o -883
16.77/20.57	c And the winner is solver0
17.04/20.88	c Got one! Elapsed wall clock time (in seconds):20.758
17.04/20.88	o -887
17.09/20.96	c And the winner is solver0
17.46/21.38	c Got one! Elapsed wall clock time (in seconds):21.265
17.46/21.38	o -888
17.49/21.43	c And the winner is solver0
17.84/21.89	c Got one! Elapsed wall clock time (in seconds):21.772
17.84/21.89	o -894
17.85/21.93	c And the winner is solver0
18.21/22.40	c Got one! Elapsed wall clock time (in seconds):22.28
18.21/22.40	o -896
18.21/22.41	c And the winner is solver0
18.21/22.90	c Got one! Elapsed wall clock time (in seconds):22.787
18.21/22.90	o -901
18.21/22.92	c And the winner is solver0
18.22/23.41	c Got one! Elapsed wall clock time (in seconds):23.294
18.22/23.41	o -904
18.22/23.44	c And the winner is solver0
18.57/23.92	c Got one! Elapsed wall clock time (in seconds):23.802
18.57/23.92	o -916
18.98/24.13	c And the winner is solver0
19.21/24.43	c Got one! Elapsed wall clock time (in seconds):24.309
19.21/24.43	o -933
19.54/24.62	c And the winner is solver0
19.72/24.93	c Got one! Elapsed wall clock time (in seconds):24.816
19.72/24.93	o -934
20.73/25.47	c And the winner is solver0
21.01/25.94	c Got one! Elapsed wall clock time (in seconds):25.824
21.01/25.94	o -937
21.51/26.30	c And the winner is solver0
21.71/26.45	c Got one! Elapsed wall clock time (in seconds):26.332
21.71/26.45	o -941
21.88/26.52	c And the winner is solver0
22.22/27.00	c Got one! Elapsed wall clock time (in seconds):26.88
22.22/27.00	o -944
22.22/27.02	c And the winner is solver0
22.27/27.51	c Got one! Elapsed wall clock time (in seconds):27.387
22.27/27.51	o -947
22.27/27.53	c And the winner is solver0
22.31/28.01	c Got one! Elapsed wall clock time (in seconds):27.895
22.31/28.01	o -953
22.31/28.03	c And the winner is solver0
22.32/28.52	c Got one! Elapsed wall clock time (in seconds):28.402
22.32/28.52	o -954
22.32/28.54	c And the winner is solver0
22.38/29.03	c Got one! Elapsed wall clock time (in seconds):28.91
22.38/29.03	o -956
22.38/29.09	c And the winner is solver0
22.80/29.53	c Got one! Elapsed wall clock time (in seconds):29.417
22.80/29.53	o -962
23.33/29.83	c And the winner is solver0
23.43/30.04	c Got one! Elapsed wall clock time (in seconds):29.924
23.43/30.04	o -1045
27.24/32.00	c And the winner is solver0
27.71/32.30	c Got one! Elapsed wall clock time (in seconds):32.183
27.71/32.30	o -1048
30.61/33.70	c And the winner is solver0
30.71/33.81	c Got one! Elapsed wall clock time (in seconds):33.69
30.71/33.81	o -1049
32.09/34.57	c cleaning 6876 clauses out of 13752 with flag 2003/13752
32.09/34.58	c And the winner is solver0
32.48/34.87	c Got one! Elapsed wall clock time (in seconds):34.748
32.48/34.87	o -1050
32.58/34.97	c And the winner is solver0
32.96/35.37	c Got one! Elapsed wall clock time (in seconds):35.255
32.96/35.37	o -1052
32.99/35.44	c And the winner is solver0
33.35/35.88	c Got one! Elapsed wall clock time (in seconds):35.764
33.35/35.88	o -1053
33.35/35.90	c And the winner is solver0
33.37/36.39	c Got one! Elapsed wall clock time (in seconds):36.271
33.37/36.39	o -1056
33.37/36.40	c And the winner is solver0
33.40/36.90	c Got one! Elapsed wall clock time (in seconds):36.779
33.40/36.90	o -1057
33.40/36.91	c And the winner is solver0
33.43/37.40	c Got one! Elapsed wall clock time (in seconds):37.286
33.43/37.40	o -1058
34.41/37.99	c And the winner is solver0
34.85/38.41	c Got one! Elapsed wall clock time (in seconds):38.294
34.85/38.41	o -1077
41.30/41.68	c cleaning 6456 clauses out of 12912 with flag 10001/19788
43.94/42.97	c And the winner is solver0
44.35/43.42	c Got one! Elapsed wall clock time (in seconds):43.303
44.35/43.42	o -1132
48.64/45.58	c cleaning 5757 clauses out of 11517 with flag 6004/24849
50.27/46.32	c And the winner is solver0
50.38/46.43	c Got one! Elapsed wall clock time (in seconds):46.311
50.38/46.43	o -1134
51.73/47.15	c And the winner is solver0
52.19/47.54	c Got one! Elapsed wall clock time (in seconds):47.419
52.19/47.54	o -1137
52.31/47.63	c And the winner is solver0
52.69/48.05	c Got one! Elapsed wall clock time (in seconds):47.927
52.69/48.05	o -1142
52.69/48.08	c And the winner is solver0
52.78/48.55	c Got one! Elapsed wall clock time (in seconds):48.436
52.78/48.55	o -1148
52.86/48.62	c And the winner is solver0
52.92/49.06	c Got one! Elapsed wall clock time (in seconds):48.944
52.92/49.06	o -1149
52.92/49.08	c And the winner is solver0
52.95/49.57	c Got one! Elapsed wall clock time (in seconds):49.452
52.95/49.57	o -1150
53.01/49.60	c And the winner is solver0
53.03/50.08	c Got one! Elapsed wall clock time (in seconds):49.96
53.03/50.08	o -1153
53.26/50.22	c And the winner is solver0
53.57/50.59	c Got one! Elapsed wall clock time (in seconds):50.468
53.57/50.59	o -1155
56.09/51.88	c And the winner is solver0
56.46/52.15	c Got one! Elapsed wall clock time (in seconds):52.026
56.46/52.15	o -1157
57.38/52.60	c And the winner is solver0
57.59/52.85	c Got one! Elapsed wall clock time (in seconds):52.735
57.59/52.85	o -1181
60.11/54.17	c cleaning 6432 clauses out of 12864 with flag 4001/31953
68.12/58.06	c cleaning 6214 clauses out of 12433 with flag 16003/37954
74.92/61.47	c And the winner is solver0
75.28/61.86	c Got one! Elapsed wall clock time (in seconds):61.745
75.28/61.86	o -1205
81.15/64.87	c And the winner is solver0
81.52/65.17	c Got one! Elapsed wall clock time (in seconds):65.053
81.52/65.17	o -1208
82.82/65.84	c And the winner is solver0
82.97/66.18	c Got one! Elapsed wall clock time (in seconds):66.062
82.97/66.18	o -1215
83.40/66.49	c And the winner is solver0
83.67/66.69	c Got one! Elapsed wall clock time (in seconds):66.57
83.67/66.69	o -1220
84.08/66.92	c And the winner is solver0
84.30/67.20	c Got one! Elapsed wall clock time (in seconds):67.079
84.30/67.20	o -1223
84.31/67.22	c And the winner is solver0
84.35/67.71	c Got one! Elapsed wall clock time (in seconds):67.588
84.35/67.71	o -1224
85.91/68.55	c And the winner is solver0
86.17/68.76	c Got one! Elapsed wall clock time (in seconds):68.647
86.17/68.76	o -1226
87.66/69.51	c cleaning 9715 clauses out of 19432 with flag 2151/51167
87.86/69.68	c And the winner is solver0
88.15/69.87	c Got one! Elapsed wall clock time (in seconds):69.755
88.15/69.87	o -1239
93.27/72.48	c And the winner is solver0
93.69/72.88	c Got one! Elapsed wall clock time (in seconds):72.764
93.69/72.88	o -1243
94.11/73.18	c And the winner is solver0
94.39/73.39	c Got one! Elapsed wall clock time (in seconds):73.273
94.39/73.39	o -1246
94.42/73.45	c And the winner is solver0
94.57/73.90	c Got one! Elapsed wall clock time (in seconds):73.781
94.57/73.90	o -1247
94.57/73.96	c And the winner is solver0
94.72/74.41	c Got one! Elapsed wall clock time (in seconds):74.29
94.72/74.41	o -1248
95.09/74.69	c And the winner is solver0
95.44/74.92	c Got one! Elapsed wall clock time (in seconds):74.798
95.44/74.92	o -1250
95.44/74.94	c And the winner is solver0
95.50/75.42	c Got one! Elapsed wall clock time (in seconds):75.306
95.50/75.42	o -1252
96.04/75.74	c And the winner is solver0
96.24/75.93	c Got one! Elapsed wall clock time (in seconds):75.815
96.24/75.93	o -1253
96.56/76.17	c And the winner is solver0
96.90/76.44	c Got one! Elapsed wall clock time (in seconds):76.323
96.90/76.44	o -1254
99.30/77.63	c And the winner is solver0
99.70/78.00	c Got one! Elapsed wall clock time (in seconds):77.882
99.70/78.00	o -1256
100.69/78.52	c And the winner is solver0
100.96/79.01	c Got one! Elapsed wall clock time (in seconds):78.891
100.96/79.01	o -1263
102.33/79.75	c cleaning 9400 clauses out of 18803 with flag 2003/60253
110.14/83.66	c cleaning 7695 clauses out of 15402 with flag 14001/66252
119.14/88.19	c cleaning 7354 clauses out of 14708 with flag 28003/73253
129.91/93.48	c cleaning 7677 clauses out of 15354 with flag 44003/81253
135.11/96.07	c And the winner is solver0
135.24/96.52	c Got one! Elapsed wall clock time (in seconds):96.402
135.24/96.52	o -1287
138.00/97.92	c cleaning 6756 clauses out of 13515 with flag 4002/87091
140.40/99.16	c And the winner is solver0
140.68/99.53	c Got one! Elapsed wall clock time (in seconds):99.411
140.68/99.53	o -1294
146.02/102.26	c And the winner is solver0
146.48/102.69	c Got one! Elapsed wall clock time (in seconds):102.571
146.48/102.69	o -1296
147.94/103.43	c cleaning 6807 clauses out of 13619 with flag 2003/93951
151.91/105.41	c And the winner is solver0
152.13/105.70	c Got one! Elapsed wall clock time (in seconds):105.581
152.13/105.70	o -1301
152.34/105.82	c And the winner is solver0
152.73/106.29	c Got one! Elapsed wall clock time (in seconds):106.174
152.73/106.29	o -1303
153.45/106.59	c And the winner is solver0
153.75/106.80	c Got one! Elapsed wall clock time (in seconds):106.683
153.75/106.80	o -1307
153.80/106.87	c And the winner is solver0
154.00/107.31	c Got one! Elapsed wall clock time (in seconds):107.193
154.00/107.31	o -1308
154.56/107.65	c And the winner is solver0
154.78/107.82	c Got one! Elapsed wall clock time (in seconds):107.702
154.78/107.82	o -1310
156.52/108.76	c And the winner is solver0
156.79/108.98	c Got one! Elapsed wall clock time (in seconds):108.862
156.79/108.98	o -1311
157.05/109.11	c And the winner is solver0
157.36/109.49	c Got one! Elapsed wall clock time (in seconds):109.371
157.36/109.49	o -1315
157.40/109.52	c And the winner is solver0
157.47/110.00	c Got one! Elapsed wall clock time (in seconds):109.88
157.47/110.00	o -1317
157.86/110.28	c And the winner is solver0
158.19/110.51	c Got one! Elapsed wall clock time (in seconds):110.39
158.19/110.51	o -1318
158.19/110.53	c And the winner is solver0
158.22/111.02	c Got one! Elapsed wall clock time (in seconds):110.899
158.22/111.02	o -1319
158.22/111.03	c And the winner is solver0
158.23/111.53	c Got one! Elapsed wall clock time (in seconds):111.409
158.23/111.53	o -1320
158.23/111.54	c And the winner is solver0
158.24/112.05	c Got one! Elapsed wall clock time (in seconds):111.929
158.24/112.05	o -1322
159.13/112.55	c And the winner is solver0
159.49/112.86	c Got one! Elapsed wall clock time (in seconds):112.74
159.49/112.86	o -1324
160.01/113.18	c And the winner is solver0
160.29/113.37	c Got one! Elapsed wall clock time (in seconds):113.249
160.29/113.37	o -1326
163.15/114.83	c cleaning 7870 clauses out of 15743 with flag 4005/102882
170.56/118.53	c And the winner is solver0
170.66/118.88	c Got one! Elapsed wall clock time (in seconds):118.76
170.66/118.88	o -1336
171.95/119.61	c And the winner is solver0
172.13/119.89	c Got one! Elapsed wall clock time (in seconds):119.769
172.13/119.89	o -1340
172.16/119.94	c And the winner is solver0
172.26/120.40	c Got one! Elapsed wall clock time (in seconds):120.279
172.26/120.40	o -1342
172.65/120.60	c And the winner is solver0
172.95/120.91	c Got one! Elapsed wall clock time (in seconds):120.788
172.95/120.91	o -1343
173.14/121.02	c And the winner is solver0
173.23/121.42	c Got one! Elapsed wall clock time (in seconds):121.298
173.23/121.42	o -1345
173.23/121.44	c And the winner is solver0
173.28/121.93	c Got one! Elapsed wall clock time (in seconds):121.808
173.28/121.93	o -1347
174.61/122.67	c And the winner is solver0
174.85/122.94	c Got one! Elapsed wall clock time (in seconds):122.817
174.85/122.94	o -1349
175.96/123.50	c And the winner is solver0
176.23/123.95	c Got one! Elapsed wall clock time (in seconds):123.827
176.23/123.95	o -1351
179.33/125.57	c And the winner is solver0
179.72/125.96	c Got one! Elapsed wall clock time (in seconds):125.837
179.72/125.96	o -1355
182.58/127.41	c cleaning 10151 clauses out of 20301 with flag 4122/115310
183.58/127.96	c And the winner is solver0
183.84/128.16	c Got one! Elapsed wall clock time (in seconds):128.047
183.84/128.16	o -1374
190.15/131.37	c cleaning 7985 clauses out of 15976 with flag 10001/121136
197.98/135.24	c cleaning 6992 clauses out of 13992 with flag 22003/127137
206.99/139.80	c cleaning 6995 clauses out of 13999 with flag 36001/134136
217.37/144.95	c cleaning 7498 clauses out of 15004 with flag 52001/142136
228.99/150.72	c cleaning 8251 clauses out of 16507 with flag 70003/151137
242.18/157.26	c cleaning 9127 clauses out of 18255 with flag 90001/161136
244.79/158.51	c And the winner is solver0
244.79/158.68	c Got one! Elapsed wall clock time (in seconds):158.561
244.79/158.68	o -1380
250.03/161.36	c cleaning 7542 clauses out of 15098 with flag 8002/167106
255.44/164.03	c And the winner is solver0
255.86/164.49	c Got one! Elapsed wall clock time (in seconds):164.372
255.86/164.49	o -1392
257.33/165.21	c cleaning 6275 clauses out of 12556 with flag 2044/172106
265.34/169.23	c cleaning 6141 clauses out of 12282 with flag 14145/178107
266.14/169.60	c And the winner is solver0
266.43/170.00	c Got one! Elapsed wall clock time (in seconds):169.884
266.43/170.00	o -1394
273.21/173.42	c cleaning 5844 clauses out of 11692 with flag 10003/183658
276.61/175.16	c And the winner is solver0
276.86/175.51	c Got one! Elapsed wall clock time (in seconds):175.395
276.86/175.51	o -1402
277.22/175.72	c And the winner is solver0
277.55/176.07	c Got one! Elapsed wall clock time (in seconds):175.955
277.55/176.07	o -1403
279.03/176.73	c And the winner is solver0
279.37/177.09	c Got one! Elapsed wall clock time (in seconds):176.966
279.37/177.09	o -1417
281.00/177.90	c And the winner is solver0
281.32/178.29	c Got one! Elapsed wall clock time (in seconds):178.176
281.32/178.29	o -1418
282.60/178.96	c And the winner is solver0
282.92/179.30	c Got one! Elapsed wall clock time (in seconds):179.186
282.92/179.30	o -1419
284.49/180.12	c And the winner is solver0
284.93/180.51	c Got one! Elapsed wall clock time (in seconds):180.397
284.93/180.51	o -1420
286.29/181.27	c cleaning 6922 clauses out of 13850 with flag 2038/191660
286.49/181.39	c And the winner is solver0
286.98/181.72	c Got one! Elapsed wall clock time (in seconds):181.607
286.98/181.72	o -1421
286.98/181.79	c And the winner is solver0
287.18/182.23	c Got one! Elapsed wall clock time (in seconds):182.117
287.18/182.23	o -1423
290.30/183.84	c And the winner is solver0
290.73/184.25	c Got one! Elapsed wall clock time (in seconds):184.128
290.73/184.25	o -1424
294.66/186.29	c cleaning 6272 clauses out of 12550 with flag 6003/197282
302.66/190.26	c cleaning 6136 clauses out of 12278 with flag 18003/203282
310.46/194.15	c And the winner is solver0
310.67/194.31	c Got one! Elapsed wall clock time (in seconds):194.189
310.67/194.31	o -1429
311.45/194.75	c And the winner is solver0
311.70/194.97	c Got one! Elapsed wall clock time (in seconds):194.85
311.70/194.97	o -1432
312.35/195.26	c And the winner is solver0
312.56/195.48	c Got one! Elapsed wall clock time (in seconds):195.361
312.56/195.48	o -1435
312.59/195.52	c And the winner is solver0
312.67/195.99	c Got one! Elapsed wall clock time (in seconds):195.871
312.67/195.99	o -1437
312.68/196.02	c And the winner is solver0
312.75/196.50	c Got one! Elapsed wall clock time (in seconds):196.382
312.75/196.50	o -1442
312.94/196.66	c And the winner is solver0
313.17/197.01	c Got one! Elapsed wall clock time (in seconds):196.893
313.17/197.01	o -1444
315.35/198.14	c And the winner is solver0
315.63/198.52	c Got one! Elapsed wall clock time (in seconds):198.403
315.63/198.52	o -1445
316.99/199.23	c And the winner is solver0
317.30/199.53	c Got one! Elapsed wall clock time (in seconds):199.414
317.30/199.53	o -1446
318.22/200.06	c And the winner is solver0
318.44/200.54	c Got one! Elapsed wall clock time (in seconds):200.425
318.44/200.54	o -1447
319.54/201.13	c And the winner is solver0
319.98/201.55	c Got one! Elapsed wall clock time (in seconds):201.436
319.98/201.55	o -1448
321.46/202.36	c And the winner is solver0
321.73/202.56	c Got one! Elapsed wall clock time (in seconds):202.447
321.73/202.56	o -1449
321.81/202.61	c And the winner is solver0
321.87/203.08	c Got one! Elapsed wall clock time (in seconds):202.957
321.87/203.08	o -1450
326.11/205.25	c cleaning 10626 clauses out of 21251 with flag 6071/218391
326.71/205.54	c And the winner is solver0
327.14/205.99	c Got one! Elapsed wall clock time (in seconds):205.869
327.14/205.99	o -1451
331.39/208.13	c And the winner is solver0
332.58/209.01	c Got one! Elapsed wall clock time (in seconds):208.893
332.58/209.01	o -1454
335.34/210.43	c cleaning 8085 clauses out of 16169 with flag 4259/223935
335.74/210.67	c And the winner is solver0
336.30/211.12	c Got one! Elapsed wall clock time (in seconds):211.004
336.30/211.12	o -1458
342.44/214.26	c cleaning 6722 clauses out of 13447 with flag 10001/229298
350.04/218.00	c cleaning 6361 clauses out of 12725 with flag 22001/235298
358.84/222.42	c cleaning 6680 clauses out of 13364 with flag 36001/242298
368.84/227.49	c cleaning 7339 clauses out of 14684 with flag 52001/250298
380.95/233.46	c cleaning 8170 clauses out of 16346 with flag 70003/259299
394.75/240.30	c cleaning 9087 clauses out of 18176 with flag 90003/269299
408.94/247.50	c cleaning 10042 clauses out of 20089 with flag 112003/280299
425.14/255.55	c cleaning 11023 clauses out of 22047 with flag 136003/292299
442.90/264.34	c cleaning 12011 clauses out of 24023 with flag 162001/305298
460.69/273.26	c And the winner is solver1
460.69/273.69	c Got one! Elapsed wall clock time (in seconds):273.576
460.69/273.69	o -2195
460.93/273.86	c And the winner is solver0
461.18/274.21	c Got one! Elapsed wall clock time (in seconds):274.088
461.18/274.21	o -2506
461.18/274.26	c And the winner is solver0
461.34/274.72	c Got one! Elapsed wall clock time (in seconds):274.599
461.34/274.72	o -2934
461.49/274.85	c And the winner is solver0
461.71/275.23	c Got one! Elapsed wall clock time (in seconds):275.109
461.71/275.23	o -2988
462.03/275.45	c And the winner is solver0
462.68/275.74	c Got one! Elapsed wall clock time (in seconds):275.62
462.68/275.74	o -3047
462.98/275.93	c And the winner is solver0
463.19/276.25	c Got one! Elapsed wall clock time (in seconds):276.131
463.19/276.25	o -3324
463.47/276.43	c And the winner is solver0
463.67/276.76	c Got one! Elapsed wall clock time (in seconds):276.642
463.67/276.76	o -3401
464.13/277.01	c And the winner is solver0
464.32/277.27	c Got one! Elapsed wall clock time (in seconds):277.153
464.32/277.27	o -3415
464.56/277.44	c And the winner is solver0
464.76/277.78	c Got one! Elapsed wall clock time (in seconds):277.663
464.76/277.78	o -3417
464.98/277.93	c And the winner is solver0
465.16/278.29	c Got one! Elapsed wall clock time (in seconds):278.174
465.16/278.29	o -3484
465.76/278.65	c And the winner is solver0
466.31/279.15	c Got one! Elapsed wall clock time (in seconds):279.035
466.31/279.15	o -3486
466.39/279.28	c And the winner is solver0
466.66/279.66	c Got one! Elapsed wall clock time (in seconds):279.546
466.66/279.66	o -3644
466.71/279.79	c And the winner is solver0
466.99/280.17	c Got one! Elapsed wall clock time (in seconds):280.057
466.99/280.17	o -3707
467.42/280.45	c And the winner is solver0
467.69/280.69	c Got one! Elapsed wall clock time (in seconds):280.568
467.69/280.69	o -3713
468.10/280.95	c And the winner is solver0
468.36/281.20	c Got one! Elapsed wall clock time (in seconds):281.078
468.36/281.20	o -3716
468.76/281.47	c And the winner is solver0
469.06/281.71	c Got one! Elapsed wall clock time (in seconds):281.589
469.06/281.71	o -3720
470.49/282.77	c And the winner is solver0
470.74/283.09	c Got one! Elapsed wall clock time (in seconds):282.968
470.74/283.09	o -3732
471.15/283.33	c And the winner is solver0
471.36/283.60	c Got one! Elapsed wall clock time (in seconds):283.478
471.36/283.60	o -3803
471.76/283.90	c And the winner is solver0
472.36/284.36	c Got one! Elapsed wall clock time (in seconds):284.239
472.36/284.36	o -3875
472.88/284.65	c And the winner is solver0
473.45/285.12	c Got one! Elapsed wall clock time (in seconds):285.001
473.45/285.12	o -3877
473.80/285.34	c And the winner is solver0
474.05/285.63	c Got one! Elapsed wall clock time (in seconds):285.511
474.05/285.63	o -3928
481.39/289.32	c cleaning 17253 clauses out of 34507 with flag 11722/327793
489.97/293.61	c cleaning 11623 clauses out of 23254 with flag 27637/333793
500.04/298.64	c cleaning 9312 clauses out of 18631 with flag 47767/340793
513.08/305.12	c cleaning 8657 clauses out of 17319 with flag 77914/348793
530.70/313.76	c cleaning 8827 clauses out of 17661 with flag 123337/357792
542.12/319.20	c And the winner is solver0
542.35/319.70	c Got one! Elapsed wall clock time (in seconds):319.579
542.35/319.70	o -3937
548.94/323.10	c cleaning 10338 clauses out of 20681 with flag 13640/369639
557.14/327.15	c cleaning 8172 clauses out of 16343 with flag 30140/375639
566.75/331.96	c cleaning 7586 clauses out of 15171 with flag 49052/382639
578.12/337.56	c cleaning 7791 clauses out of 15585 with flag 69238/390639
590.72/343.89	c cleaning 8396 clauses out of 16794 with flag 91869/399639
605.32/351.12	c cleaning 9198 clauses out of 18398 with flag 120594/409639
621.57/359.18	c cleaning 10095 clauses out of 20200 with flag 149405/420639
638.77/367.74	c cleaning 11051 clauses out of 22105 with flag 178376/432639
658.01/377.30	c cleaning 12027 clauses out of 24054 with flag 210797/445639
678.40/387.49	c cleaning 13012 clauses out of 26028 with flag 246907/459640
702.92/400.02	c cleaning 14008 clauses out of 28016 with flag 287339/474640
726.72/411.93	c cleaning 15001 clauses out of 30007 with flag 328596/490639
752.84/424.90	c cleaning 15998 clauses out of 32007 with flag 372170/507640
781.73/439.20	c cleaning 17004 clauses out of 34008 with flag 416830/525639
811.12/453.98	c cleaning 18001 clauses out of 36005 with flag 463539/544640
843.55/470.02	c cleaning 19002 clauses out of 38004 with flag 515598/564640
878.76/487.55	c cleaning 20000 clauses out of 40002 with flag 568073/585640
915.64/506.45	c cleaning 20999 clauses out of 42002 with flag 625563/607640
952.72/524.90	c cleaning 22001 clauses out of 44003 with flag 688673/630640
991.69/544.31	c cleaning 23001 clauses out of 46001 with flag 752956/654639
1032.53/564.65	c cleaning 23997 clauses out of 48000 with flag 821408/679639
1076.00/586.20	c cleaning 24999 clauses out of 50004 with flag 893640/705640
1121.48/608.73	c cleaning 25998 clauses out of 52004 with flag 973229/732639
1169.27/632.50	c cleaning 27001 clauses out of 54006 with flag 1052049/760639
1219.67/657.41	c cleaning 28002 clauses out of 56005 with flag 1125211/789639
1276.65/686.48	c cleaning 29000 clauses out of 58004 with flag 1204186/819640
1331.68/713.71	c cleaning 29998 clauses out of 60005 with flag 1292338/850641
1388.67/742.02	c cleaning 31001 clauses out of 62005 with flag 1392426/882639
1447.55/771.21	c cleaning 32000 clauses out of 64004 with flag 1485397/915639
1509.27/801.89	c cleaning 33001 clauses out of 66005 with flag 1584390/949640
1573.25/833.57	c cleaning 34000 clauses out of 68003 with flag 1680435/984639
1643.33/869.65	c cleaning 35000 clauses out of 70004 with flag 1785616/1020640
1713.61/904.55	c cleaning 35998 clauses out of 72003 with flag 1876502/1057639
1785.90/940.47	c cleaning 36999 clauses out of 74006 with flag 1980062/1095640
1800.10/947.51	c >>>>>>>>>> Solver number 0 (167 answers) <<<<<<<<<<<<<<<<<<
1800.10/947.51	c starts		: 928
1800.10/947.51	c conflicts		: 1103989
1800.10/947.51	c decisions		: 2367467
1800.10/947.51	c propagations		: 213899808
1800.10/947.51	c inspects		: 3125824073
1800.10/947.51	c shortcuts		: 0
1800.10/947.51	c learnt literals	: 0
1800.10/947.51	c learnt binary clauses	: 5
1800.10/947.51	c learnt ternary clauses	: 766
1800.10/947.51	c learnt constraints	: 1103988
1800.10/947.51	c ignored constraints	: 0
1800.10/947.51	c root simplifications	: 0
1800.10/947.51	c removed literals (reason simplification)	: 148998620
1800.10/947.51	c reason swapping (by a shorter reason)	: 0
1800.10/947.51	c Calls to reduceDB	: 77
1800.10/947.51	c Number of update (reduction) of LBD	: 3291
1800.10/947.51	c Imported unit clauses	: 0
1800.10/947.51	c number of reductions to clauses (during analyze)	: 0
1800.10/947.51	c number of learned constraints concerned by reduction	: 0
1800.10/947.51	c number of learning phase by resolution	: 0
1800.10/947.51	c number of learning phase by cutting planes	: 0
1800.10/947.51	c speed (assignments/second)	: 317452.4941340247
1800.10/947.51	c non guided choices	0
1800.10/947.52	c learnt constraints type 
1800.10/947.52	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.10/947.52	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 45351
1800.10/947.52	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.10/947.52	c starts		: 177
1800.10/947.52	c conflicts		: 1515
1800.10/947.52	c decisions		: 9685
1800.10/947.52	c propagations		: 1252336
1800.10/947.52	c inspects		: 171298761
1800.10/947.52	c shortcuts		: 0
1800.10/947.52	c learnt literals	: 0
1800.10/947.52	c learnt binary clauses	: 0
1800.10/947.52	c learnt ternary clauses	: 0
1800.10/947.52	c learnt constraints	: 1384
1800.10/947.52	c ignored constraints	: 0
1800.10/947.52	c root simplifications	: 0
1800.10/947.52	c removed literals (reason simplification)	: 0
1800.10/947.52	c reason swapping (by a shorter reason)	: 0
1800.10/947.52	c Calls to reduceDB	: 0
1800.10/947.52	c Number of update (reduction) of LBD	: 0
1800.10/947.52	c Imported unit clauses	: 0
1800.10/947.52	c number of reductions to clauses (during analyze)	: 0
1800.10/947.52	c number of learned constraints concerned by reduction	: 0
1800.10/947.52	c number of learning phase by resolution	: 0
1800.10/947.52	c number of learning phase by cutting planes	: 0
1800.10/947.52	c speed (assignments/second)	: 1994.7500541559946
1800.10/947.52	c non guided choices	0
1800.10/947.52	c learnt constraints type 
1800.10/947.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1384
1800.10/947.52	s SATISFIABLE
1800.10/947.52	c Found 168 solution(s)
1800.10/947.53	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 
1800.10/947.54	c objective function=-3937
1800.10/947.54	c Total wall clock time (in seconds): 947.425

OK	-3937

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-4118836-1467236754/watcher-4118836-1467236754 -o /tmp/evaluation-result-4118836-1467236754/solver-4118836-1467236754 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467233112-7068 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118836-1467236754.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.07 4.12 4.05 4/197 8773
/proc/meminfo: memFree=21339772/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/8773/stat : 8773 (java) R 8770 8773 4301 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 4642864 278528 33 33554432000 1073741824 1073778376 140736672995312 140735405652888 219504798901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8773/statm: 68 33 25 9 0 25 0

[startup+0.10016 s]
/proc/loadavg: 4.07 4.12 4.05 4/197 8773
/proc/meminfo: memFree=21339772/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8773/stat : 8773 (java) S 8770 8773 4301 0 -1 4202496 4470 0 1 0 8 1 0 0 20 0 18 0 4642864 9787879424 5592 33554432000 1073741824 1073778376 140736672995312 140736672986448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8773/statm: 2389619 5592 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200231 s]
/proc/loadavg: 4.07 4.12 4.05 4/197 8773
/proc/meminfo: memFree=21339772/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/8773/stat : 8773 (java) S 8770 8773 4301 0 -1 4202496 5032 0 1 0 27 1 0 0 20 0 18 0 4642864 9787879424 6535 33554432000 1073741824 1073778376 140736672995312 140736672986448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8773/statm: 2389619 6535 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300218 s]
/proc/loadavg: 4.07 4.12 4.05 4/197 8773
/proc/meminfo: memFree=21339772/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/8773/stat : 8773 (java) S 8770 8773 4301 0 -1 4202496 7359 0 1 0 46 2 0 0 20 0 18 0 4642864 9787879424 10227 33554432000 1073741824 1073778376 140736672995312 140736672986448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8773/statm: 2389619 10183 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.7002 s]
/proc/loadavg: 4.07 4.12 4.05 4/197 8773
/proc/meminfo: memFree=21339772/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/8773/stat : 8773 (java) S 8770 8773 4301 0 -1 4202496 30382 0 1 0 174 5 0 0 20 0 22 0 4642864 10060525568 36277 33554432000 1073741824 1073778376 140736672995312 140736672986448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8773/statm: 2456183 36277 2256 9 0 2446860 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.22 4.15 4.06 6/216 8795
/proc/meminfo: memFree=21200436/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=9824732 CPUtime=3.43 cores=1,3,5,7
/proc/8773/stat : 8773 (java) S 8770 8773 4301 0 -1 4202496 32463 0 1 0 333 10 0 0 20 0 19 0 4642864 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140736672986448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8773/statm: 2456183 39433 2267 9 0 2446860 0
[pid=8773/tid=8775] ppid=8770 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/8773/task/8775/stat : 8775 (java) S 8770 8773 4301 0 -1 4202560 2513 0 1 0 65 2 0 0 20 0 19 0 4642865 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039491482488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8776] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039335500200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8777] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039334447656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8778] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039333394600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8779] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039332342056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8780] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039331290024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8781] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039330237480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8782] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039329184424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8783] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039328131880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8784] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4642867 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039315720552 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8785] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 4301 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4642868 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039314666872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8786] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4642868 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039313613704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8787] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642870 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039312562448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8788] ppid=8770 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 4301 0 -1 4202560 15269 0 0 0 111 1 0 0 20 0 19 0 4642870 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039311510328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8789] ppid=8770 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/8773/task/8789/stat : 8789 (java) S 8770 8773 4301 0 -1 4202560 13310 0 0 0 106 3 0 0 20 0 19 0 4642870 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039310457784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8790] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8790/stat : 8790 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642870 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039309404920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8791] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8791/stat : 8791 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642870 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039308352584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8795] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8795/stat : 8795 (java) S 8770 8773 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4642923 10060525568 39433 33554432000 1073741824 1073778376 140736672995312 140039304139688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 4.22 4.15 4.06 4/216 8801
/proc/meminfo: memFree=21182564/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=9824732 CPUtime=4.04 cores=1,3,5,7
/proc/8773/stat : 8773 (java) S 8770 8773 4301 0 -1 4202496 32551 0 1 0 388 16 0 0 20 0 19 0 4642864 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140736672986448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8773/statm: 2456183 46654 2276 9 0 2446860 0
[pid=8773/tid=8775] ppid=8770 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/8773/task/8775/stat : 8775 (java) S 8770 8773 4301 0 -1 4202560 2519 0 1 0 69 3 0 0 20 0 19 0 4642865 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039491482488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8776] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039335500200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8777] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039334447656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8778] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039333394600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8779] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039332342056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8780] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039331290024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8781] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039330237480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8782] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039329184424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8783] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039328131880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8784] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 4301 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4642867 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039315720552 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8785] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 4301 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4642868 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039314666872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8786] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4642868 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039313613704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8787] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642870 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039312562448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8788] ppid=8770 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 4301 0 -1 4202560 15299 0 0 0 128 1 0 0 20 0 19 0 4642870 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039311510328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8789] ppid=8770 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/8773/task/8789/stat : 8789 (java) S 8770 8773 4301 0 -1 4202560 13330 0 0 0 124 3 0 0 20 0 19 0 4642870 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039310457784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8790] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8790/stat : 8790 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642870 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039309404920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8791] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8791/stat : 8791 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642870 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039308352584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8795] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8795/stat : 8795 (java) S 8770 8773 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4642923 10060525568 46654 33554432000 1073741824 1073778376 140736672995312 140039304139688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9824732

[startup+6.30083 s]
/proc/loadavg: 4.22 4.15 4.06 3/216 8822
/proc/meminfo: memFree=21116352/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=9824732 CPUtime=4.37 cores=1,3,5,7
/proc/8773/stat : 8773 (java) S 8770 8773 4301 0 -1 4202496 32672 0 1 0 410 27 0 0 20 0 19 0 4642864 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140736672986448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8773/statm: 2456183 57701 2289 9 0 2446860 0
[pid=8773/tid=8775] ppid=8770 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/8773/task/8775/stat : 8775 (java) S 8770 8773 4301 0 -1 4202560 2530 0 1 0 73 3 0 0 20 0 19 0 4642865 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039491482488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8776] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 4301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039335500200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8777] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039334447656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8778] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039333394600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8779] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 4301 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039332342056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8780] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039331290024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8781] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 4301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039330237480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8782] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 4301 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039329184424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8783] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4642866 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039328131880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8784] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 4301 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4642867 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039315720552 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8785] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4642868 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039314666872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8786] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 4301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4642868 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039313613704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8787] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642870 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039312562448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8788] ppid=8770 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 4301 0 -1 4202560 15305 0 0 0 132 1 0 0 20 0 19 0 4642870 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039311510328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8789] ppid=8770 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/8773/task/8789/stat : 8789 (java) S 8770 8773 4301 0 -1 4202560 13331 0 0 0 125 3 0 0 20 0 19 0 4642870 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039310457784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8790] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8790/stat : 8790 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642870 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039309404920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8791] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8791/stat : 8791 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4642870 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039308352584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8795] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8795/stat : 8795 (java) S 8770 8773 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4642923 10060525568 57701 33554432000 1073741824 1073778376 140736672995312 140039304139688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 9824732
heavy processes:

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

[pid=8773/tid=8783] ppid=8770 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 4301 0 -1 4202560 1173 0 0 0 234 42 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039328131880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8784] ppid=8770 vsize=9824732 CPUtime=8.4 cores=1,3,5,7
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 4301 0 -1 4202560 3631 0 0 0 831 9 0 0 20 0 22 0 4642867 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039315720552 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8785] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4642868 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039314666872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8786] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 4301 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 22 0 4642868 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039313613704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8787] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039312562448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8788] ppid=8770 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 4301 0 -1 4202560 15403 0 0 0 234 1 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039311510328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8789] ppid=8770 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/8773/task/8789/stat : 8789 (java) S 8770 8773 4301 0 -1 4202560 13365 0 0 0 206 3 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039310457784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8790] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8790/stat : 8790 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039309404920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8791] ppid=8770 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/8773/task/8791/stat : 8791 (java) S 8770 8773 4301 0 -1 4202560 55 0 0 0 11 16 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039308352584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=9246] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/9246/stat : 9246 (java) S 8770 8773 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4670235 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039304140328 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=9312] ppid=8770 vsize=9824732 CPUtime=609.61 cores=1,3,5,7
/proc/8773/task/9312/stat : 9312 (java) R 8770 8773 4301 0 -1 4202560 17 0 0 0 60951 10 0 0 20 0 22 0 4674835 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039307288592 140039365125257 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=9313] ppid=8770 vsize=9824732 CPUtime=609.59 cores=1,3,5,7
/proc/8773/task/9313/stat : 9313 (java) R 8770 8773 4301 0 -1 4202560 57 0 0 0 60949 10 0 0 20 0 22 0 4674835 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039305190560 140039364537689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=9314] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/9314/stat : 9314 (java) S 8770 8773 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4674836 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039306245032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+947.501 s]
/proc/loadavg: 4.17 4.11 4.03 5/220 9515
/proc/meminfo: memFree=17228768/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=9824732 CPUtime=1799.77 cores=1,3,5,7
/proc/8773/stat : 8773 (java) S 8770 8773 4301 0 -1 4202496 49796 0 1 0 179246 731 0 0 20 0 22 0 4642864 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140736672986448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8773/statm: 2456183 1127012 2303 9 0 2446860 0
[pid=8773/tid=8775] ppid=8770 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/8773/task/8775/stat : 8775 (java) S 8770 8773 4301 0 -1 4202560 2569 0 1 0 208 6 0 0 20 0 22 0 4642865 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039491482488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8776] ppid=8770 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 4301 0 -1 4202560 1040 0 0 0 283 51 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039335500200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8777] ppid=8770 vsize=9824732 CPUtime=3.68 cores=1,3,5,7
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 4301 0 -1 4202560 962 0 0 0 325 43 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039334447656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8778] ppid=8770 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 4301 0 -1 4202560 1312 0 0 0 255 45 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039333394600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8779] ppid=8770 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 4301 0 -1 4202560 1689 0 0 0 266 43 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039332342056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8780] ppid=8770 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 4301 0 -1 4202560 2296 0 0 0 283 52 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039331290024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8781] ppid=8770 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 4301 0 -1 4202560 1132 0 0 0 261 51 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039330237480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8782] ppid=8770 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 4301 0 -1 4202560 1528 0 0 0 271 54 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039329184424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8783] ppid=8770 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 4301 0 -1 4202560 1173 0 0 0 234 42 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039328131880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8784] ppid=8770 vsize=9824732 CPUtime=8.4 cores=1,3,5,7
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 4301 0 -1 4202560 3631 0 0 0 831 9 0 0 20 0 22 0 4642867 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039315720552 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8785] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4642868 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039314666872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8786] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 4301 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 22 0 4642868 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039313613704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8787] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039312562448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8788] ppid=8770 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 4301 0 -1 4202560 15403 0 0 0 234 1 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039311510328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8789] ppid=8770 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/8773/task/8789/stat : 8789 (java) S 8770 8773 4301 0 -1 4202560 13365 0 0 0 206 3 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039310457784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8790] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8790/stat : 8790 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039309404920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8791] ppid=8770 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/8773/task/8791/stat : 8791 (java) S 8770 8773 4301 0 -1 4202560 55 0 0 0 11 16 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039308352584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=9246] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/9246/stat : 9246 (java) S 8770 8773 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4670235 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039304140328 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=9312] ppid=8770 vsize=9824732 CPUtime=614.79 cores=1,3,5,7
/proc/8773/task/9312/stat : 9312 (java) R 8770 8773 4301 0 -1 4202560 17 0 0 0 61469 10 0 0 20 0 22 0 4674835 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039307288592 140039364986031 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=9313] ppid=8770 vsize=9824732 CPUtime=614.77 cores=1,3,5,7
/proc/8773/task/9313/stat : 9313 (java) R 8770 8773 4301 0 -1 4202560 57 0 0 0 61467 10 0 0 20 0 22 0 4674835 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039305190560 140039365345076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=9314] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/9314/stat : 9314 (java) S 8770 8773 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4674836 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039306245032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.77
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 8773 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+947.501 s]
/proc/loadavg: 4.17 4.11 4.03 5/220 9515
/proc/meminfo: memFree=17228768/32872528 swapFree=12440/1155036
[pid=8773] ppid=8770 vsize=9824732 CPUtime=1799.77 cores=1,3,5,7
/proc/8773/stat : 8773 (java) S 8770 8773 4301 0 -1 4202496 49796 0 1 0 179246 731 0 0 20 0 22 0 4642864 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140736672986448 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8773/statm: 2456183 1127012 2303 9 0 2446860 0
[pid=8773/tid=8775] ppid=8770 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/8773/task/8775/stat : 8775 (java) S 8770 8773 4301 0 -1 4202560 2569 0 1 0 208 6 0 0 20 0 22 0 4642865 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039491482488 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8776] ppid=8770 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/8773/task/8776/stat : 8776 (java) S 8770 8773 4301 0 -1 4202560 1040 0 0 0 283 51 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039335500200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8777] ppid=8770 vsize=9824732 CPUtime=3.68 cores=1,3,5,7
/proc/8773/task/8777/stat : 8777 (java) S 8770 8773 4301 0 -1 4202560 962 0 0 0 325 43 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039334447656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8778] ppid=8770 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/8773/task/8778/stat : 8778 (java) S 8770 8773 4301 0 -1 4202560 1312 0 0 0 255 45 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039333394600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8779] ppid=8770 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/8773/task/8779/stat : 8779 (java) S 8770 8773 4301 0 -1 4202560 1689 0 0 0 266 43 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039332342056 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=8780] ppid=8770 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/8773/task/8780/stat : 8780 (java) S 8770 8773 4301 0 -1 4202560 2296 0 0 0 283 52 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039331290024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8781] ppid=8770 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/8773/task/8781/stat : 8781 (java) S 8770 8773 4301 0 -1 4202560 1132 0 0 0 261 51 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039330237480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8782] ppid=8770 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/8773/task/8782/stat : 8782 (java) S 8770 8773 4301 0 -1 4202560 1528 0 0 0 271 54 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039329184424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8783] ppid=8770 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/8773/task/8783/stat : 8783 (java) S 8770 8773 4301 0 -1 4202560 1173 0 0 0 234 42 0 0 20 0 22 0 4642866 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039328131880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8784] ppid=8770 vsize=9824732 CPUtime=8.4 cores=1,3,5,7
/proc/8773/task/8784/stat : 8784 (java) S 8770 8773 4301 0 -1 4202560 3631 0 0 0 831 9 0 0 20 0 22 0 4642867 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039315720552 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=8785] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8785/stat : 8785 (java) S 8770 8773 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4642868 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039314666872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8786] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8786/stat : 8786 (java) S 8770 8773 4301 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 22 0 4642868 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039313613704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8787] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8787/stat : 8787 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039312562448 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8788] ppid=8770 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/8773/task/8788/stat : 8788 (java) S 8770 8773 4301 0 -1 4202560 15403 0 0 0 234 1 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039311510328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=8789] ppid=8770 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/8773/task/8789/stat : 8789 (java) S 8770 8773 4301 0 -1 4202560 13365 0 0 0 206 3 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039310457784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8790] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8790/stat : 8790 (java) S 8770 8773 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039309404920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8773/tid=8791] ppid=8770 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/8773/task/8791/stat : 8791 (java) S 8770 8773 4301 0 -1 4202560 55 0 0 0 11 16 0 0 20 0 22 0 4642870 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039308352584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8773/tid=9246] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/9246/stat : 9246 (java) S 8770 8773 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4670235 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039304140328 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=9312] ppid=8770 vsize=9824732 CPUtime=614.79 cores=1,3,5,7
/proc/8773/task/9312/stat : 9312 (java) R 8770 8773 4301 0 -1 4202560 17 0 0 0 61469 10 0 0 20 0 22 0 4674835 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039307288592 140039364986031 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8773/tid=9313] ppid=8770 vsize=9824732 CPUtime=614.77 cores=1,3,5,7
/proc/8773/task/9313/stat : 9313 (java) R 8770 8773 4301 0 -1 4202560 57 0 0 0 61467 10 0 0 20 0 22 0 4674835 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039305190560 140039365345076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8773/tid=9314] ppid=8770 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8773/task/9314/stat : 9314 (java) S 8770 8773 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4674836 10060525568 1127012 33554432000 1073741824 1073778376 140736672995312 140039306245032 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.77
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8773 and gives
#  childrusage.ru_utime.tv_sec=1789
#  childrusage.ru_utime.tv_usec=328980
#  childrusage.ru_stime.tv_sec=7
#  childrusage.ru_stime.tv_usec=679832
# CPU time returned by wait4() is 1797.01
# while last known CPU time is 1799.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.330006
#  lost CPU user time (s): 0.390018
#  lost CPU system time (s): -0.0600002

Real time (s): 947.577
CPU time (s): 1800.1
CPU user time (s): 1792.85
CPU system time (s): 7.25
CPU usage (%): 189.969
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.33
system time used= 7.67983
maximum resident set size= 4508160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49834
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27261
involuntary context switches= 24312

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62499 second user time and 6.98194 second system time

The end

Begin job on node114 at 2016-06-29 23:45:54
IDJOB=4118836
IDBENCH=111538
IDSOLVER=2543
FILE ID=node114/4118836-1467236754
RUNJOBID= node114-1467233112-7068
PBS_JOBID= 19997585
Free space on /tmp= 71672 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_bern55-14.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118836-1467236754/watcher-4118836-1467236754 -o /tmp/evaluation-result-4118836-1467236754/solver-4118836-1467236754 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467233112-7068 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118836-1467236754.opb

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

MD5SUM BENCH= adfa0d0ba581bbbc431d919356cf7a06
RANDOM SEED=1716897925

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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:        21340300 kB
Buffers:          100108 kB
Cached:          5786760 kB
SwapCached:            0 kB
Active:          3826208 kB
Inactive:        5787888 kB
Active(anon):    3728204 kB
Inactive(anon):     1468 kB
Active(file):      98004 kB
Inactive(file):  5786420 kB
Unevictable:     1155036 kB
Mlocked:           12440 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:       4882260 kB
Mapped:            22248 kB
Shmem:               204 kB
Slab:             624924 kB
SReclaimable:      69108 kB
SUnreclaim:       555816 kB
KernelStack:        1808 kB
PageTables:        13700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5479908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4730880 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= 71668 MiB
End job on node114 at 2016-06-30 00:01:42