0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4118416-1467229172.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.76/0.42	c ... done. Wall clock time 0.309s.
0.76/0.42	c declared #vars     5376
0.76/0.42	c #constraints  10692
0.76/0.42	c constraints type 
0.76/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5346
0.76/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5346
0.76/0.42	c 10692 constraints processed.
0.76/0.42	c objective function length is 5376 literals
1.05/0.54	c SATISFIABLE
1.05/0.54	c OPTIMIZING...
1.05/0.54	c Got one! Elapsed wall clock time (in seconds):0.422
1.05/0.54	o 0
1.35/0.65	c Got one! Elapsed wall clock time (in seconds):0.528
1.35/0.65	o -231
1.64/0.74	c Got one! Elapsed wall clock time (in seconds):0.622
1.64/0.74	o -462
1.64/0.79	c Got one! Elapsed wall clock time (in seconds):0.674
1.64/0.79	o -863
1.94/0.85	c Got one! Elapsed wall clock time (in seconds):0.732
1.94/0.85	o -1113
2.24/0.90	c Got one! Elapsed wall clock time (in seconds):0.788
2.24/0.90	o -1264
2.24/0.91	c Got one! Elapsed wall clock time (in seconds):0.799
2.24/0.91	o -1782
2.24/0.93	c Got one! Elapsed wall clock time (in seconds):0.819
2.24/0.93	o -1817
2.24/0.95	c Got one! Elapsed wall clock time (in seconds):0.839
2.24/0.95	o -1970
2.24/0.96	c Got one! Elapsed wall clock time (in seconds):0.85
2.24/0.96	o -2051
2.24/0.97	c Got one! Elapsed wall clock time (in seconds):0.857
2.24/0.97	o -2300
2.24/0.98	c Got one! Elapsed wall clock time (in seconds):0.87
2.24/0.98	o -2890
2.40/1.04	c Got one! Elapsed wall clock time (in seconds):0.928
2.40/1.04	o -2925
2.52/1.11	c Got one! Elapsed wall clock time (in seconds):0.993
2.52/1.11	o -2978
2.52/1.12	c Got one! Elapsed wall clock time (in seconds):1.007
2.52/1.12	o -3182
2.52/1.14	c Got one! Elapsed wall clock time (in seconds):1.025
2.52/1.14	o -3459
2.52/1.15	c Got one! Elapsed wall clock time (in seconds):1.038
2.52/1.15	o -3480
2.52/1.17	c Got one! Elapsed wall clock time (in seconds):1.057
2.52/1.17	o -3886
2.62/1.28	c Got one! Elapsed wall clock time (in seconds):1.163
2.62/1.28	o -3910
2.72/1.32	c Got one! Elapsed wall clock time (in seconds):1.21
2.72/1.32	o -4092
2.72/1.37	c Got one! Elapsed wall clock time (in seconds):1.26
2.72/1.37	o -4232
2.92/1.55	c Got one! Elapsed wall clock time (in seconds):1.437
2.92/1.55	o -4580
3.02/1.68	c Got one! Elapsed wall clock time (in seconds):1.569
3.02/1.68	o -4606
3.13/1.73	c Got one! Elapsed wall clock time (in seconds):1.612
3.13/1.73	o -4632
3.13/1.76	c Got one! Elapsed wall clock time (in seconds):1.643
3.13/1.76	o -5093
3.70/2.21	c Got one! Elapsed wall clock time (in seconds):2.094
3.70/2.21	o -5096
3.80/2.34	c Got one! Elapsed wall clock time (in seconds):2.225
3.80/2.34	o -5097
3.89/2.43	c Got one! Elapsed wall clock time (in seconds):2.318
3.89/2.43	o -5122
3.89/2.47	c Got one! Elapsed wall clock time (in seconds):2.355
3.89/2.47	o -5125
3.89/2.48	c Got one! Elapsed wall clock time (in seconds):2.368
3.89/2.48	o -5316
4.66/3.14	c Got one! Elapsed wall clock time (in seconds):3.026
4.66/3.14	o -5338
5.06/3.50	c Got one! Elapsed wall clock time (in seconds):3.383
5.06/3.50	o -5467
5.16/3.69	c Got one! Elapsed wall clock time (in seconds):3.573
5.16/3.69	o -5494
5.26/3.79	c Got one! Elapsed wall clock time (in seconds):3.675
5.26/3.79	o -5511
5.36/3.84	c Got one! Elapsed wall clock time (in seconds):3.731
5.36/3.84	o -5514
5.36/3.88	c Got one! Elapsed wall clock time (in seconds):3.762
5.36/3.88	o -5785
6.77/5.22	c Got one! Elapsed wall clock time (in seconds):5.106
6.77/5.22	o -5858
7.49/5.90	c Got one! Elapsed wall clock time (in seconds):5.782
7.49/5.90	o -5874
8.19/6.53	c Got one! Elapsed wall clock time (in seconds):6.415
8.19/6.53	o -5886
8.30/6.61	c Got one! Elapsed wall clock time (in seconds):6.494
8.30/6.61	o -6070
10.56/8.72	c cleaning 5519 clauses out of 11037 with flag 6001/11037
11.18/9.30	c Got one! Elapsed wall clock time (in seconds):9.187
11.18/9.30	o -6132
12.48/10.69	c Got one! Elapsed wall clock time (in seconds):10.572
12.48/10.69	o -6151
13.28/11.41	c Got one! Elapsed wall clock time (in seconds):11.297
13.28/11.41	o -6158
13.48/11.60	c Got one! Elapsed wall clock time (in seconds):11.484
13.48/11.60	o -6175
13.48/11.66	c Got one! Elapsed wall clock time (in seconds):11.549
13.48/11.66	o -6181
13.48/11.69	c Got one! Elapsed wall clock time (in seconds):11.575
13.48/11.69	o -6188
13.58/11.71	c Got one! Elapsed wall clock time (in seconds):11.592
13.58/11.71	o -6191
13.91/11.94	c Got one! Elapsed wall clock time (in seconds):11.826
13.91/11.94	o -6220
14.11/12.11	c Got one! Elapsed wall clock time (in seconds):11.998
14.11/12.11	o -6221
14.11/12.15	c Got one! Elapsed wall clock time (in seconds):12.034
14.11/12.15	o -6230
14.23/12.24	c Got one! Elapsed wall clock time (in seconds):12.13
14.23/12.24	o -6354
15.73/13.72	c cleaning 6251 clauses out of 12501 with flag 4001/18020
20.17/18.01	c Got one! Elapsed wall clock time (in seconds):17.897
20.17/18.01	o -6360
21.67/19.54	c Got one! Elapsed wall clock time (in seconds):19.422
21.67/19.54	o -6402
22.47/20.32	c Got one! Elapsed wall clock time (in seconds):20.206
22.47/20.32	o -6410
23.08/20.93	c Got one! Elapsed wall clock time (in seconds):20.814
23.08/20.93	o -6416
23.18/21.05	c Got one! Elapsed wall clock time (in seconds):20.935
23.18/21.05	o -6417
23.27/21.12	c Got one! Elapsed wall clock time (in seconds):21.006
23.27/21.12	o -6479
24.07/21.92	c Got one! Elapsed wall clock time (in seconds):21.801
24.07/21.92	o -6493
24.57/22.43	c Got one! Elapsed wall clock time (in seconds):22.312
24.57/22.43	o -6501
25.02/22.72	c Got one! Elapsed wall clock time (in seconds):22.606
25.02/22.72	o -6525
25.02/22.75	c Got one! Elapsed wall clock time (in seconds):22.632
25.02/22.75	o -6527
25.02/22.76	c Got one! Elapsed wall clock time (in seconds):22.643
25.02/22.76	o -6528
25.84/23.56	c cleaning 9614 clauses out of 19228 with flag 2033/30998
26.07/23.78	c Got one! Elapsed wall clock time (in seconds):23.669
26.07/23.78	o -6543
26.47/24.17	c Got one! Elapsed wall clock time (in seconds):24.058
26.47/24.17	o -6548
26.77/24.43	c Got one! Elapsed wall clock time (in seconds):24.316
26.77/24.43	o -6759
30.58/28.10	c cleaning 7920 clauses out of 15842 with flag 10001/37226
34.77/32.31	c cleaning 6962 clauses out of 13923 with flag 22003/43227
39.56/37.07	c Got one! Elapsed wall clock time (in seconds):36.954
39.56/37.07	o -6774
43.67/40.96	c cleaning 9300 clauses out of 18599 with flag 10174/54865
45.87/43.12	c Got one! Elapsed wall clock time (in seconds):43.01
45.87/43.12	o -6789
48.07/45.38	c cleaning 7633 clauses out of 15272 with flag 6352/60838
48.29/45.54	c Got one! Elapsed wall clock time (in seconds):45.424
48.29/45.54	o -6792
49.09/46.39	c Got one! Elapsed wall clock time (in seconds):46.279
49.09/46.39	o -6801
49.39/46.68	c Got one! Elapsed wall clock time (in seconds):46.564
49.39/46.68	o -6804
50.71/47.89	c Got one! Elapsed wall clock time (in seconds):47.774
50.71/47.89	o -6935
52.91/50.09	c cleaning 7051 clauses out of 14104 with flag 6003/67303
57.32/54.45	c cleaning 6527 clauses out of 13053 with flag 18003/73303
62.64/59.61	c cleaning 6759 clauses out of 13526 with flag 32003/80303
68.34/65.31	c cleaning 7379 clauses out of 14767 with flag 48003/88303
74.37/71.20	c Got one! Elapsed wall clock time (in seconds):71.089
74.37/71.20	o -6936
78.37/75.23	c cleaning 10201 clauses out of 20401 with flag 10002/101316
80.77/77.67	c Got one! Elapsed wall clock time (in seconds):77.555
80.77/77.67	o -6951
82.38/79.22	c cleaning 7670 clauses out of 15342 with flag 4005/106458
83.97/80.85	c Got one! Elapsed wall clock time (in seconds):80.733
83.97/80.85	o -6953
86.14/82.84	c Got one! Elapsed wall clock time (in seconds):82.729
86.14/82.84	o -6959
86.74/83.44	c Got one! Elapsed wall clock time (in seconds):83.322
86.74/83.44	o -6967
86.74/83.47	c Got one! Elapsed wall clock time (in seconds):83.354
86.74/83.47	o -6970
87.34/84.00	c Got one! Elapsed wall clock time (in seconds):83.883
87.34/84.00	o -6982
88.05/84.75	c cleaning 7470 clauses out of 14942 with flag 2003/113728
90.35/87.09	c Got one! Elapsed wall clock time (in seconds):86.975
90.35/87.09	o -6984
91.74/88.48	c Got one! Elapsed wall clock time (in seconds):88.363
91.74/88.48	o -6986
91.84/88.51	c Got one! Elapsed wall clock time (in seconds):88.4
91.84/88.51	o -6992
92.55/89.24	c cleaning 6803 clauses out of 13608 with flag 2013/119864
93.34/90.10	c Got one! Elapsed wall clock time (in seconds):89.982
93.34/90.10	o -7015
94.84/91.58	c Got one! Elapsed wall clock time (in seconds):91.47
94.84/91.58	o -7019
95.75/92.43	c Got one! Elapsed wall clock time (in seconds):92.317
95.75/92.43	o -7023
95.75/92.49	c Got one! Elapsed wall clock time (in seconds):92.374
95.75/92.49	o -7027
95.85/92.51	c Got one! Elapsed wall clock time (in seconds):92.393
95.85/92.51	o -7036
95.85/92.53	c Got one! Elapsed wall clock time (in seconds):92.418
95.85/92.53	o -7042
95.98/92.61	c Got one! Elapsed wall clock time (in seconds):92.494
95.98/92.61	o -7044
95.98/92.62	c Got one! Elapsed wall clock time (in seconds):92.501
95.98/92.62	o -7050
96.68/93.34	c cleaning 6232 clauses out of 12468 with flag 2057/125527
97.08/93.78	c Got one! Elapsed wall clock time (in seconds):93.665
97.08/93.78	o -7060
97.48/94.14	c Got one! Elapsed wall clock time (in seconds):94.021
97.48/94.14	o -7061
99.19/95.85	c Got one! Elapsed wall clock time (in seconds):95.734
99.19/95.85	o -7105
101.29/97.92	c cleaning 6550 clauses out of 13103 with flag 6001/132394
105.38/102.02	c cleaning 6272 clauses out of 12553 with flag 18001/138394
110.25/106.86	c cleaning 6636 clauses out of 13281 with flag 32001/145394
116.05/112.66	c cleaning 7320 clauses out of 14645 with flag 48001/153394
122.53/119.09	c cleaning 8161 clauses out of 16325 with flag 66001/162394
129.53/125.97	c cleaning 9079 clauses out of 18164 with flag 86001/172394
137.85/134.12	c cleaning 10041 clauses out of 20085 with flag 108001/183394
145.25/141.58	c Got one! Elapsed wall clock time (in seconds):141.469
145.25/141.58	o -7108
149.44/145.68	c cleaning 12555 clauses out of 25111 with flag 10004/198461
154.14/150.33	c cleaning 9276 clauses out of 18555 with flag 22002/204460
158.19/154.35	c Got one! Elapsed wall clock time (in seconds):154.235
158.19/154.35	o -7113
162.19/158.32	c cleaning 9801 clauses out of 19603 with flag 10003/214784
164.50/160.63	c Got one! Elapsed wall clock time (in seconds):160.516
164.50/160.63	o -7118
165.99/162.14	c cleaning 7502 clauses out of 15003 with flag 4004/219985
167.21/163.34	c Got one! Elapsed wall clock time (in seconds):163.229
167.21/163.34	o -7123
167.91/164.03	c Got one! Elapsed wall clock time (in seconds):163.92
167.91/164.03	o -7130
168.21/164.31	c Got one! Elapsed wall clock time (in seconds):164.193
168.21/164.31	o -7143
168.21/164.34	c Got one! Elapsed wall clock time (in seconds):164.226
168.21/164.34	o -7150
168.21/164.37	c Got one! Elapsed wall clock time (in seconds):164.256
168.21/164.37	o -7157
168.21/164.38	c Got one! Elapsed wall clock time (in seconds):164.262
168.21/164.38	o -7161
168.61/164.73	c Got one! Elapsed wall clock time (in seconds):164.615
168.61/164.73	o -7167
168.71/164.82	c Got one! Elapsed wall clock time (in seconds):164.706
168.71/164.82	o -7175
168.91/165.05	c Got one! Elapsed wall clock time (in seconds):164.939
168.91/165.05	o -7178
170.71/166.86	c Got one! Elapsed wall clock time (in seconds):166.748
170.71/166.86	o -7194
172.21/168.32	c cleaning 8013 clauses out of 16028 with flag 4003/228512
176.45/172.56	c cleaning 7008 clauses out of 14015 with flag 16003/234512
181.62/177.68	c cleaning 7001 clauses out of 14008 with flag 30005/241513
183.63/179.68	c Got one! Elapsed wall clock time (in seconds):179.561
183.63/179.68	o -7195
185.23/181.23	c Got one! Elapsed wall clock time (in seconds):181.12
185.23/181.23	o -7196
185.93/181.98	c cleaning 6475 clauses out of 12958 with flag 2013/247464
186.43/182.46	c Got one! Elapsed wall clock time (in seconds):182.347
186.43/182.46	o -7213
186.93/182.90	c Got one! Elapsed wall clock time (in seconds):182.785
186.93/182.90	o -7215
187.13/183.15	c Got one! Elapsed wall clock time (in seconds):183.04
187.13/183.15	o -7220
187.53/183.59	c Got one! Elapsed wall clock time (in seconds):183.477
187.53/183.59	o -7221
187.63/183.63	c Got one! Elapsed wall clock time (in seconds):183.514
187.63/183.63	o -7233
191.28/187.21	c cleaning 6890 clauses out of 13782 with flag 10222/254763
194.48/190.46	c Got one! Elapsed wall clock time (in seconds):190.342
194.48/190.46	o -7255
195.17/191.19	c cleaning 6251 clauses out of 12511 with flag 2001/260382
199.51/195.41	c cleaning 6128 clauses out of 12261 with flag 14003/266383
204.49/200.36	c cleaning 6567 clauses out of 13133 with flag 28003/273383
210.08/205.92	c cleaning 7280 clauses out of 14565 with flag 44001/281382
216.41/212.29	c cleaning 8143 clauses out of 16286 with flag 62003/290383
223.84/219.67	c cleaning 9072 clauses out of 18143 with flag 82003/300383
232.25/227.82	c cleaning 10033 clauses out of 20071 with flag 104003/311383
241.55/237.01	c cleaning 11014 clauses out of 22038 with flag 128003/323383
251.51/246.88	c cleaning 12009 clauses out of 24024 with flag 154003/336383
262.91/258.11	c cleaning 13003 clauses out of 26014 with flag 182001/350382
275.12/270.27	c cleaning 14005 clauses out of 28012 with flag 212003/365383
278.25/273.36	c Got one! Elapsed wall clock time (in seconds):273.249
278.25/273.36	o -7259
279.75/274.85	c cleaning 9914 clauses out of 19830 with flag 4007/371206
284.28/279.35	c cleaning 7957 clauses out of 15915 with flag 16011/377205
289.33/284.38	c cleaning 7475 clauses out of 14958 with flag 30079/384205
292.36/287.36	c Got one! Elapsed wall clock time (in seconds):287.245
292.36/287.36	o -7262
292.56/287.53	c Got one! Elapsed wall clock time (in seconds):287.419
292.56/287.53	o -7268
293.36/288.31	c cleaning 6373 clauses out of 12758 with flag 2004/389480
298.05/292.96	c cleaning 6184 clauses out of 12384 with flag 14002/395479
303.49/298.37	c cleaning 6599 clauses out of 13200 with flag 28002/402479
309.77/304.50	c cleaning 7298 clauses out of 14602 with flag 44004/410480
316.82/311.59	c cleaning 8150 clauses out of 16303 with flag 62002/419479
318.55/313.25	c Got one! Elapsed wall clock time (in seconds):313.139
318.55/313.25	o -7269
320.85/315.58	c cleaning 6615 clauses out of 13244 with flag 6005/424570
325.59/320.29	c cleaning 6310 clauses out of 12629 with flag 18005/430570
330.90/325.50	c Got one! Elapsed wall clock time (in seconds):325.383
330.90/325.50	o -7270
331.20/325.83	c Got one! Elapsed wall clock time (in seconds):325.719
331.20/325.83	o -7277
331.40/326.01	c Got one! Elapsed wall clock time (in seconds):325.897
331.40/326.01	o -7278
333.31/327.87	c Got one! Elapsed wall clock time (in seconds):327.752
333.31/327.87	o -7295
334.60/329.12	c Got one! Elapsed wall clock time (in seconds):329.008
334.60/329.12	o -7300
336.20/330.74	c cleaning 9856 clauses out of 19715 with flag 4046/443966
338.12/332.65	c Got one! Elapsed wall clock time (in seconds):332.538
338.12/332.65	o -7311
340.03/334.57	c Got one! Elapsed wall clock time (in seconds):334.456
340.03/334.57	o -7313
340.52/335.10	c Got one! Elapsed wall clock time (in seconds):334.982
340.52/335.10	o -7321
340.62/335.11	c Got one! Elapsed wall clock time (in seconds):334.992
340.62/335.11	o -7326
341.32/335.89	c cleaning 8224 clauses out of 16448 with flag 2068/450555
342.15/336.61	c Got one! Elapsed wall clock time (in seconds):336.497
342.15/336.61	o -7327
342.25/336.73	c Got one! Elapsed wall clock time (in seconds):336.617
342.25/336.73	o -7329
342.25/336.79	c Got one! Elapsed wall clock time (in seconds):336.674
342.25/336.79	o -7331
342.34/336.80	c Got one! Elapsed wall clock time (in seconds):336.684
342.34/336.80	o -7342
344.64/339.17	c Got one! Elapsed wall clock time (in seconds):339.052
344.64/339.17	o -7344
345.45/339.97	c cleaning 6826 clauses out of 13665 with flag 2005/455996
350.21/344.61	c cleaning 6417 clauses out of 12838 with flag 14003/461995
355.67/350.05	c cleaning 6707 clauses out of 13421 with flag 28003/468995
357.68/352.02	c Got one! Elapsed wall clock time (in seconds):351.905
357.68/352.02	o -7346
359.90/354.29	c cleaning 6097 clauses out of 12201 with flag 6006/474482
364.23/358.52	c cleaning 6049 clauses out of 12103 with flag 18004/480481
368.28/362.52	c Got one! Elapsed wall clock time (in seconds):362.408
368.28/362.52	o -7349
369.97/364.13	c Got one! Elapsed wall clock time (in seconds):364.013
369.97/364.13	o -7363
372.36/366.50	c cleaning 8406 clauses out of 16811 with flag 6004/491238
376.43/370.53	c Got one! Elapsed wall clock time (in seconds):370.415
376.43/370.53	o -7369
379.28/373.35	c Got one! Elapsed wall clock time (in seconds):373.232
379.28/373.35	o -7372
380.78/374.89	c cleaning 9687 clauses out of 19376 with flag 4024/502209
380.96/374.91	c Got one! Elapsed wall clock time (in seconds):374.793
380.96/374.91	o -7376
384.52/378.47	c cleaning 7353 clauses out of 14716 with flag 10230/507236
388.45/382.38	c cleaning 6678 clauses out of 13362 with flag 22228/513235
393.28/387.16	c cleaning 6842 clauses out of 13684 with flag 36228/520235
394.01/387.81	c Got one! Elapsed wall clock time (in seconds):387.696
394.01/387.81	o -7402
397.65/391.44	c cleaning 6360 clauses out of 12731 with flag 10001/526124
401.88/395.69	c cleaning 6180 clauses out of 12372 with flag 22003/532125
407.06/400.80	c cleaning 6592 clauses out of 13191 with flag 36001/539124
413.21/406.88	c cleaning 7297 clauses out of 14599 with flag 52001/547124
420.09/413.66	c cleaning 8147 clauses out of 16302 with flag 70001/556124
427.78/421.24	c cleaning 9076 clauses out of 18155 with flag 90001/566124
435.70/429.06	c cleaning 10036 clauses out of 20080 with flag 112003/577125
444.69/437.88	c cleaning 11020 clauses out of 22044 with flag 136003/589125
454.55/447.54	c cleaning 12011 clauses out of 24024 with flag 162003/602125
465.32/458.09	c cleaning 13006 clauses out of 26012 with flag 190001/616124
477.22/469.76	c cleaning 14000 clauses out of 28006 with flag 220001/631124
489.56/481.85	c cleaning 15003 clauses out of 30007 with flag 252003/647125
502.86/494.84	c cleaning 16002 clauses out of 32003 with flag 286001/664124
516.29/508.03	c cleaning 16997 clauses out of 34002 with flag 322003/682125
531.23/522.66	c cleaning 18002 clauses out of 36005 with flag 360003/701125
546.15/537.24	c cleaning 19002 clauses out of 38003 with flag 400003/721125
562.25/553.14	c cleaning 20001 clauses out of 40001 with flag 442003/742125
579.93/570.54	c cleaning 20997 clauses out of 41999 with flag 486001/764124
592.41/582.88	c Got one! Elapsed wall clock time (in seconds):582.768
592.41/582.88	o -7405
596.84/587.10	c cleaning 20842 clauses out of 41689 with flag 10002/784811
601.44/591.76	c cleaning 13420 clauses out of 26847 with flag 22002/790811
606.88/597.10	c cleaning 10206 clauses out of 20427 with flag 36002/797811
613.11/603.33	c cleaning 9105 clauses out of 18222 with flag 52004/805812
620.18/610.31	c cleaning 9053 clauses out of 18116 with flag 70002/814811
628.12/618.21	c cleaning 9529 clauses out of 19064 with flag 90004/824812
636.72/626.72	c cleaning 10268 clauses out of 20535 with flag 112004/835812
643.57/633.56	c Got one! Elapsed wall clock time (in seconds):633.442
643.57/633.56	o -7414
647.82/637.77	c cleaning 12381 clauses out of 24764 with flag 10003/850309
652.56/642.45	c cleaning 9185 clauses out of 18384 with flag 22005/856310
657.91/647.71	c cleaning 8093 clauses out of 16198 with flag 36003/863309
663.74/653.55	c cleaning 8048 clauses out of 16105 with flag 52003/871309
670.05/659.75	c Got one! Elapsed wall clock time (in seconds):659.64
670.05/659.75	o -7417
673.65/663.22	c Got one! Elapsed wall clock time (in seconds):663.103
673.65/663.22	o -7420
674.45/664.02	c cleaning 11016 clauses out of 22036 with flag 2057/885288
675.05/664.64	c Got one! Elapsed wall clock time (in seconds):664.527
675.05/664.64	o -7425
675.85/665.45	c Got one! Elapsed wall clock time (in seconds):665.34
675.85/665.45	o -7426
678.69/668.29	c cleaning 8481 clauses out of 16965 with flag 8124/891233
682.12/671.61	c Got one! Elapsed wall clock time (in seconds):671.497
682.12/671.61	o -7428
682.82/672.39	c cleaning 7083 clauses out of 14168 with flag 2021/896917
683.02/672.58	c Got one! Elapsed wall clock time (in seconds):672.471
683.02/672.58	o -7438
683.33/672.89	c Got one! Elapsed wall clock time (in seconds):672.771
683.33/672.89	o -7448
686.97/676.42	c cleaning 6392 clauses out of 12783 with flag 10146/902615
690.81/680.28	c cleaning 6192 clauses out of 12391 with flag 22281/908615
693.34/682.76	c Got one! Elapsed wall clock time (in seconds):682.646
693.34/682.76	o -7452
694.85/684.21	c cleaning 6062 clauses out of 12139 with flag 4003/914555
699.26/688.67	c cleaning 6036 clauses out of 12077 with flag 16003/920555
704.42/693.79	c cleaning 6519 clauses out of 13042 with flag 30005/927556
710.17/699.45	c cleaning 7260 clauses out of 14522 with flag 46003/935555
716.64/705.82	c cleaning 8131 clauses out of 16262 with flag 64003/944555
723.62/712.73	c cleaning 9063 clauses out of 18132 with flag 84005/954556
731.36/720.36	c cleaning 10035 clauses out of 20069 with flag 106005/965556
739.78/728.61	c cleaning 11017 clauses out of 22034 with flag 130005/977556
742.33/731.13	c Got one! Elapsed wall clock time (in seconds):731.018
742.33/731.13	o -7457
743.84/732.66	c cleaning 8389 clauses out of 16790 with flag 4085/983329
748.39/737.16	c cleaning 7196 clauses out of 14402 with flag 16157/989330
753.64/742.39	c cleaning 7100 clauses out of 14205 with flag 30300/996329
759.53/748.16	c cleaning 7553 clauses out of 15106 with flag 46397/1004330
766.04/754.59	c cleaning 8271 clauses out of 16553 with flag 64504/1013330
773.27/761.62	c cleaning 9139 clauses out of 18281 with flag 84697/1023329
781.04/769.29	c cleaning 10068 clauses out of 20142 with flag 106697/1034329
787.95/776.00	c Got one! Elapsed wall clock time (in seconds):775.884
787.95/776.00	o -7468
792.30/780.33	c cleaning 11920 clauses out of 23843 with flag 10071/1048098
797.13/785.19	c cleaning 8957 clauses out of 17923 with flag 22171/1054098
802.92/790.80	c cleaning 7980 clauses out of 15966 with flag 36223/1061098
809.53/797.38	c cleaning 7991 clauses out of 15987 with flag 52259/1069099
816.95/804.60	c cleaning 8495 clauses out of 16995 with flag 70370/1078098
825.44/812.94	c cleaning 9249 clauses out of 18501 with flag 90591/1088099
834.48/821.87	c cleaning 10125 clauses out of 20252 with flag 112778/1099099
838.63/825.92	c Got one! Elapsed wall clock time (in seconds):825.805
838.63/825.92	o -7475
842.20/829.44	c cleaning 10067 clauses out of 20137 with flag 10121/1109109
846.46/833.64	c cleaning 8029 clauses out of 16070 with flag 22220/1115109
851.51/838.60	c cleaning 7517 clauses out of 15041 with flag 36278/1122109
857.43/844.47	c cleaning 7762 clauses out of 15523 with flag 52276/1130108
864.05/850.97	c cleaning 8379 clauses out of 16761 with flag 70284/1139108
871.50/858.28	c cleaning 9192 clauses out of 18383 with flag 90296/1149109
880.12/866.61	c cleaning 10095 clauses out of 20190 with flag 112309/1160108
889.56/875.93	c cleaning 11044 clauses out of 22095 with flag 136332/1172108
900.03/886.25	c cleaning 12022 clauses out of 24052 with flag 162334/1185109
911.39/897.40	c cleaning 13015 clauses out of 26029 with flag 190332/1199108
923.62/909.46	c cleaning 14008 clauses out of 28015 with flag 220334/1214109
936.57/922.10	c cleaning 15001 clauses out of 30006 with flag 252332/1230108
950.32/935.65	c cleaning 16001 clauses out of 32005 with flag 286332/1247108
964.61/949.61	c cleaning 16998 clauses out of 34005 with flag 322334/1265109
979.39/964.18	c cleaning 18001 clauses out of 36007 with flag 360400/1284109
994.89/979.45	c cleaning 19001 clauses out of 38006 with flag 400413/1304109
1011.86/996.05	c cleaning 20002 clauses out of 40004 with flag 442431/1325108
1029.63/1013.56	c cleaning 20998 clauses out of 42002 with flag 486440/1347108
1049.03/1032.65	c cleaning 22001 clauses out of 44004 with flag 532626/1370108
1066.64/1049.96	c Got one! Elapsed wall clock time (in seconds):1049.844
1066.64/1049.96	o -7483
1070.77/1054.07	c cleaning 24012 clauses out of 48028 with flag 10002/1396133
1075.50/1058.70	c cleaning 15002 clauses out of 30017 with flag 22004/1402134
1080.69/1063.87	c cleaning 10999 clauses out of 22015 with flag 36004/1409134
1086.58/1069.66	c cleaning 9501 clauses out of 19016 with flag 52004/1417134
1093.16/1076.12	c cleaning 9250 clauses out of 18514 with flag 70002/1426133
1100.54/1083.45	c cleaning 9629 clauses out of 19265 with flag 90004/1436134
1108.85/1091.61	c cleaning 10317 clauses out of 20636 with flag 112004/1447134
1118.16/1100.67	c cleaning 11156 clauses out of 22318 with flag 136002/1459133
1121.59/1104.07	c Got one! Elapsed wall clock time (in seconds):1103.954
1121.59/1104.07	o -7485
1122.39/1104.82	c cleaning 8515 clauses out of 17037 with flag 2022/1465008
1126.83/1109.24	c cleaning 7254 clauses out of 14523 with flag 14024/1471009
1131.81/1114.14	c cleaning 7128 clauses out of 14268 with flag 28022/1478008
1137.59/1119.86	c cleaning 7565 clauses out of 15140 with flag 44022/1486008
1144.15/1126.39	c cleaning 8287 clauses out of 16575 with flag 62022/1495008
1148.07/1130.22	c Got one! Elapsed wall clock time (in seconds):1130.101
1148.07/1130.22	o -7488
1151.99/1134.03	c cleaning 9342 clauses out of 18687 with flag 10238/1505407
1156.31/1138.37	c cleaning 7667 clauses out of 15345 with flag 22339/1511407
1160.17/1142.14	c Got one! Elapsed wall clock time (in seconds):1142.027
1160.17/1142.14	o -7495
1164.03/1145.90	c cleaning 8931 clauses out of 17864 with flag 10279/1521593
1168.20/1150.08	c cleaning 7464 clauses out of 14932 with flag 22687/1527592
1168.60/1150.42	c Got one! Elapsed wall clock time (in seconds):1150.303
1168.60/1150.42	o -7500
1168.70/1150.54	c Got one! Elapsed wall clock time (in seconds):1150.428
1168.70/1150.54	o -7502
1168.80/1150.60	c Got one! Elapsed wall clock time (in seconds):1150.489
1168.80/1150.60	o -7505
1168.91/1150.71	c Got one! Elapsed wall clock time (in seconds):1150.597
1168.91/1150.71	o -7508
1169.00/1150.84	c Got one! Elapsed wall clock time (in seconds):1150.731
1169.00/1150.85	o -7510
1169.00/1150.87	c Got one! Elapsed wall clock time (in seconds):1150.753
1169.00/1150.87	o -7515
1172.91/1154.64	c cleaning 6782 clauses out of 13573 with flag 10076/1533697
1177.53/1159.23	c cleaning 6388 clauses out of 12791 with flag 22076/1539697
1182.59/1164.26	c cleaning 6699 clauses out of 13402 with flag 36074/1546696
1188.53/1170.09	c cleaning 7350 clauses out of 14703 with flag 52074/1554696
1195.28/1176.70	c cleaning 8173 clauses out of 16354 with flag 70076/1563697
1202.41/1183.71	c cleaning 9089 clauses out of 18180 with flag 90074/1573696
1210.22/1191.31	c cleaning 10043 clauses out of 20092 with flag 112076/1584697
1218.88/1199.83	c cleaning 11020 clauses out of 22048 with flag 136074/1596696
1219.38/1200.33	c Got one! Elapsed wall clock time (in seconds):1200.215
1219.38/1200.33	o -7516
1223.01/1203.98	c cleaning 8358 clauses out of 16726 with flag 10004/1602394
1227.36/1208.22	c cleaning 7177 clauses out of 14368 with flag 22004/1608394
1232.50/1213.36	c cleaning 7090 clauses out of 14191 with flag 36004/1615394
1238.44/1219.29	c cleaning 7547 clauses out of 15101 with flag 52004/1623394
1244.84/1225.54	c Got one! Elapsed wall clock time (in seconds):1225.421
1244.84/1225.54	o -7517
1248.97/1229.55	c cleaning 10606 clauses out of 21214 with flag 10005/1637054
1251.99/1232.51	c Got one! Elapsed wall clock time (in seconds):1232.395
1251.99/1232.51	o -7518
1253.49/1234.07	c cleaning 8255 clauses out of 16514 with flag 4111/1642960
1256.00/1236.51	c Got one! Elapsed wall clock time (in seconds):1236.393
1256.00/1236.51	o -7527
1257.34/1237.88	c cleaning 6788 clauses out of 13586 with flag 4165/1648287
1261.62/1242.02	c cleaning 6397 clauses out of 12799 with flag 16167/1654288
1266.39/1246.79	c cleaning 6700 clauses out of 13401 with flag 30165/1661287
1272.41/1252.70	c cleaning 7346 clauses out of 14701 with flag 46257/1669287
1279.50/1259.53	c cleaning 8175 clauses out of 16355 with flag 64342/1678287
1287.19/1267.14	c cleaning 9087 clauses out of 18180 with flag 84478/1688287
1295.70/1275.55	c cleaning 10046 clauses out of 20094 with flag 106602/1699288
1305.69/1285.42	c cleaning 11023 clauses out of 22048 with flag 130821/1711288
1316.46/1296.06	c cleaning 12010 clauses out of 24024 with flag 157116/1724287
1328.05/1307.49	c cleaning 13007 clauses out of 26015 with flag 185430/1738288
1340.55/1319.75	c cleaning 14004 clauses out of 28008 with flag 215568/1753288
1354.30/1333.25	c cleaning 14999 clauses out of 30004 with flag 247644/1769288
1369.64/1348.29	c cleaning 16000 clauses out of 32004 with flag 281689/1786287
1382.47/1360.85	c Got one! Elapsed wall clock time (in seconds):1360.736
1382.47/1360.85	o -7531
1386.20/1364.52	c cleaning 18220 clauses out of 36444 with flag 10147/1806727
1390.74/1369.00	c cleaning 12111 clauses out of 24223 with flag 22319/1812726
1395.67/1373.90	c cleaning 9553 clauses out of 19112 with flag 36363/1819726
1401.28/1379.40	c cleaning 8779 clauses out of 17559 with flag 52363/1827726
1407.71/1385.60	c cleaning 8885 clauses out of 17781 with flag 70457/1836727
1414.72/1392.46	c cleaning 9448 clauses out of 18895 with flag 90641/1846726
1423.25/1400.75	c cleaning 10220 clauses out of 20447 with flag 112808/1857726
1432.44/1409.77	c cleaning 11110 clauses out of 22227 with flag 136938/1869726
1442.52/1419.69	c cleaning 12056 clauses out of 24117 with flag 162938/1882726
1452.91/1429.89	c cleaning 13031 clauses out of 26062 with flag 190940/1896727
1464.15/1440.99	c cleaning 14014 clauses out of 28030 with flag 221097/1911726
1476.84/1453.45	c cleaning 15006 clauses out of 30017 with flag 253099/1927727
1490.33/1466.73	c cleaning 16005 clauses out of 32010 with flag 287242/1944726
1504.14/1480.34	c cleaning 17001 clauses out of 34006 with flag 323379/1962727
1517.83/1493.79	c cleaning 18001 clauses out of 36004 with flag 361377/1981726
1532.22/1507.86	c cleaning 18998 clauses out of 38003 with flag 401543/2001726
1547.71/1523.04	c cleaning 20002 clauses out of 40005 with flag 443543/2022726
1563.78/1538.77	c cleaning 20999 clauses out of 42004 with flag 487644/2044727
1581.93/1556.49	c cleaning 21996 clauses out of 44004 with flag 533642/2067726
1602.00/1576.24	c cleaning 23003 clauses out of 46008 with flag 581642/2091726
1623.53/1597.49	c cleaning 24002 clauses out of 48006 with flag 631801/2116727
1629.36/1603.20	c Got one! Elapsed wall clock time (in seconds):1603.084
1629.36/1603.20	o -7534
1633.75/1607.53	c cleaning 18176 clauses out of 36359 with flag 10056/2129082
1638.60/1612.39	c cleaning 12089 clauses out of 24183 with flag 22235/2135082
1644.36/1618.02	c cleaning 9543 clauses out of 19094 with flag 36545/2142082
1650.51/1624.11	c cleaning 8770 clauses out of 17551 with flag 52754/2150082
1657.34/1630.98	c cleaning 8890 clauses out of 17782 with flag 71222/2159083
1664.73/1638.26	c cleaning 9443 clauses out of 18891 with flag 91667/2169082
1672.28/1645.75	c cleaning 10223 clauses out of 20450 with flag 114056/2180084
1680.17/1653.56	c cleaning 11112 clauses out of 22226 with flag 138553/2192083
1689.10/1662.22	c cleaning 12055 clauses out of 24113 with flag 164817/2205082
1699.23/1672.26	c cleaning 13026 clauses out of 26058 with flag 193429/2219082
1710.16/1682.90	c cleaning 14014 clauses out of 28032 with flag 223998/2234082
1721.64/1694.22	c cleaning 15008 clauses out of 30019 with flag 256633/2250083
1727.64/1700.18	c Got one! Elapsed wall clock time (in seconds):1700.067
1727.64/1700.18	o -7539
1731.52/1703.99	c cleaning 14440 clauses out of 28887 with flag 10642/2263959
1735.75/1708.19	c cleaning 10221 clauses out of 20447 with flag 23231/2269959
1740.54/1712.84	c cleaning 8610 clauses out of 17227 with flag 37864/2276960
1745.76/1717.91	c cleaning 8306 clauses out of 16616 with flag 54632/2284959
1751.50/1723.67	c cleaning 8650 clauses out of 17310 with flag 73268/2293959
1758.43/1730.41	c cleaning 9327 clauses out of 18660 with flag 93741/2303959
1766.16/1738.04	c cleaning 10165 clauses out of 20334 with flag 116791/2314960
1775.99/1747.72	c cleaning 11081 clauses out of 22169 with flag 141342/2326960
1787.09/1758.60	c cleaning 12040 clauses out of 24087 with flag 167439/2339959
1798.72/1770.10	c cleaning 13022 clauses out of 26047 with flag 195621/2353959
1800.01/1771.30	c starts		: 1626
1800.01/1771.30	c conflicts		: 2355444
1800.01/1771.30	c decisions		: 2395565
1800.01/1771.30	c propagations		: 920852225
1800.01/1771.30	c inspects		: 6618160930
1800.01/1771.30	c shortcuts		: 0
1800.01/1771.30	c learnt literals	: 0
1800.01/1771.30	c learnt binary clauses	: 0
1800.01/1771.30	c learnt ternary clauses	: 2
1800.01/1771.30	c learnt constraints	: 2355443
1800.01/1771.30	c ignored constraints	: 0
1800.01/1771.30	c root simplifications	: 0
1800.01/1771.30	c removed literals (reason simplification)	: 0
1800.01/1771.30	c reason swapping (by a shorter reason)	: 0
1800.01/1771.30	c Calls to reduceDB	: 227
1800.01/1771.30	c Number of update (reduction) of LBD	: 958
1800.01/1771.30	c Imported unit clauses	: 0
1800.01/1771.30	c number of reductions to clauses (during analyze)	: 0
1800.01/1771.30	c number of learned constraints concerned by reduction	: 0
1800.01/1771.30	c number of learning phase by resolution	: 0
1800.01/1771.30	c number of learning phase by cutting planes	: 0
1800.01/1771.30	c speed (assignments/second)	: 520005.18676885474
1800.01/1771.30	c non guided choices	0
1800.01/1771.31	c learnt constraints type 
1800.01/1771.31	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14510
1800.01/1771.31	s SATISFIABLE
1800.01/1771.31	c Found 168 solution(s)
1800.01/1771.32	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 
1800.01/1771.33	c objective function=-7539
1800.01/1771.33	c Total wall clock time (in seconds): 1771.215

OK	-7539

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-4118416-1467229172/watcher-4118416-1467229172 -o /tmp/evaluation-result-4118416-1467229172/solver-4118416-1467229172 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118416-1467229172.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.29 2.25 3/194 4338
/proc/meminfo: memFree=28393856/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/4338/stat : 4338 (java) R 4335 4338 1865 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 1946459 278528 33 33554432000 1073741824 1073778376 140733509710800 140735611380200 271778409653 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 68 33 25 9 0 25 0

[startup+0.100157 s]
/proc/loadavg: 2.23 2.29 2.25 3/194 4338
/proc/meminfo: memFree=28393856/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 1946459 9787879424 6027 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2389619 6027 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200308 s]
/proc/loadavg: 2.23 2.29 2.25 3/194 4338
/proc/meminfo: memFree=28393856/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 4997 0 1 0 28 1 0 0 20 0 18 0 1946459 9787879424 6968 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2389619 6968 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300216 s]
/proc/loadavg: 2.23 2.29 2.25 3/194 4338
/proc/meminfo: memFree=28393856/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 5864 0 1 0 48 1 0 0 20 0 18 0 1946459 9787879424 8867 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2389619 8867 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700177 s]
/proc/loadavg: 2.23 2.29 2.25 3/194 4338
/proc/meminfo: memFree=28393856/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9625040 CPUtime=1.64 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 15436 0 1 0 161 3 0 0 20 0 19 0 1946459 9856040960 21167 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2406260 21167 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.23 2.29 2.25 3/213 4357
/proc/meminfo: memFree=28294880/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9625040 CPUtime=2.92 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 16229 0 1 0 288 4 0 0 20 0 19 0 1946459 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2406260 32917 2270 9 0 2396937 0
[pid=4338/tid=4340] ppid=4335 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/4338/task/4340/stat : 4340 (java) R 4335 4338 1865 0 -1 4202560 2470 0 1 0 144 3 0 0 20 0 19 0 1946460 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140421126656328 140420952889319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4341] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4341/stat : 4341 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140421088148264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4342] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4342/stat : 4342 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140421087095464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4343] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4343/stat : 4343 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140421086043176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4344] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4344/stat : 4344 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140421084990376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4345] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4345/stat : 4345 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140421083937064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4346] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4346/stat : 4346 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140421082884264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4347] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4347/stat : 4347 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140421081831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4348] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4348/stat : 4348 (java) S 4335 4338 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140421080779176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4349] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4349/stat : 4349 (java) S 4335 4338 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140420950510312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4350] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4350/stat : 4350 (java) S 4335 4338 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140420949456376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4351] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4351/stat : 4351 (java) S 4335 4338 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140420948403976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4352] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4352/stat : 4352 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946465 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140420947352464 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4353] ppid=4335 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/4338/task/4353/stat : 4353 (java) S 4335 4338 1865 0 -1 4202560 4489 0 0 0 69 0 0 0 20 0 19 0 1946465 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140420946299064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4354] ppid=4335 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/4338/task/4354/stat : 4354 (java) S 4335 4338 1865 0 -1 4202560 7992 0 0 0 73 0 0 0 20 0 19 0 1946465 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140420945246264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4355] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4355/stat : 4355 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946466 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140420944194168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4356] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4356/stat : 4356 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946466 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140420943141576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4357] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4357/stat : 4357 (java) S 4335 4338 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1946505 9856040960 32917 33554432000 1073741824 1073778376 140733509710800 140420942087592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.23 2.29 2.25 3/213 4357
/proc/meminfo: memFree=28247528/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9625040 CPUtime=4.66 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 16326 0 1 0 458 8 0 0 20 0 19 0 1946459 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2406260 48812 2283 9 0 2396937 0
[pid=4338/tid=4340] ppid=4335 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/4338/task/4340/stat : 4340 (java) R 4335 4338 1865 0 -1 4202560 2493 0 1 0 301 3 0 0 20 0 19 0 1946460 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140421126654904 140420953670207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4341] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4341/stat : 4341 (java) S 4335 4338 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140421088148264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4342] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4342/stat : 4342 (java) S 4335 4338 1865 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140421087095464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4343] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4343/stat : 4343 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140421086043176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4344] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4344/stat : 4344 (java) S 4335 4338 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140421084990376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4345] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4345/stat : 4345 (java) S 4335 4338 1865 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140421083937064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4346] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4346/stat : 4346 (java) S 4335 4338 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140421082884264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4347] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4347/stat : 4347 (java) S 4335 4338 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140421081831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4348] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4348/stat : 4348 (java) S 4335 4338 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140421080779176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4349] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4349/stat : 4349 (java) S 4335 4338 1865 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140420950510312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4350] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4350/stat : 4350 (java) S 4335 4338 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140420949456376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4351] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4351/stat : 4351 (java) S 4335 4338 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140420948403976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4352] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4352/stat : 4352 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946465 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140420947352464 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4353] ppid=4335 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/4338/task/4353/stat : 4353 (java) S 4335 4338 1865 0 -1 4202560 4489 0 0 0 69 0 0 0 20 0 19 0 1946465 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140420946299064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4354] ppid=4335 vsize=9625040 CPUtime=0.8 cores=0,2,4,6
/proc/4338/task/4354/stat : 4354 (java) S 4335 4338 1865 0 -1 4202560 7992 0 0 0 80 0 0 0 20 0 19 0 1946465 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140420945246264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4355] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4355/stat : 4355 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946466 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140420944194168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4356] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4356/stat : 4356 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946466 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140420943141576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4357] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4357/stat : 4357 (java) S 4335 4338 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1946505 9856040960 48812 33554432000 1073741824 1073778376 140733509710800 140420942087592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.21 2.28 2.25 3/213 4357
/proc/meminfo: memFree=28207064/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9625040 CPUtime=7.99 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 16545 0 1 0 791 8 0 0 20 0 19 0 1946459 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2406260 48538 2284 9 0 2396937 0
[pid=4338/tid=4340] ppid=4335 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/4338/task/4340/stat : 4340 (java) R 4335 4338 1865 0 -1 4202560 2494 0 1 0 620 3 0 0 20 0 19 0 1946460 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140421126648112 140420953401131 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4341] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4341/stat : 4341 (java) S 4335 4338 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140421088148264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4342] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4342/stat : 4342 (java) S 4335 4338 1865 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140421087095464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4343] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4343/stat : 4343 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140421086043176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4344] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4344/stat : 4344 (java) S 4335 4338 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140421084990376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4345] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4345/stat : 4345 (java) S 4335 4338 1865 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140421083937064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4346] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4346/stat : 4346 (java) S 4335 4338 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140421082884264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4347] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4347/stat : 4347 (java) S 4335 4338 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140421081831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4348] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4348/stat : 4348 (java) S 4335 4338 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1946462 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140421080779176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4349] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4349/stat : 4349 (java) S 4335 4338 1865 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140420950510312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4350] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4350/stat : 4350 (java) S 4335 4338 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140420949456376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4351] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4351/stat : 4351 (java) S 4335 4338 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140420948403976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4352] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4352/stat : 4352 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946465 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140420947352464 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4353] ppid=4335 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/4338/task/4353/stat : 4353 (java) S 4335 4338 1865 0 -1 4202560 4489 0 0 0 69 0 0 0 20 0 19 0 1946465 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140420946299064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4354] ppid=4335 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/4338/task/4354/stat : 4354 (java) S 4335 4338 1865 0 -1 4202560 8210 0 0 0 94 0 0 0 20 0 19 0 1946465 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140420945246264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4355] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4355/stat : 4355 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946466 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140420944194168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4356] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4356/stat : 4356 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946466 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140420943141576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4357] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4357/stat : 4357 (java) S 4335 4338 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1946505 9856040960 48538 33554432000 1073741824 1073778376 140733509710800 140420942087592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 9625040


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

[pid=4338/tid=4357] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4357/stat : 4357 (java) S 4335 4338 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1946505 9856040960 279575 33554432000 1073741824 1073778376 140733509710800 140420942087592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1689.19
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.21 2.24 2.20 3/213 4489
/proc/meminfo: memFree=27922212/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9625040 CPUtime=1750.2 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 36387 0 1 0 174700 320 0 0 20 0 19 0 1946459 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2406260 246791 2297 9 0 2396937 0
[pid=4338/tid=4340] ppid=4335 vsize=9625040 CPUtime=1703.76 cores=0,2,4,6
/proc/4338/task/4340/stat : 4340 (java) R 4335 4338 1865 0 -1 4202560 2973 0 1 0 170345 31 0 0 20 0 19 0 1946460 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140421126655072 140420953350203 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4341] ppid=4335 vsize=9625040 CPUtime=4.69 cores=0,2,4,6
/proc/4338/task/4341/stat : 4341 (java) S 4335 4338 1865 0 -1 4202560 1665 0 0 0 436 33 0 0 20 0 19 0 1946462 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140421088148264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4342] ppid=4335 vsize=9625040 CPUtime=4.57 cores=0,2,4,6
/proc/4338/task/4342/stat : 4342 (java) S 4335 4338 1865 0 -1 4202560 2306 0 0 0 415 42 0 0 20 0 19 0 1946462 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140421087095464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4343] ppid=4335 vsize=9625040 CPUtime=4.54 cores=0,2,4,6
/proc/4338/task/4343/stat : 4343 (java) S 4335 4338 1865 0 -1 4202560 1813 0 0 0 421 33 0 0 20 0 19 0 1946462 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140421086043176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4344] ppid=4335 vsize=9625040 CPUtime=4.85 cores=0,2,4,6
/proc/4338/task/4344/stat : 4344 (java) S 4335 4338 1865 0 -1 4202560 2233 0 0 0 443 42 0 0 20 0 19 0 1946462 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140421084990376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4345] ppid=4335 vsize=9625040 CPUtime=4.45 cores=0,2,4,6
/proc/4338/task/4345/stat : 4345 (java) S 4335 4338 1865 0 -1 4202560 1795 0 0 0 408 37 0 0 20 0 19 0 1946462 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140421083937064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4346] ppid=4335 vsize=9625040 CPUtime=4.68 cores=0,2,4,6
/proc/4338/task/4346/stat : 4346 (java) S 4335 4338 1865 0 -1 4202560 2012 0 0 0 433 35 0 0 20 0 19 0 1946462 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140421082884264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4347] ppid=4335 vsize=9625040 CPUtime=4.51 cores=0,2,4,6
/proc/4338/task/4347/stat : 4347 (java) S 4335 4338 1865 0 -1 4202560 1977 0 0 0 414 37 0 0 20 0 19 0 1946462 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140421081831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4348] ppid=4335 vsize=9625040 CPUtime=4.69 cores=0,2,4,6
/proc/4338/task/4348/stat : 4348 (java) S 4335 4338 1865 0 -1 4202560 2809 0 0 0 433 36 0 0 20 0 19 0 1946462 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140421080779176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4349] ppid=4335 vsize=9625040 CPUtime=3.34 cores=0,2,4,6
/proc/4338/task/4349/stat : 4349 (java) S 4335 4338 1865 0 -1 4202560 2737 0 0 0 326 8 0 0 20 0 19 0 1946463 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140420950510312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4350] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4350/stat : 4350 (java) S 4335 4338 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140420949456376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4351] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4351/stat : 4351 (java) S 4335 4338 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140420948403976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4352] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4352/stat : 4352 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946465 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140420947352464 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4353] ppid=4335 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/4338/task/4353/stat : 4353 (java) S 4335 4338 1865 0 -1 4202560 4491 0 0 0 77 0 0 0 20 0 19 0 1946465 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140420946299064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4354] ppid=4335 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/4338/task/4354/stat : 4354 (java) S 4335 4338 1865 0 -1 4202560 8215 0 0 0 101 0 0 0 20 0 19 0 1946465 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140420945246264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4355] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4355/stat : 4355 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946466 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140420944194168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4356] ppid=4335 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/4338/task/4356/stat : 4356 (java) S 4335 4338 1865 0 -1 4202560 97 0 0 0 13 15 0 0 20 0 19 0 1946466 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140420943141576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4357] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4357/stat : 4357 (java) S 4335 4338 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1946505 9856040960 246791 33554432000 1073741824 1073778376 140733509710800 140420942087592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1750.2
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.3 s]
/proc/loadavg: 2.18 2.23 2.20 3/213 4489
/proc/meminfo: memFree=28148888/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 36470 0 1 0 179679 322 0 0 20 0 19 0 1946459 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2406260 195480 2297 9 0 2396937 0
[pid=4338/tid=4340] ppid=4335 vsize=9625040 CPUtime=1752.21 cores=0,2,4,6
/proc/4338/task/4340/stat : 4340 (java) R 4335 4338 1865 0 -1 4202560 2989 0 1 0 175189 32 0 0 20 0 19 0 1946460 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421126647472 140420953350035 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4341] ppid=4335 vsize=9625040 CPUtime=4.88 cores=0,2,4,6
/proc/4338/task/4341/stat : 4341 (java) S 4335 4338 1865 0 -1 4202560 1675 0 0 0 455 33 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421088148264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4342] ppid=4335 vsize=9625040 CPUtime=4.69 cores=0,2,4,6
/proc/4338/task/4342/stat : 4342 (java) S 4335 4338 1865 0 -1 4202560 2317 0 0 0 427 42 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421087095464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4343] ppid=4335 vsize=9625040 CPUtime=4.72 cores=0,2,4,6
/proc/4338/task/4343/stat : 4343 (java) S 4335 4338 1865 0 -1 4202560 1813 0 0 0 438 34 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421086043176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4344] ppid=4335 vsize=9625040 CPUtime=4.97 cores=0,2,4,6
/proc/4338/task/4344/stat : 4344 (java) S 4335 4338 1865 0 -1 4202560 2233 0 0 0 455 42 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421084990376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4345] ppid=4335 vsize=9625040 CPUtime=4.58 cores=0,2,4,6
/proc/4338/task/4345/stat : 4345 (java) S 4335 4338 1865 0 -1 4202560 1795 0 0 0 421 37 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421083937064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4346] ppid=4335 vsize=9625040 CPUtime=4.83 cores=0,2,4,6
/proc/4338/task/4346/stat : 4346 (java) S 4335 4338 1865 0 -1 4202560 2012 0 0 0 448 35 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421082884264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4347] ppid=4335 vsize=9625040 CPUtime=4.63 cores=0,2,4,6
/proc/4338/task/4347/stat : 4347 (java) S 4335 4338 1865 0 -1 4202560 1994 0 0 0 426 37 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421081831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4348] ppid=4335 vsize=9625040 CPUtime=4.86 cores=0,2,4,6
/proc/4338/task/4348/stat : 4348 (java) S 4335 4338 1865 0 -1 4202560 2824 0 0 0 450 36 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421080779176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4349] ppid=4335 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/4338/task/4349/stat : 4349 (java) S 4335 4338 1865 0 -1 4202560 2747 0 0 0 334 9 0 0 20 0 19 0 1946463 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420950510312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4350] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4350/stat : 4350 (java) S 4335 4338 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420949456376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4351] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4351/stat : 4351 (java) S 4335 4338 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420948403976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4352] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4352/stat : 4352 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946465 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420947352464 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4353] ppid=4335 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/4338/task/4353/stat : 4353 (java) S 4335 4338 1865 0 -1 4202560 4491 0 0 0 77 0 0 0 20 0 19 0 1946465 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420946299064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4354] ppid=4335 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/4338/task/4354/stat : 4354 (java) S 4335 4338 1865 0 -1 4202560 8215 0 0 0 101 0 0 0 20 0 19 0 1946465 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420945246264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4355] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4355/stat : 4355 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946466 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420944194168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4356] ppid=4335 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/4338/task/4356/stat : 4356 (java) S 4335 4338 1865 0 -1 4202560 101 0 0 0 14 15 0 0 20 0 19 0 1946466 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420943141576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4357] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4357/stat : 4357 (java) S 4335 4338 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1946505 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420942087592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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 4338 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1771.3 s]
/proc/loadavg: 2.18 2.23 2.20 3/213 4489
/proc/meminfo: memFree=28148888/32872528 swapFree=1099624/1181384
[pid=4338] ppid=4335 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/4338/stat : 4338 (java) S 4335 4338 1865 0 -1 4202496 36470 0 1 0 179679 322 0 0 20 0 19 0 1946459 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140733509701936 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4338/statm: 2406260 195480 2297 9 0 2396937 0
[pid=4338/tid=4340] ppid=4335 vsize=9625040 CPUtime=1752.21 cores=0,2,4,6
/proc/4338/task/4340/stat : 4340 (java) R 4335 4338 1865 0 -1 4202560 2989 0 1 0 175189 32 0 0 20 0 19 0 1946460 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421126647472 140420953350035 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4341] ppid=4335 vsize=9625040 CPUtime=4.88 cores=0,2,4,6
/proc/4338/task/4341/stat : 4341 (java) S 4335 4338 1865 0 -1 4202560 1675 0 0 0 455 33 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421088148264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4342] ppid=4335 vsize=9625040 CPUtime=4.69 cores=0,2,4,6
/proc/4338/task/4342/stat : 4342 (java) S 4335 4338 1865 0 -1 4202560 2317 0 0 0 427 42 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421087095464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4343] ppid=4335 vsize=9625040 CPUtime=4.72 cores=0,2,4,6
/proc/4338/task/4343/stat : 4343 (java) S 4335 4338 1865 0 -1 4202560 1813 0 0 0 438 34 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421086043176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4344] ppid=4335 vsize=9625040 CPUtime=4.97 cores=0,2,4,6
/proc/4338/task/4344/stat : 4344 (java) S 4335 4338 1865 0 -1 4202560 2233 0 0 0 455 42 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421084990376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4345] ppid=4335 vsize=9625040 CPUtime=4.58 cores=0,2,4,6
/proc/4338/task/4345/stat : 4345 (java) S 4335 4338 1865 0 -1 4202560 1795 0 0 0 421 37 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421083937064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4346] ppid=4335 vsize=9625040 CPUtime=4.83 cores=0,2,4,6
/proc/4338/task/4346/stat : 4346 (java) S 4335 4338 1865 0 -1 4202560 2012 0 0 0 448 35 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421082884264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4347] ppid=4335 vsize=9625040 CPUtime=4.63 cores=0,2,4,6
/proc/4338/task/4347/stat : 4347 (java) S 4335 4338 1865 0 -1 4202560 1994 0 0 0 426 37 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421081831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4348] ppid=4335 vsize=9625040 CPUtime=4.86 cores=0,2,4,6
/proc/4338/task/4348/stat : 4348 (java) S 4335 4338 1865 0 -1 4202560 2824 0 0 0 450 36 0 0 20 0 19 0 1946462 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140421080779176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4349] ppid=4335 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/4338/task/4349/stat : 4349 (java) S 4335 4338 1865 0 -1 4202560 2747 0 0 0 334 9 0 0 20 0 19 0 1946463 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420950510312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4338/tid=4350] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4350/stat : 4350 (java) S 4335 4338 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420949456376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4351] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4351/stat : 4351 (java) S 4335 4338 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1946463 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420948403976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4352] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4352/stat : 4352 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946465 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420947352464 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4353] ppid=4335 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/4338/task/4353/stat : 4353 (java) S 4335 4338 1865 0 -1 4202560 4491 0 0 0 77 0 0 0 20 0 19 0 1946465 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420946299064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4338/tid=4354] ppid=4335 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/4338/task/4354/stat : 4354 (java) S 4335 4338 1865 0 -1 4202560 8215 0 0 0 101 0 0 0 20 0 19 0 1946465 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420945246264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4355] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4355/stat : 4355 (java) S 4335 4338 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1946466 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420944194168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4338/tid=4356] ppid=4335 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/4338/task/4356/stat : 4356 (java) S 4335 4338 1865 0 -1 4202560 101 0 0 0 14 15 0 0 20 0 19 0 1946466 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420943141576 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4338/tid=4357] ppid=4335 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4338/task/4357/stat : 4357 (java) S 4335 4338 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1946505 9856040960 195480 33554432000 1073741824 1073778376 140733509710800 140420942087592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4338 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=528494
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=661443
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1771.35
CPU time (s): 1800.01
CPU user time (s): 1796.79
CPU system time (s): 3.22
CPU usage (%): 101.618
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.53
system time used= 3.66144
maximum resident set size= 1175500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36508
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53683
involuntary context switches= 64450

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3401 second user time and 10.0055 second system time

The end

Begin job on node115 at 2016-06-29 21:39:32
IDJOB=4118416
IDBENCH=111491
IDSOLVER=2546
FILE ID=node115/4118416-1467229172
RUNJOBID= node115-1467210312-1881
PBS_JOBID= 19997598
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-23.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118416-1467229172/watcher-4118416-1467229172 -o /tmp/evaluation-result-4118416-1467229172/solver-4118416-1467229172 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118416-1467229172.opb

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

MD5SUM BENCH= 078b52110461ac3fda4e9287cf235fae
RANDOM SEED=708937749

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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.55
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		: 2667.087
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:        28394012 kB
Buffers:           81664 kB
Cached:          1166112 kB
SwapCached:            0 kB
Active:          1426688 kB
Inactive:        1153552 kB
Active(anon):    1335284 kB
Inactive(anon):        0 kB
Active(file):      91404 kB
Inactive(file):  1153552 kB
Unevictable:     1181384 kB
Mlocked:         1099624 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:       2593632 kB
Mapped:            22228 kB
Shmem:               204 kB
Slab:             575324 kB
SReclaimable:      19728 kB
SUnreclaim:       555596 kB
KernelStack:        1760 kB
PageTables:         9604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2724528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1464320 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= 71660 MiB
End job on node115 at 2016-06-29 22:09:04