0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4100482-1466209759.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
1.30/0.81	c ... done. Wall clock time 0.679s.
1.30/0.81	c declared #vars     6651
1.30/0.81	c #constraints  721
1.30/0.81	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.30/0.81	c constraints type 
1.30/0.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
1.30/0.81	c org.sat4j.minisat.constraints.card.MinWatchCard => 331
1.30/0.81	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 339
1.30/0.81	c 721 constraints processed.
1.30/0.81	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.30/0.81	c constraints type 
1.30/0.81	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
1.30/0.81	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
1.30/0.81	c org.sat4j.pb.constraints.pb.MaxWatchPb => 339
1.30/0.81	c 721 constraints processed.
1.30/0.81	c objective function length is 31 literals
2.32/1.16	c And the winner is solver0
2.57/1.32	c SATISFIABLE
2.57/1.32	c OPTIMIZING...
2.57/1.32	c Got one! Elapsed wall clock time (in seconds):1.188
2.57/1.32	o 524296
3.21/1.62	c And the winner is solver1
3.29/1.82	c Got one! Elapsed wall clock time (in seconds):1.692
3.29/1.82	o 524295
4.31/2.12	c And the winner is solver1
4.46/2.32	c Got one! Elapsed wall clock time (in seconds):2.194
4.46/2.32	o 524294
4.92/2.52	c And the winner is solver1
5.00/2.82	c Got one! Elapsed wall clock time (in seconds):2.695
5.00/2.82	o 524293
6.81/3.66	c And the winner is solver1
6.97/3.82	c Got one! Elapsed wall clock time (in seconds):3.696
6.97/3.82	o 524292
7.31/4.03	c And the winner is solver1
7.40/4.33	c Got one! Elapsed wall clock time (in seconds):4.196
7.40/4.33	o 524291
7.99/4.62	c And the winner is solver1
8.08/4.83	c Got one! Elapsed wall clock time (in seconds):4.697
8.08/4.83	o 524290
8.22/4.99	c And the winner is solver1
8.43/5.33	c Got one! Elapsed wall clock time (in seconds):5.198
8.43/5.33	o 524289
9.87/6.00	c And the winner is solver1
9.92/6.33	c Got one! Elapsed wall clock time (in seconds):6.199
9.92/6.33	o 524288
10.26/6.51	c And the winner is solver1
10.29/6.83	c Got one! Elapsed wall clock time (in seconds):6.7
10.29/6.83	o 524287
10.64/7.07	c And the winner is solver1
10.79/7.33	c Got one! Elapsed wall clock time (in seconds):7.201
10.79/7.33	o 524286
11.43/7.61	c And the winner is solver1
11.49/7.83	c Got one! Elapsed wall clock time (in seconds):7.701
11.49/7.83	o 524285
11.89/8.05	c And the winner is solver1
12.03/8.33	c Got one! Elapsed wall clock time (in seconds):8.202
12.03/8.33	o 524284
12.66/8.61	c And the winner is solver1
12.71/8.83	c Got one! Elapsed wall clock time (in seconds):8.703
12.71/8.83	o 524283
13.04/9.08	c And the winner is solver1
13.23/9.33	c Got one! Elapsed wall clock time (in seconds):9.204
13.23/9.33	o 524282
13.56/9.56	c And the winner is solver1
13.70/9.83	c Got one! Elapsed wall clock time (in seconds):9.705
13.70/9.83	o 524281
14.05/10.04	c And the winner is solver1
14.14/10.33	c Got one! Elapsed wall clock time (in seconds):10.205
14.14/10.33	o 524280
14.47/10.58	c And the winner is solver1
14.65/10.84	c Got one! Elapsed wall clock time (in seconds):10.706
14.65/10.84	o 524279
14.99/11.09	c And the winner is solver1
15.19/11.34	c Got one! Elapsed wall clock time (in seconds):11.207
15.19/11.34	o 524278
15.82/11.62	c And the winner is solver1
15.90/11.84	c Got one! Elapsed wall clock time (in seconds):11.708
15.90/11.84	o 524277
16.22/12.06	c And the winner is solver1
16.36/12.34	c Got one! Elapsed wall clock time (in seconds):12.208
16.36/12.34	o 524276
16.68/12.56	c And the winner is solver1
16.83/12.84	c Got one! Elapsed wall clock time (in seconds):12.709
16.83/12.84	o 524275
17.15/13.09	c And the winner is solver1
17.35/13.34	c Got one! Elapsed wall clock time (in seconds):13.21
17.35/13.34	o 524274
17.66/13.56	c And the winner is solver1
17.82/13.84	c Got one! Elapsed wall clock time (in seconds):13.71
17.82/13.84	o 524273
18.13/14.08	c And the winner is solver1
18.32/14.34	c Got one! Elapsed wall clock time (in seconds):14.211
18.32/14.34	o 524272
18.63/14.59	c And the winner is solver1
18.84/14.84	c Got one! Elapsed wall clock time (in seconds):14.712
18.84/14.84	o 524271
19.15/15.06	c And the winner is solver1
19.29/15.34	c Got one! Elapsed wall clock time (in seconds):15.213
19.29/15.34	o 524270
19.88/15.63	c And the winner is solver1
19.98/15.84	c Got one! Elapsed wall clock time (in seconds):15.714
19.98/15.84	o 524269
20.28/16.08	c And the winner is solver1
20.48/16.34	c Got one! Elapsed wall clock time (in seconds):16.214
20.48/16.34	o 524268
20.81/16.57	c And the winner is solver1
20.97/16.84	c Got one! Elapsed wall clock time (in seconds):16.715
20.97/16.84	o 524267
21.27/17.07	c And the winner is solver1
21.44/17.34	c Got one! Elapsed wall clock time (in seconds):17.216
21.44/17.34	o 524266
21.74/17.58	c And the winner is solver1
21.93/17.85	c Got one! Elapsed wall clock time (in seconds):17.717
21.93/17.85	o 524265
22.43/18.12	c And the winner is solver1
22.51/18.35	c Got one! Elapsed wall clock time (in seconds):18.217
22.51/18.35	o 524264
23.81/19.08	c And the winner is solver1
24.00/19.35	c Got one! Elapsed wall clock time (in seconds):19.218
24.00/19.35	o 524263
24.30/19.59	c And the winner is solver1
24.51/19.85	c Got one! Elapsed wall clock time (in seconds):19.719
24.51/19.85	o 524262
24.80/20.09	c And the winner is solver1
25.02/20.35	c Got one! Elapsed wall clock time (in seconds):20.22
25.02/20.35	o 524261
25.31/20.59	c And the winner is solver1
25.53/20.85	c Got one! Elapsed wall clock time (in seconds):20.721
25.53/20.85	o 524260
26.02/21.10	c And the winner is solver1
26.06/21.35	c Got one! Elapsed wall clock time (in seconds):21.221
26.06/21.35	o 524259
30.60/23.63	c And the winner is solver1
30.72/23.85	c Got one! Elapsed wall clock time (in seconds):23.723
30.72/23.85	o 524258
31.29/24.15	c And the winner is solver1
31.42/24.35	c Got one! Elapsed wall clock time (in seconds):24.223
31.42/24.35	o 524257
31.71/24.59	c And the winner is solver1
31.92/24.85	c Got one! Elapsed wall clock time (in seconds):24.724
31.92/24.85	o 524256
32.20/25.09	c And the winner is solver1
32.43/25.35	c Got one! Elapsed wall clock time (in seconds):25.225
32.43/25.35	o 524255
32.90/25.61	c And the winner is solver1
32.96/25.85	c Got one! Elapsed wall clock time (in seconds):25.726
32.96/25.85	o 524254
33.24/26.09	c And the winner is solver1
33.46/26.36	c Got one! Elapsed wall clock time (in seconds):26.227
33.46/26.36	o 524253
34.93/27.12	c And the winner is solver1
35.01/27.36	c Got one! Elapsed wall clock time (in seconds):27.228
35.01/27.36	o 524252
35.49/27.61	c And the winner is solver1
35.52/27.86	c Got one! Elapsed wall clock time (in seconds):27.729
35.52/27.86	o 524251
37.06/28.62	c And the winner is solver1
37.13/28.86	c Got one! Elapsed wall clock time (in seconds):28.73
37.13/28.86	o 524250
38.60/29.61	c And the winner is solver1
38.65/29.86	c Got one! Elapsed wall clock time (in seconds):29.731
38.65/29.86	o 524249
40.12/30.61	c And the winner is solver1
40.16/30.86	c Got one! Elapsed wall clock time (in seconds):30.731
40.16/30.86	o 524248
41.63/31.61	c And the winner is solver1
41.68/31.86	c Got one! Elapsed wall clock time (in seconds):31.732
41.68/31.86	o 524247
43.24/32.61	c And the winner is solver1
43.30/32.86	c Got one! Elapsed wall clock time (in seconds):32.733
43.30/32.86	o 524246
44.57/33.56	c And the winner is solver1
44.72/33.86	c Got one! Elapsed wall clock time (in seconds):33.734
44.72/33.86	o 524245
45.99/34.57	c And the winner is solver1
46.15/34.86	c Got one! Elapsed wall clock time (in seconds):34.735
46.15/34.86	o 524244
47.42/35.56	c And the winner is solver1
47.58/35.86	c Got one! Elapsed wall clock time (in seconds):35.736
47.58/35.86	o 524243
48.84/36.58	c And the winner is solver1
49.03/36.87	c Got one! Elapsed wall clock time (in seconds):36.736
49.03/36.87	o 524242
50.31/37.57	c And the winner is solver1
50.46/37.87	c Got one! Elapsed wall clock time (in seconds):37.737
50.46/37.87	o 524241
51.73/38.57	c And the winner is solver1
51.90/38.87	c Got one! Elapsed wall clock time (in seconds):38.738
51.90/38.87	o 524240
53.16/39.57	c And the winner is solver1
53.33/39.87	c Got one! Elapsed wall clock time (in seconds):39.739
53.33/39.87	o 524239
54.59/40.57	c And the winner is solver1
54.77/40.87	c Got one! Elapsed wall clock time (in seconds):40.74
54.77/40.87	o 524238
56.03/41.59	c And the winner is solver1
56.23/41.87	c Got one! Elapsed wall clock time (in seconds):41.74
56.23/41.87	o 524237
57.48/42.60	c And the winner is solver1
57.71/42.87	c Got one! Elapsed wall clock time (in seconds):42.741
57.71/42.87	o 524236
58.16/43.15	c And the winner is solver1
58.29/43.37	c Got one! Elapsed wall clock time (in seconds):43.242
58.29/43.37	o 524235
58.80/43.67	c And the winner is solver1
58.99/43.87	c Got one! Elapsed wall clock time (in seconds):43.743
58.99/43.87	o 524234
68.83/48.80	c And the winner is solver1
68.83/48.87	c Got one! Elapsed wall clock time (in seconds):48.745
68.83/48.87	o 524233
69.32/49.17	c And the winner is solver1
69.49/49.37	c Got one! Elapsed wall clock time (in seconds):49.245
69.49/49.37	o 524232
69.95/49.65	c And the winner is solver1
70.07/49.88	c Got one! Elapsed wall clock time (in seconds):49.746
70.07/49.88	o 524231
70.51/50.12	c And the winner is solver1
70.59/50.38	c Got one! Elapsed wall clock time (in seconds):50.247
70.59/50.38	o 524230
71.05/50.63	c And the winner is solver1
71.13/50.88	c Got one! Elapsed wall clock time (in seconds):50.748
71.13/50.88	o 524229
74.57/52.60	c And the winner is solver1
74.61/52.88	c Got one! Elapsed wall clock time (in seconds):52.749
74.61/52.88	o 524228
78.24/54.74	c And the winner is solver1
78.36/54.88	c Got one! Elapsed wall clock time (in seconds):54.75
78.36/54.88	o 524227
104.26/67.88	c And the winner is solver0
104.86/68.38	c Got one! Elapsed wall clock time (in seconds):68.253
104.86/68.38	o 394263
131.23/81.55	c cleaning 6535 clauses out of 13069 with flag 8685/13070
133.64/82.74	c And the winner is solver1
133.75/82.89	c Got one! Elapsed wall clock time (in seconds):82.756
133.75/82.89	o 394262
135.19/83.62	c And the winner is solver1
135.26/83.89	c Got one! Elapsed wall clock time (in seconds):83.757
135.26/83.89	o 394261
136.68/84.62	c And the winner is solver1
136.75/84.89	c Got one! Elapsed wall clock time (in seconds):84.758
136.75/84.89	o 394260
139.17/86.12	c And the winner is solver1
139.24/86.39	c Got one! Elapsed wall clock time (in seconds):86.259
139.24/86.39	o 394259
141.46/87.59	c And the winner is solver1
141.67/87.89	c Got one! Elapsed wall clock time (in seconds):87.76
141.67/87.89	o 394258
144.10/89.11	c And the winner is solver1
144.13/89.39	c Got one! Elapsed wall clock time (in seconds):89.261
144.13/89.39	o 394257
146.54/90.61	c And the winner is solver1
146.60/90.89	c Got one! Elapsed wall clock time (in seconds):90.762
146.60/90.89	o 394256
149.01/92.14	c And the winner is solver1
149.11/92.39	c Got one! Elapsed wall clock time (in seconds):92.263
149.11/92.39	o 394255
151.55/93.62	c And the winner is solver1
151.60/93.89	c Got one! Elapsed wall clock time (in seconds):93.764
151.60/93.89	o 394254
154.01/95.13	c And the winner is solver1
154.10/95.39	c Got one! Elapsed wall clock time (in seconds):95.265
154.10/95.39	o 394253
156.53/96.65	c And the winner is solver1
156.65/96.90	c Got one! Elapsed wall clock time (in seconds):96.77
156.65/96.90	o 394252
159.04/98.12	c And the winner is solver1
159.12/98.40	c Got one! Elapsed wall clock time (in seconds):98.271
159.12/98.40	o 394251
161.51/99.62	c And the winner is solver1
161.59/99.90	c Got one! Elapsed wall clock time (in seconds):99.772
161.59/99.90	o 394250
164.01/101.12	c And the winner is solver1
164.09/101.40	c Got one! Elapsed wall clock time (in seconds):101.273
164.09/101.40	o 394249
166.48/102.63	c And the winner is solver1
166.57/102.90	c Got one! Elapsed wall clock time (in seconds):102.774
166.57/102.90	o 394248
166.95/103.16	c And the winner is solver1
167.12/103.40	c Got one! Elapsed wall clock time (in seconds):103.274
167.12/103.40	o 394247
167.50/103.67	c And the winner is solver1
167.68/103.90	c Got one! Elapsed wall clock time (in seconds):103.775
167.68/103.90	o 394246
168.06/104.16	c And the winner is solver1
168.21/104.40	c Got one! Elapsed wall clock time (in seconds):104.275
168.21/104.40	o 394245
168.60/104.64	c And the winner is solver1
168.70/104.91	c Got one! Elapsed wall clock time (in seconds):104.776
168.70/104.91	o 394244
170.09/105.63	c And the winner is solver1
170.17/105.91	c Got one! Elapsed wall clock time (in seconds):105.777
170.17/105.91	o 394243
170.77/106.21	c And the winner is solver1
170.82/106.41	c Got one! Elapsed wall clock time (in seconds):106.278
170.82/106.41	o 394242
171.20/106.68	c And the winner is solver1
171.38/106.91	c Got one! Elapsed wall clock time (in seconds):106.778
171.38/106.91	o 394241
171.76/107.12	c And the winner is solver1
171.81/107.41	c Got one! Elapsed wall clock time (in seconds):107.279
171.81/107.41	o 394240
173.39/108.20	c And the winner is solver1
173.42/108.41	c Got one! Elapsed wall clock time (in seconds):108.28
173.42/108.41	o 394239
173.80/108.66	c And the winner is solver1
173.95/108.91	c Got one! Elapsed wall clock time (in seconds):108.781
173.95/108.91	o 394238
175.32/109.65	c And the winner is solver1
175.45/109.91	c Got one! Elapsed wall clock time (in seconds):109.781
175.45/109.91	o 394237
176.82/110.64	c And the winner is solver1
176.94/110.91	c Got one! Elapsed wall clock time (in seconds):110.782
176.94/110.91	o 394236
179.31/112.13	c And the winner is solver1
179.39/112.41	c Got one! Elapsed wall clock time (in seconds):112.283
179.39/112.41	o 394235
181.76/113.61	c And the winner is solver1
181.80/113.91	c Got one! Elapsed wall clock time (in seconds):113.785
181.80/113.91	o 394234
184.17/115.10	c And the winner is solver1
184.21/115.41	c Got one! Elapsed wall clock time (in seconds):115.286
184.21/115.41	o 394233
186.42/116.59	c And the winner is solver1
186.62/116.92	c Got one! Elapsed wall clock time (in seconds):116.787
186.62/116.92	o 394232
188.78/118.08	c And the winner is solver1
188.97/118.42	c Got one! Elapsed wall clock time (in seconds):118.288
188.97/118.42	o 394231
191.13/119.55	c And the winner is solver1
191.26/119.92	c Got one! Elapsed wall clock time (in seconds):119.789
191.26/119.92	o 394230
193.42/121.07	c And the winner is solver1
193.57/121.42	c Got one! Elapsed wall clock time (in seconds):121.29
193.57/121.42	o 394229
195.73/122.56	c And the winner is solver1
195.89/122.92	c Got one! Elapsed wall clock time (in seconds):122.791
195.89/122.92	o 394228
198.04/124.06	c And the winner is solver1
198.20/124.42	c Got one! Elapsed wall clock time (in seconds):124.292
198.20/124.42	o 394227
200.37/125.56	c And the winner is solver1
200.52/125.92	c Got one! Elapsed wall clock time (in seconds):125.793
200.52/125.92	o 394226
202.73/127.09	c And the winner is solver1
202.95/127.42	c Got one! Elapsed wall clock time (in seconds):127.294
202.95/127.42	o 394225
205.10/128.57	c And the winner is solver1
205.27/128.92	c Got one! Elapsed wall clock time (in seconds):128.795
205.27/128.92	o 394224
207.42/130.10	c And the winner is solver1
207.64/130.42	c Got one! Elapsed wall clock time (in seconds):130.296
207.64/130.42	o 394223
209.79/131.57	c And the winner is solver1
209.98/131.93	c Got one! Elapsed wall clock time (in seconds):131.797
209.98/131.93	o 394222
212.12/133.08	c And the winner is solver1
212.29/133.43	c Got one! Elapsed wall clock time (in seconds):133.298
212.29/133.43	o 394221
214.42/134.58	c And the winner is solver1
214.61/134.93	c Got one! Elapsed wall clock time (in seconds):134.799
214.61/134.93	o 394220
215.14/135.21	c And the winner is solver1
215.21/135.43	c Got one! Elapsed wall clock time (in seconds):135.299
215.21/135.43	o 394219
215.74/135.71	c And the winner is solver1
215.79/135.93	c Got one! Elapsed wall clock time (in seconds):135.8
215.79/135.93	o 394218
216.12/136.20	c And the winner is solver1
216.35/136.43	c Got one! Elapsed wall clock time (in seconds):136.301
216.35/136.43	o 394217
216.71/136.69	c And the winner is solver1
216.91/136.93	c Got one! Elapsed wall clock time (in seconds):136.802
216.91/136.93	o 394216
217.44/137.21	c And the winner is solver1
217.49/137.43	c Got one! Elapsed wall clock time (in seconds):137.303
217.49/137.43	o 394215
218.03/137.70	c And the winner is solver1
218.05/137.93	c Got one! Elapsed wall clock time (in seconds):137.804
218.05/137.93	o 394214
218.59/138.22	c And the winner is solver1
218.65/138.43	c Got one! Elapsed wall clock time (in seconds):138.304
218.65/138.43	o 394213
219.00/138.70	c And the winner is solver1
219.20/138.93	c Got one! Elapsed wall clock time (in seconds):138.805
219.20/138.93	o 394212
219.72/139.20	c And the winner is solver1
219.75/139.43	c Got one! Elapsed wall clock time (in seconds):139.306
219.75/139.43	o 394211
220.29/139.73	c And the winner is solver1
220.37/139.94	c Got one! Elapsed wall clock time (in seconds):139.807
220.37/139.94	o 394210
222.69/141.11	c And the winner is solver1
222.74/141.44	c Got one! Elapsed wall clock time (in seconds):141.308
222.74/141.44	o 394209
225.06/142.62	c And the winner is solver1
225.11/142.94	c Got one! Elapsed wall clock time (in seconds):142.809
225.11/142.94	o 394208
227.45/144.14	c And the winner is solver1
227.56/144.44	c Got one! Elapsed wall clock time (in seconds):144.31
227.56/144.44	o 394207
229.72/145.59	c And the winner is solver1
229.94/145.94	c Got one! Elapsed wall clock time (in seconds):145.811
229.94/145.94	o 394206
232.06/147.00	c And the winner is solver1
232.08/147.44	c Got one! Elapsed wall clock time (in seconds):147.312
232.08/147.44	o 394205
233.99/148.50	c And the winner is solver1
234.22/148.94	c Got one! Elapsed wall clock time (in seconds):148.813
234.22/148.94	o 394204
236.33/150.00	c And the winner is solver1
236.36/150.44	c Got one! Elapsed wall clock time (in seconds):150.314
236.36/150.44	o 394203
238.47/151.50	c And the winner is solver1
238.50/151.94	c Got one! Elapsed wall clock time (in seconds):151.815
238.50/151.94	o 394202
240.42/153.00	c And the winner is solver1
240.64/153.44	c Got one! Elapsed wall clock time (in seconds):153.316
240.64/153.44	o 394201
242.75/154.51	c And the winner is solver1
242.79/154.95	c Got one! Elapsed wall clock time (in seconds):154.817
242.79/154.95	o 394200
244.91/156.07	c And the winner is solver1
245.08/156.45	c Got one! Elapsed wall clock time (in seconds):156.318
245.08/156.45	o 394199
247.18/157.52	c And the winner is solver1
247.25/157.95	c Got one! Elapsed wall clock time (in seconds):157.819
247.25/157.95	o 394198
249.35/159.02	c And the winner is solver1
249.43/159.45	c Got one! Elapsed wall clock time (in seconds):159.32
249.43/159.45	o 394197
251.53/160.53	c And the winner is solver1
251.61/160.95	c Got one! Elapsed wall clock time (in seconds):160.821
251.61/160.95	o 394196
253.71/162.03	c And the winner is solver1
253.78/162.45	c Got one! Elapsed wall clock time (in seconds):162.322
253.78/162.45	o 394195
255.87/163.53	c And the winner is solver1
255.97/163.95	c Got one! Elapsed wall clock time (in seconds):163.823
255.97/163.95	o 394194
258.11/165.06	c And the winner is solver1
258.25/165.45	c Got one! Elapsed wall clock time (in seconds):165.324
258.25/165.45	o 394193
258.74/165.74	c And the winner is solver1
258.85/165.95	c Got one! Elapsed wall clock time (in seconds):165.825
258.85/165.95	o 394192
259.35/166.23	c And the winner is solver1
259.43/166.45	c Got one! Elapsed wall clock time (in seconds):166.325
259.43/166.45	o 394191
259.91/166.74	c And the winner is solver1
260.02/166.95	c Got one! Elapsed wall clock time (in seconds):166.826
260.02/166.95	o 394190
260.51/167.25	c And the winner is solver1
260.64/167.46	c Got one! Elapsed wall clock time (in seconds):167.327
260.64/167.46	o 394189
261.12/167.74	c And the winner is solver1
261.21/167.96	c Got one! Elapsed wall clock time (in seconds):167.827
261.21/167.96	o 394188
261.69/168.24	c And the winner is solver1
261.79/168.46	c Got one! Elapsed wall clock time (in seconds):168.328
261.79/168.46	o 394187
262.26/168.76	c And the winner is solver1
262.41/168.96	c Got one! Elapsed wall clock time (in seconds):168.829
262.41/168.96	o 394186
262.88/169.25	c And the winner is solver1
263.00/169.46	c Got one! Elapsed wall clock time (in seconds):169.33
263.00/169.46	o 394185
263.47/169.74	c And the winner is solver1
263.59/169.96	c Got one! Elapsed wall clock time (in seconds):169.83
263.59/169.96	o 394184
264.06/170.28	c And the winner is solver1
264.32/170.46	c Got one! Elapsed wall clock time (in seconds):170.331
264.32/170.46	o 394183
265.79/171.23	c And the winner is solver1
265.87/171.46	c Got one! Elapsed wall clock time (in seconds):171.332
265.87/171.46	o 394182
267.33/172.23	c And the winner is solver1
267.41/172.46	c Got one! Elapsed wall clock time (in seconds):172.333
267.41/172.46	o 394181
268.88/173.23	c And the winner is solver1
268.99/173.46	c Got one! Elapsed wall clock time (in seconds):173.334
268.99/173.46	o 394180
270.50/174.23	c And the winner is solver1
270.59/174.46	c Got one! Elapsed wall clock time (in seconds):174.335
270.59/174.46	o 394179
272.05/175.23	c And the winner is solver1
272.15/175.46	c Got one! Elapsed wall clock time (in seconds):175.335
272.15/175.46	o 394178
273.61/176.23	c And the winner is solver1
273.71/176.47	c Got one! Elapsed wall clock time (in seconds):176.336
273.71/176.47	o 394177
275.22/177.24	c And the winner is solver1
275.31/177.47	c Got one! Elapsed wall clock time (in seconds):177.338
275.31/177.47	o 394176
276.81/178.28	c And the winner is solver1
276.98/178.47	c Got one! Elapsed wall clock time (in seconds):178.338
276.98/178.47	o 394175
278.44/179.23	c And the winner is solver1
278.53/179.47	c Got one! Elapsed wall clock time (in seconds):179.34
278.53/179.47	o 394174
279.99/180.25	c And the winner is solver1
280.13/180.47	c Got one! Elapsed wall clock time (in seconds):180.34
280.13/180.47	o 394173
281.58/181.24	c And the winner is solver1
281.69/181.47	c Got one! Elapsed wall clock time (in seconds):181.342
281.69/181.47	o 394172
283.14/182.24	c And the winner is solver1
283.25/182.47	c Got one! Elapsed wall clock time (in seconds):182.343
283.25/182.47	o 394171
284.71/183.24	c And the winner is solver1
284.81/183.47	c Got one! Elapsed wall clock time (in seconds):183.344
284.81/183.47	o 394170
286.26/184.24	c And the winner is solver1
286.37/184.47	c Got one! Elapsed wall clock time (in seconds):184.345
286.37/184.47	o 394169
287.82/185.25	c And the winner is solver1
287.95/185.47	c Got one! Elapsed wall clock time (in seconds):185.346
287.95/185.47	o 394168
289.40/186.26	c And the winner is solver1
289.53/186.48	c Got one! Elapsed wall clock time (in seconds):186.347
289.53/186.48	o 394167
289.97/186.77	c And the winner is solver1
290.14/186.98	c Got one! Elapsed wall clock time (in seconds):186.848
290.14/186.98	o 394166
290.58/187.26	c And the winner is solver1
290.74/187.48	c Got one! Elapsed wall clock time (in seconds):187.348
290.74/187.48	o 394165
291.17/187.76	c And the winner is solver1
291.31/187.98	c Got one! Elapsed wall clock time (in seconds):187.849
291.31/187.98	o 394164
291.76/188.27	c And the winner is solver1
291.91/188.48	c Got one! Elapsed wall clock time (in seconds):188.35
291.91/188.48	o 394163
293.56/189.34	c And the winner is solver1
293.66/189.48	c Got one! Elapsed wall clock time (in seconds):189.351
293.66/189.48	o 394162
297.54/191.42	c And the winner is solver1
297.54/191.48	c Got one! Elapsed wall clock time (in seconds):191.353
297.54/191.48	o 394161
298.01/191.78	c And the winner is solver1
298.19/191.98	c Got one! Elapsed wall clock time (in seconds):191.853
298.19/191.98	o 394160
299.82/192.86	c And the winner is solver1
299.98/192.98	c Got one! Elapsed wall clock time (in seconds):192.854
299.98/192.98	o 394159
300.40/193.30	c And the winner is solver1
300.63/193.48	c Got one! Elapsed wall clock time (in seconds):193.355
300.63/193.48	o 394158
301.25/193.80	c And the winner is solver1
301.28/193.99	c Got one! Elapsed wall clock time (in seconds):193.856
301.28/193.99	o 394157
301.90/194.36	c And the winner is solver1
302.05/194.49	c Got one! Elapsed wall clock time (in seconds):194.357
302.05/194.49	o 394156
310.90/198.95	c And the winner is solver1
310.90/198.99	c Got one! Elapsed wall clock time (in seconds):198.858
310.90/198.99	o 394006
319.65/203.33	c And the winner is solver1
319.74/203.49	c Got one! Elapsed wall clock time (in seconds):203.361
319.74/203.49	o 394005
320.20/203.78	c And the winner is solver1
320.38/203.99	c Got one! Elapsed wall clock time (in seconds):203.862
320.38/203.99	o 394004
321.00/204.31	c And the winner is solver1
321.07/204.49	c Got one! Elapsed wall clock time (in seconds):204.362
321.07/204.49	o 394003
362.51/225.21	c cleaning 14288 clauses out of 28582 with flag 12489/35118
395.91/241.92	c cleaning 10099 clauses out of 20300 with flag 31992/41124
426.33/257.11	c And the winner is solver1
426.39/257.50	c Got one! Elapsed wall clock time (in seconds):257.372
426.39/257.50	o 394002
437.21/262.98	c cleaning 7992 clauses out of 15994 with flag 3114/46917
459.23/273.93	c And the winner is solver1
459.31/274.00	c Got one! Elapsed wall clock time (in seconds):273.876
459.31/274.00	o 394001
491.51/290.14	c And the winner is solver1
491.63/290.51	c Got one! Elapsed wall clock time (in seconds):290.38
491.63/290.51	o 394000
513.62/301.51	c cleaning 7250 clauses out of 14502 with flag 6607/53417
523.61/306.52	c And the winner is solver1
523.69/307.01	c Got one! Elapsed wall clock time (in seconds):306.884
523.69/307.01	o 393999
553.90/322.19	c And the winner is solver1
554.10/322.52	c Got one! Elapsed wall clock time (in seconds):322.387
554.10/322.52	o 393998
575.11/333.08	c cleaning 6549 clauses out of 13125 with flag 6843/59290
605.13/348.01	c And the winner is solver1
605.13/348.07	c Got one! Elapsed wall clock time (in seconds):347.944
605.13/348.07	o 393997
635.67/363.31	c And the winner is solver1
635.73/363.58	c Got one! Elapsed wall clock time (in seconds):363.447
635.73/363.58	o 393996
643.61/367.53	c And the winner is solver1
643.61/367.58	c Got one! Elapsed wall clock time (in seconds):367.449
643.61/367.58	o 393995
651.53/371.58	c And the winner is solver1
651.72/372.08	c Got one! Elapsed wall clock time (in seconds):371.95
651.72/372.08	o 393994
659.59/376.02	c And the winner is solver1
659.59/376.08	c Got one! Elapsed wall clock time (in seconds):375.952
659.59/376.08	o 393993
667.53/380.01	c And the winner is solver1
667.53/380.08	c Got one! Elapsed wall clock time (in seconds):379.953
667.53/380.08	o 393992
675.42/384.02	c And the winner is solver1
675.42/384.08	c Got one! Elapsed wall clock time (in seconds):383.955
675.42/384.08	o 393991
683.29/388.00	c And the winner is solver1
683.29/388.08	c Got one! Elapsed wall clock time (in seconds):387.956
683.29/388.08	o 393990
691.16/392.00	c And the winner is solver1
691.16/392.09	c Got one! Elapsed wall clock time (in seconds):391.958
691.16/392.09	o 393989
698.83/396.00	c And the winner is solver1
699.06/396.09	c Got one! Elapsed wall clock time (in seconds):395.959
699.06/396.09	o 393988
706.91/400.02	c And the winner is solver1
706.91/400.09	c Got one! Elapsed wall clock time (in seconds):399.96
706.91/400.09	o 393987
715.01/404.11	c And the winner is solver1
715.05/404.59	c Got one! Elapsed wall clock time (in seconds):404.461
715.05/404.59	o 393986
719.49/406.82	c And the winner is solver1
719.56/407.09	c Got one! Elapsed wall clock time (in seconds):406.963
719.56/407.09	o 393985
720.18/407.48	c And the winner is solver1
720.37/407.59	c Got one! Elapsed wall clock time (in seconds):407.463
720.37/407.59	o 393984
720.98/407.95	c And the winner is solver1
721.13/408.09	c Got one! Elapsed wall clock time (in seconds):407.964
721.13/408.09	o 393983
724.54/409.83	c And the winner is solver1
724.63/410.09	c Got one! Elapsed wall clock time (in seconds):409.965
724.63/410.09	o 393982
725.28/410.49	c And the winner is solver1
725.47/410.60	c Got one! Elapsed wall clock time (in seconds):410.466
725.47/410.60	o 393981
727.10/411.42	c And the winner is solver1
727.16/411.60	c Got one! Elapsed wall clock time (in seconds):411.467
727.16/411.60	o 393980
737.02/416.89	c cleaning 11087 clauses out of 22175 with flag 3549/74889
745.23/420.95	c And the winner is solver1
745.35/421.32	c Got one! Elapsed wall clock time (in seconds):421.186
745.35/421.32	o 393979
746.93/422.17	c And the winner is solver1
747.11/422.32	c Got one! Elapsed wall clock time (in seconds):422.187
747.11/422.32	o 393978
748.88/423.21	c And the winner is solver1
748.93/423.32	c Got one! Elapsed wall clock time (in seconds):423.188
748.93/423.32	o 393977
750.68/424.21	c And the winner is solver1
750.75/424.32	c Got one! Elapsed wall clock time (in seconds):424.189
750.75/424.32	o 393976
752.53/425.23	c And the winner is solver1
752.61/425.32	c Got one! Elapsed wall clock time (in seconds):425.19
752.61/425.32	o 393975
757.17/427.69	c And the winner is solver1
757.38/427.82	c Got one! Elapsed wall clock time (in seconds):427.691
757.38/427.82	o 393974
760.75/429.55	c And the winner is solver1
760.89/429.82	c Got one! Elapsed wall clock time (in seconds):429.692
760.89/429.82	o 393973
765.45/432.14	c And the winner is solver1
765.54/432.32	c Got one! Elapsed wall clock time (in seconds):432.193
765.54/432.32	o 393972
781.94/440.59	c And the winner is solver1
782.16/440.82	c Got one! Elapsed wall clock time (in seconds):440.695
782.16/440.82	o 393971
802.59/451.01	c And the winner is solver1
802.63/451.33	c Got one! Elapsed wall clock time (in seconds):451.197
802.63/451.33	o 393970
803.58/451.81	c And the winner is solver1
803.58/451.83	c Got one! Elapsed wall clock time (in seconds):451.698
803.58/451.83	o 393969
825.86/462.90	c cleaning 9880 clauses out of 19760 with flag 6923/83561
845.07/472.56	c And the winner is solver1
845.22/472.83	c Got one! Elapsed wall clock time (in seconds):472.706
845.22/472.83	o 393968
848.96/474.73	c And the winner is solver1
849.05/474.84	c Got one! Elapsed wall clock time (in seconds):474.707
849.05/474.84	o 393967
849.99/475.34	c And the winner is solver1
850.09/475.84	c Got one! Elapsed wall clock time (in seconds):475.708
850.09/475.84	o 393966
875.28/488.42	c And the winner is solver1
875.33/488.84	c Got one! Elapsed wall clock time (in seconds):488.711
875.33/488.84	o 393965
882.87/492.67	c And the winner is solver1
883.03/492.84	c Got one! Elapsed wall clock time (in seconds):492.712
883.03/492.84	o 393964
886.74/494.75	c And the winner is solver1
886.88/494.84	c Got one! Elapsed wall clock time (in seconds):494.713
886.88/494.84	o 393963
910.66/506.77	c cleaning 8499 clauses out of 17007 with flag 6256/90688
912.69/507.74	c And the winner is solver1
912.81/507.84	c Got one! Elapsed wall clock time (in seconds):507.716
912.81/507.84	o 393962
922.57/512.77	c And the winner is solver1
922.74/512.85	c Got one! Elapsed wall clock time (in seconds):512.717
922.74/512.85	o 393961
958.70/530.85	c And the winner is solver1
958.83/530.90	c Got one! Elapsed wall clock time (in seconds):530.771
958.83/530.90	o 393960
960.62/531.85	c And the winner is solver1
960.76/531.90	c Got one! Elapsed wall clock time (in seconds):531.772
960.76/531.90	o 393959
980.76/541.96	c And the winner is solver1
980.90/542.40	c Got one! Elapsed wall clock time (in seconds):542.274
980.90/542.40	o 393958
982.70/543.38	c And the winner is solver1
982.90/543.40	c Got one! Elapsed wall clock time (in seconds):543.275
982.90/543.40	o 393957
984.89/544.48	c And the winner is solver1
985.11/544.90	c Got one! Elapsed wall clock time (in seconds):544.776
985.11/544.90	o 393956
986.09/545.44	c And the winner is solver1
986.21/545.91	c Got one! Elapsed wall clock time (in seconds):545.777
986.21/545.91	o 393955
988.22/546.97	c And the winner is solver1
988.40/547.41	c Got one! Elapsed wall clock time (in seconds):547.278
988.40/547.41	o 393954
993.40/549.99	c And the winner is solver1
993.65/550.41	c Got one! Elapsed wall clock time (in seconds):550.279
993.65/550.41	o 393953
996.84/552.04	c And the winner is solver1
996.94/552.41	c Got one! Elapsed wall clock time (in seconds):552.28
996.94/552.41	o 393952
998.73/553.40	c And the winner is solver1
998.93/553.46	c Got one! Elapsed wall clock time (in seconds):553.331
998.93/553.46	o 393951
1009.27/558.68	c And the winner is solver1
1009.47/558.96	c Got one! Elapsed wall clock time (in seconds):558.832
1009.47/558.96	o 393950
1011.36/559.97	c And the winner is solver1
1011.51/560.46	c Got one! Elapsed wall clock time (in seconds):560.333
1011.51/560.46	o 393949
1012.59/561.01	c And the winner is solver1
1012.63/561.46	c Got one! Elapsed wall clock time (in seconds):561.334
1012.63/561.46	o 393948
1013.73/562.04	c And the winner is solver1
1013.83/562.46	c Got one! Elapsed wall clock time (in seconds):562.335
1013.83/562.46	o 393947
1014.92/563.05	c And the winner is solver1
1015.05/563.48	c Got one! Elapsed wall clock time (in seconds):563.348
1015.05/563.48	o 393946
1017.09/564.57	c And the winner is solver1
1017.26/564.98	c Got one! Elapsed wall clock time (in seconds):564.849
1017.26/564.98	o 393945
1018.33/565.55	c And the winner is solver1
1018.43/565.98	c Got one! Elapsed wall clock time (in seconds):565.85
1018.43/565.98	o 393944
1019.49/566.57	c And the winner is solver1
1019.65/566.98	c Got one! Elapsed wall clock time (in seconds):566.851
1019.65/566.98	o 393943
1020.68/567.55	c And the winner is solver1
1020.80/567.98	c Got one! Elapsed wall clock time (in seconds):567.851
1020.80/567.98	o 393942
1022.06/568.64	c And the winner is solver1
1022.16/568.98	c Got one! Elapsed wall clock time (in seconds):568.852
1022.16/568.98	o 393941
1032.24/574.01	c cleaning 9180 clauses out of 18365 with flag 3482/100545
1034.65/575.25	c And the winner is solver1
1034.76/575.48	c Got one! Elapsed wall clock time (in seconds):575.355
1034.76/575.48	o 393940
1036.39/576.68	c And the winner is solver1
1036.58/577.00	c Got one! Elapsed wall clock time (in seconds):576.871
1036.58/577.00	o 393939
1098.15/607.70	c cleaning 7253 clauses out of 14505 with flag 16039/105865
1135.82/626.57	c And the winner is solver1
1135.99/627.01	c Got one! Elapsed wall clock time (in seconds):626.879
1135.99/627.01	o 393938
1136.98/627.60	c And the winner is solver1
1137.20/628.01	c Got one! Elapsed wall clock time (in seconds):627.88
1137.20/628.01	o 393937
1138.19/628.57	c And the winner is solver1
1138.37/629.01	c Got one! Elapsed wall clock time (in seconds):628.881
1138.37/629.01	o 393936
1139.75/629.78	c And the winner is solver1
1139.95/630.01	c Got one! Elapsed wall clock time (in seconds):629.882
1139.95/630.01	o 393935
1140.93/630.52	c And the winner is solver1
1141.00/631.01	c Got one! Elapsed wall clock time (in seconds):630.883
1141.00/631.01	o 393934
1141.80/631.46	c And the winner is solver1
1141.92/631.51	c Got one! Elapsed wall clock time (in seconds):631.383
1141.92/631.51	o 393933
1143.09/632.16	c And the winner is solver1
1143.23/632.51	c Got one! Elapsed wall clock time (in seconds):632.384
1143.23/632.51	o 393932
1145.22/633.50	c And the winner is solver1
1145.22/633.51	c Got one! Elapsed wall clock time (in seconds):633.385
1145.22/633.51	o 393931
1146.44/634.19	c And the winner is solver1
1146.65/634.51	c Got one! Elapsed wall clock time (in seconds):634.386
1146.65/634.51	o 393930
1148.63/635.57	c And the winner is solver1
1148.82/636.02	c Got one! Elapsed wall clock time (in seconds):635.887
1148.82/636.02	o 393929
1149.98/636.66	c And the winner is solver1
1150.14/637.02	c Got one! Elapsed wall clock time (in seconds):636.888
1150.14/637.02	o 393928
1152.54/638.25	c And the winner is solver1
1152.68/638.52	c Got one! Elapsed wall clock time (in seconds):638.389
1152.68/638.52	o 393927
1153.85/639.17	c And the winner is solver1
1154.01/639.52	c Got one! Elapsed wall clock time (in seconds):639.39
1154.01/639.52	o 393926
1156.39/640.74	c And the winner is solver1
1156.49/641.03	c Got one! Elapsed wall clock time (in seconds):640.898
1156.49/641.03	o 393925
1158.82/642.25	c And the winner is solver1
1158.97/642.53	c Got one! Elapsed wall clock time (in seconds):642.399
1158.97/642.53	o 393924
1163.55/644.81	c And the winner is solver1
1163.60/645.03	c Got one! Elapsed wall clock time (in seconds):644.9
1163.60/645.03	o 393923
1169.37/647.98	c And the winner is solver1
1169.55/648.03	c Got one! Elapsed wall clock time (in seconds):647.906
1169.55/648.03	o 393922
1173.49/650.07	c And the winner is solver1
1173.66/650.54	c Got one! Elapsed wall clock time (in seconds):650.407
1173.66/650.54	o 393921
1179.60/653.53	c And the winner is solver1
1179.60/653.59	c Got one! Elapsed wall clock time (in seconds):653.458
1179.60/653.59	o 393920
1183.73/655.65	c And the winner is solver1
1183.84/656.09	c Got one! Elapsed wall clock time (in seconds):655.96
1183.84/656.09	o 393919
1192.88/660.67	c And the winner is solver1
1193.06/661.09	c Got one! Elapsed wall clock time (in seconds):660.961
1193.06/661.09	o 393918
1202.87/666.30	c And the winner is solver1
1202.90/666.80	c Got one! Elapsed wall clock time (in seconds):666.666
1202.90/666.80	o 393917
1211.93/671.34	c And the winner is solver1
1212.04/671.80	c Got one! Elapsed wall clock time (in seconds):671.668
1212.04/671.80	o 393916
1221.05/676.34	c And the winner is solver1
1221.17/676.80	c Got one! Elapsed wall clock time (in seconds):676.669
1221.17/676.80	o 393915
1230.42/681.40	c And the winner is solver1
1230.46/681.80	c Got one! Elapsed wall clock time (in seconds):681.671
1230.46/681.80	o 393914
1239.47/686.34	c And the winner is solver1
1239.57/686.80	c Got one! Elapsed wall clock time (in seconds):686.672
1239.57/686.80	o 393913
1248.58/691.35	c And the winner is solver1
1248.71/691.80	c Got one! Elapsed wall clock time (in seconds):691.674
1248.71/691.80	o 393912
1257.73/696.37	c And the winner is solver1
1257.89/696.80	c Got one! Elapsed wall clock time (in seconds):696.676
1257.89/696.80	o 393911
1266.89/701.36	c And the winner is solver1
1267.05/701.81	c Got one! Elapsed wall clock time (in seconds):701.683
1267.05/701.81	o 393910
1276.07/706.37	c And the winner is solver1
1276.22/706.81	c Got one! Elapsed wall clock time (in seconds):706.684
1276.22/706.81	o 393909
1285.25/711.38	c And the winner is solver1
1285.44/711.81	c Got one! Elapsed wall clock time (in seconds):711.686
1285.44/711.81	o 393908
1294.67/716.40	c And the winner is solver1
1294.70/716.82	c Got one! Elapsed wall clock time (in seconds):716.687
1294.70/716.82	o 393907
1303.91/721.41	c And the winner is solver1
1303.96/721.82	c Got one! Elapsed wall clock time (in seconds):721.689
1303.96/721.82	o 393906
1312.93/726.37	c And the winner is solver1
1313.11/726.82	c Got one! Elapsed wall clock time (in seconds):726.691
1313.11/726.82	o 393905
1314.48/727.50	c And the winner is solver1
1314.52/727.82	c Got one! Elapsed wall clock time (in seconds):727.692
1314.52/727.82	o 393904
1315.67/728.48	c And the winner is solver1
1315.85/728.82	c Got one! Elapsed wall clock time (in seconds):728.692
1315.85/728.82	o 393903
1326.06/733.90	c And the winner is solver1
1326.08/734.32	c Got one! Elapsed wall clock time (in seconds):734.194
1326.08/734.32	o 393902
1346.85/745.20	c And the winner is solver1
1346.85/745.26	c Got one! Elapsed wall clock time (in seconds):745.128
1346.85/745.26	o 393901
1355.38/749.58	c cleaning 14271 clauses out of 28544 with flag 3551/127157
1357.00/750.34	c And the winner is solver1
1357.08/750.76	c Got one! Elapsed wall clock time (in seconds):750.63
1357.08/750.76	o 393900
1371.63/758.08	c And the winner is solver1
1371.78/758.26	c Got one! Elapsed wall clock time (in seconds):758.132
1371.78/758.26	o 393899
1420.76/782.72	c cleaning 9849 clauses out of 19703 with flag 14669/132587
1422.76/783.79	c And the winner is solver1
1422.97/784.27	c Got one! Elapsed wall clock time (in seconds):784.136
1422.97/784.27	o 393898
1442.71/794.14	c And the winner is solver1
1442.82/794.27	c Got one! Elapsed wall clock time (in seconds):794.138
1442.82/794.27	o 393897
1498.10/821.89	c cleaning 7955 clauses out of 15945 with flag 13963/138678
1571.13/858.24	c cleaning 6992 clauses out of 13990 with flag 32815/144678
1592.58/868.98	c And the winner is solver0
1602.09/878.37	c Got one! Elapsed wall clock time (in seconds):878.242
1602.09/878.37	o 393877
1648.15/901.36	c cleaning 6418 clauses out of 12837 with flag 14367/150517
1720.49/937.40	c cleaning 6208 clauses out of 12419 with flag 35936/156517
1795.44/974.87	c cleaning 6600 clauses out of 13208 with flag 58537/163514
1800.03/977.10	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1800.03/977.10	c starts		: 3353
1800.03/977.10	c conflicts		: 163872
1800.03/977.10	c decisions		: 999885
1800.03/977.10	c propagations		: 158273486
1800.03/977.10	c inspects		: 4411338440
1800.03/977.10	c shortcuts		: 0
1800.03/977.10	c learnt literals	: 1
1800.03/977.10	c learnt binary clauses	: 0
1800.03/977.10	c learnt ternary clauses	: 0
1800.03/977.10	c learnt constraints	: 163870
1800.03/977.10	c ignored constraints	: 0
1800.03/977.10	c root simplifications	: 0
1800.03/977.10	c removed literals (reason simplification)	: 447365
1800.03/977.10	c reason swapping (by a shorter reason)	: 0
1800.03/977.10	c Calls to reduceDB	: 18
1800.03/977.10	c Number of update (reduction) of LBD	: 70790
1800.03/977.10	c Imported unit clauses	: 0
1800.03/977.10	c number of reductions to clauses (during analyze)	: 0
1800.03/977.10	c number of learned constraints concerned by reduction	: 0
1800.03/977.10	c number of learning phase by resolution	: 0
1800.03/977.10	c number of learning phase by cutting planes	: 0
1800.03/977.10	c speed (assignments/second)	: 865662.952935707
1800.03/977.10	c non guided choices	108397
1800.03/977.11	c learnt constraints type 
1800.03/977.11	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 6966
1800.03/977.11	c >>>>>>>>>> Solver number 1 (286 answers) <<<<<<<<<<<<<<<<<<
1800.03/977.11	c starts		: 290
1800.03/977.11	c conflicts		: 416
1800.03/977.11	c decisions		: 1747417
1800.03/977.11	c propagations		: 3717960
1800.03/977.11	c inspects		: 128137129
1800.03/977.11	c shortcuts		: 0
1800.03/977.11	c learnt literals	: 0
1800.03/977.11	c learnt binary clauses	: 0
1800.03/977.11	c learnt ternary clauses	: 0
1800.03/977.11	c learnt constraints	: 412
1800.03/977.11	c ignored constraints	: 0
1800.03/977.11	c root simplifications	: 0
1800.03/977.11	c removed literals (reason simplification)	: 0
1800.03/977.11	c reason swapping (by a shorter reason)	: 0
1800.03/977.11	c Calls to reduceDB	: 0
1800.03/977.11	c Number of update (reduction) of LBD	: 0
1800.03/977.11	c Imported unit clauses	: 0
1800.03/977.11	c number of reductions to clauses (during analyze)	: 0
1800.03/977.11	c number of learned constraints concerned by reduction	: 0
1800.03/977.11	c number of learning phase by resolution	: 0
1800.03/977.11	c number of learning phase by cutting planes	: 0
1800.03/977.11	c speed (assignments/second)	: 37655.94773889705
1800.03/977.11	c non guided choices	6393
1800.03/977.11	c learnt constraints type 
1800.03/977.11	c org.sat4j.pb.constraints.pb.MaxWatchPb => 412
1800.03/977.11	s SATISFIABLE
1800.03/977.11	c Found 289 solution(s)
1800.03/977.12	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 x5645 -x5646 -x5647 x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 x6621 x6622 x6623 x6624 x6625 x6626 x6627 x6628 x6629 x6630 x6631 x6632 x6633 x6634 x6635 x6636 x6637 x6638 x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 x6650 x6651 
1800.03/977.12	c objective function=393877
1800.03/977.12	c Total wall clock time (in seconds): 976.995

OK	393877

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-4100482-1466209759/watcher-4100482-1466209759 -o /tmp/evaluation-result-4100482-1466209759/solver-4100482-1466209759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100482-1466209759.opb 

pid=11602
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.26 4.35 4.24 5/197 11605
/proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/11605/stat : 11605 (java) R 11602 11605 8337 0 -1 4202496 170 0 0 0 0 0 0 0 20 0 1 0 23021660 2560000 46 33554432000 1073741824 1073778376 140735349099152 140735349096280 225435544871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11605/statm: 892 47 37 9 0 30 0

[startup+0.100061 s]
/proc/loadavg: 4.26 4.35 4.24 5/197 11605
/proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 4162 0 1 0 6 1 0 0 20 0 18 0 23021660 9787879424 5289 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11605/statm: 2389619 5289 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.20025 s]
/proc/loadavg: 4.26 4.35 4.24 5/197 11605
/proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 4981 0 1 0 25 1 0 0 20 0 18 0 23021660 9787879424 6971 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11605/statm: 2389619 6971 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300235 s]
/proc/loadavg: 4.26 4.35 4.24 5/197 11605
/proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 5486 0 1 0 44 1 0 0 20 0 18 0 23021660 9787879424 9320 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11605/statm: 2389619 9320 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700297 s]
/proc/loadavg: 4.26 4.35 4.24 5/197 11605
/proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=9558476 CPUtime=1.2 cores=1,3,5,7
/proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 7498 0 1 0 113 7 0 0 20 0 18 0 23021660 9787879424 47060 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11605/statm: 2389619 47060 2269 9 0 2380296 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9558476

[startup+1.50086 s]
/proc/loadavg: 4.26 4.35 4.24 5/219 11627
/proc/meminfo: memFree=26680288/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 10164 0 1 0 285 13 0 0 20 0 22 0 23021660 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11605/statm: 2456183 57456 2275 9 0 2446860 0
[pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2496 0 1 0 71 3 0 0 20 0 22 0 23021662 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 89 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 119 0 0 0 4 2 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 120 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 3700 0 0 0 48 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 2080 0 0 0 41 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11627] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11627/stat : 11627 (java) S 11602 11605 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23021743 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207362966440 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 4.26 4.35 4.24 3/216 11633
/proc/meminfo: memFree=26544816/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=9824732 CPUtime=5.61 cores=1,3,5,7
/proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 13828 0 1 0 539 22 0 0 20 0 22 0 23021660 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11605/statm: 2456183 91177 2276 9 0 2446860 0
[pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2496 0 1 0 71 3 0 0 20 0 22 0 23021662 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 103 0 0 0 4 0 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 97 0 0 0 3 1 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 124 0 0 0 6 2 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 124 0 0 0 3 0 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 4670 0 0 0 82 0 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 4519 0 0 0 76 2 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11630] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11630/stat : 11630 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23021793 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207364019496 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 9824732

[startup+6.3008 s]
/proc/loadavg: 4.32 4.36 4.24 5/219 11651
/proc/meminfo: memFree=26287296/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=9824732 CPUtime=9.92 cores=1,3,5,7
/proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 15804 0 1 0 952 40 0 0 20 0 19 0 23021660 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11605/statm: 2456183 155031 2280 9 0 2446860 0
[pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2497 0 1 0 72 3 0 0 20 0 19 0 23021662 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 118 0 0 0 6 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 108 0 0 0 5 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 144 0 0 0 10 4 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 51 0 0 0 5 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 62 0 0 0 6 3 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 41 0 0 0 6 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 141 0 0 0 5 0 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 463 0 0 0 0 0 0 0 20 0 19 0 23021665 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23021665 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23021665 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 4671 0 0 0 86 0 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 5750 0 0 0 94 2 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11630] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11630/stat : 11630 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23021793 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207364019496 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (KiB) 9824732


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

[pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 371 0 0 0 170 18 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 459 0 0 0 158 18 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 707 0 0 0 156 17 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 503 0 0 0 165 21 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 498 0 0 0 161 24 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 397 0 0 0 155 19 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 622 0 0 0 163 18 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 554 0 0 0 178 20 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 8575 0 0 0 296 30 0 0 20 0 22 0 23021665 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 5221 0 0 0 107 0 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 7222 0 0 0 143 2 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 55 0 0 0 11 26 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=12593] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/12593/stat : 12593 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23101088 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207365071784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=12595] ppid=11602 vsize=9824732 CPUtime=63.69 cores=1,3,5,7
/proc/11605/task/12595/stat : 12595 (java) R 11602 11605 8337 0 -1 4202560 1089 0 0 0 6367 2 0 0 20 0 22 0 23109498 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207362957696 140207412923218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=12596] ppid=11602 vsize=9824732 CPUtime=63.67 cores=1,3,5,7
/proc/11605/task/12596/stat : 12596 (java) R 11602 11605 8337 0 -1 4202560 522 0 0 0 6367 0 0 0 20 0 22 0 23109498 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207364017040 140207412977952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=12597] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/12597/stat : 12597 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23109498 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207366124840 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1730.29
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+977.101 s]
/proc/loadavg: 4.22 4.27 4.21 5/219 12602
/proc/meminfo: memFree=25855068/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 35284 0 1 0 179176 827 0 0 20 0 22 0 23021660 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11605/statm: 2456183 809747 2294 9 0 2446860 0
[pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2509 0 1 0 87 6 0 0 20 0 22 0 23021662 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 383 0 0 0 173 19 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 500 0 0 0 162 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 735 0 0 0 158 19 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 519 0 0 0 167 22 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 533 0 0 0 165 25 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 424 0 0 0 157 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 651 0 0 0 165 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 568 0 0 0 181 21 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=3.27 cores=1,3,5,7
/proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 8644 0 0 0 296 31 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 5221 0 0 0 107 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 7222 0 0 0 143 2 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 57 0 0 0 12 27 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=12593] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/12593/stat : 12593 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23101088 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207365071784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=12595] ppid=11602 vsize=9824732 CPUtime=98.4 cores=1,3,5,7
/proc/11605/task/12595/stat : 12595 (java) R 11602 11605 8337 0 -1 4202560 1108 0 0 0 9836 4 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207362957696 140207412923197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=12596] ppid=11602 vsize=9824732 CPUtime=98.37 cores=1,3,5,7
/proc/11605/task/12596/stat : 12596 (java) R 11602 11605 8337 0 -1 4202560 523 0 0 0 9836 1 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207364017856 140207412977988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=12597] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/12597/stat : 12597 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207366124840 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 11605 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+977.101 s]
/proc/loadavg: 4.22 4.27 4.21 5/219 12602
/proc/meminfo: memFree=25855068/32872528 swapFree=1499884/1696108
[pid=11605] ppid=11602 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 35284 0 1 0 179176 827 0 0 20 0 22 0 23021660 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11605/statm: 2456183 809747 2294 9 0 2446860 0
[pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2509 0 1 0 87 6 0 0 20 0 22 0 23021662 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 383 0 0 0 173 19 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 500 0 0 0 162 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 735 0 0 0 158 19 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 519 0 0 0 167 22 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 533 0 0 0 165 25 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 424 0 0 0 157 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 651 0 0 0 165 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 568 0 0 0 181 21 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=3.27 cores=1,3,5,7
/proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 8644 0 0 0 296 31 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 5221 0 0 0 107 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 7222 0 0 0 143 2 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 57 0 0 0 12 27 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=12593] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/12593/stat : 12593 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23101088 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207365071784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11605/tid=12595] ppid=11602 vsize=9824732 CPUtime=98.4 cores=1,3,5,7
/proc/11605/task/12595/stat : 12595 (java) R 11602 11605 8337 0 -1 4202560 1108 0 0 0 9836 4 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207362957696 140207412923197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11605/tid=12596] ppid=11602 vsize=9824732 CPUtime=98.37 cores=1,3,5,7
/proc/11605/task/12596/stat : 12596 (java) R 11602 11605 8337 0 -1 4202560 523 0 0 0 9836 1 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207364017856 140207412977988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11605/tid=12597] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/11605/task/12597/stat : 12597 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207366124840 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732

Child status: 143

# 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): 1.52588e-05
#  lost CPU user time (s): 0.0100098
#  lost CPU system time (s): -0.00999999

Real time (s): 977.143
CPU time (s): 1800.56
CPU user time (s): 1792
CPU system time (s): 8.5627
CPU usage (%): 184.268
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.99
system time used= 8.5727
maximum resident set size= 3289324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35321
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37235
involuntary context switches= 35112

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01309 second user time and 8.28274 second system time

The end

Begin job on node137 at 2016-06-18 02:29:19
IDJOB=4100482
IDBENCH=1622
IDSOLVER=2543
FILE ID=node137/4100482-1466209759
RUNJOBID= node137-1466206054-8354
PBS_JOBID= 19918140
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100482-1466209759/watcher-4100482-1466209759 -o /tmp/evaluation-result-4100482-1466209759/solver-4100482-1466209759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4100482-1466209759.opb

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

MD5SUM BENCH= 5afe2e688387cc46a3d150d955d27ab1
RANDOM SEED=249388759

node137.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.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
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.486
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.486
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.56
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.486
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.486
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.486
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.38
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.486
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.486
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:        26901624 kB
Buffers:           40544 kB
Cached:            82140 kB
SwapCached:         1252 kB
Active:          3488732 kB
Inactive:          76292 kB
Active(anon):    3443076 kB
Inactive(anon):     1100 kB
Active(file):      45656 kB
Inactive(file):    75192 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67099968 kB
Dirty:              2520 kB
Writeback:             0 kB
AnonPages:       5173760 kB
Mapped:            15456 kB
Shmem:                 0 kB
Slab:             570840 kB
SReclaimable:      14980 kB
SUnreclaim:       555860 kB
KernelStack:        1808 kB
PageTables:        14620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5462976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3614720 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= 71700 MiB
End job on node137 at 2016-06-18 02:45:37