Trace number 3467745

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
MinisatID 2.4.8-gmp? (TO)5121 1800.07 1800.03

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand4b919e.cudf.paranoid.opb
MD5SUM1291befe507875936d488bb8750ed287
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5116
Best CPU time to get the best result obtained on this benchmark1.16082
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5868
Total number of constraints26331
Number of constraints which are clauses26037
Number of constraints which are cardinality constraints (but not clauses)294
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2183
Biggest coefficient in the objective function 1634
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 901966
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1634
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 901966
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
2.29/2.38	o 530079
2.59/2.67	o 528445
2.69/2.77	o 526811
2.89/2.98	o 525176
2.99/3.03	o 523545
2.99/3.08	o 521911
3.09/3.13	o 520277
3.09/3.18	o 518643
3.20/3.26	o 517009
3.31/3.35	o 515375
3.39/3.40	o 512107
3.49/3.53	o 510473
3.49/3.60	o 508838
3.69/3.73	o 507204
3.69/3.78	o 505570
3.79/3.82	o 503936
3.79/3.86	o 502302
3.89/3.96	o 500667
3.99/4.04	o 499034
4.09/4.10	o 495764
4.19/4.22	o 494130
4.30/4.35	o 492496
4.41/4.45	o 484326
4.49/4.58	o 482691
4.59/4.66	o 481056
4.69/4.75	o 477787
4.79/4.88	o 474518
4.89/4.95	o 472884
4.99/5.05	o 471250
5.09/5.10	o 469615
5.09/5.18	o 467981
5.19/5.26	o 466346
5.29/5.31	o 464712
5.29/5.39	o 463078
5.40/5.44	o 461444
5.40/5.50	o 459810
5.51/5.55	o 458176
5.59/5.67	o 458175
5.69/5.72	o 456541
5.79/5.88	o 454907
5.89/5.94	o 454906
5.99/6.01	o 453272
6.09/6.15	o 451638
6.09/6.19	o 450004
6.29/6.36	o 448370
6.39/6.44	o 446736
6.39/6.50	o 445102
6.50/6.58	o 443468
6.61/6.64	o 441834
6.69/6.73	o 440200
6.79/6.84	o 436932
6.99/7.02	o 435298
7.09/7.16	o 433664
7.19/7.26	o 432030
7.29/7.34	o 430396
7.39/7.46	o 430395
7.60/7.64	o 428761
7.60/7.69	o 427127
7.79/7.80	o 425494
7.89/7.94	o 423876
8.09/8.13	o 422242
8.09/8.18	o 420608
8.19/8.25	o 420607
8.70/8.76	o 418981
8.81/8.83	o 417347
8.89/8.96	o 414080
8.99/9.02	o 412446
9.09/9.11	o 412445
9.09/9.19	o 410811
9.19/9.28	o 409176
9.39/9.42	o 407542
9.39/9.47	o 404273
9.59/9.66	o 402639
9.80/9.91	o 401005
9.91/9.96	o 399370
10.09/10.11	o 399369
10.09/10.16	o 399368
10.19/10.21	o 397734
10.39/10.43	o 396100
10.59/10.60	o 394467
10.59/10.68	o 392833
10.79/10.87	o 387931
10.90/10.94	o 386297
10.90/10.99	o 386296
11.09/11.11	o 384667
11.09/11.17	o 381398
11.19/11.29	o 371596
11.39/11.40	o 369962
11.79/11.83	o 368332
12.11/12.13	o 365067
12.19/12.24	o 365066
12.29/12.31	o 365065
12.39/12.46	o 365064
12.69/12.74	o 363430
12.99/13.03	o 363429
12.99/13.11	o 361795
13.29/13.31	o 361794
13.59/13.65	o 360161
13.79/13.82	o 360160
13.79/13.87	o 358526
13.99/14.08	o 355258
14.09/14.18	o 355257
14.20/14.26	o 355256
14.49/14.52	o 355255
14.59/14.67	o 355254
14.69/14.73	o 355253
14.79/14.88	o 355252
14.99/15.06	o 355251
15.09/15.18	o 355250
15.19/15.24	o 353616
15.30/15.33	o 351983
15.49/15.53	o 351982
15.49/15.59	o 351981
15.69/15.70	o 351980
15.69/15.75	o 351979
15.79/15.81	o 351978
15.89/15.93	o 351977
15.99/16.03	o 351976
16.09/16.13	o 351975
16.09/16.18	o 351974
16.29/16.38	o 351973
16.40/16.47	o 351972
16.51/16.57	o 351971
16.59/16.64	o 351970
16.59/16.69	o 350336
16.89/16.93	o 350335
16.89/16.99	o 350334
17.09/17.18	o 350333
17.69/17.71	o 347156
17.79/17.87	o 347155
18.09/18.12	o 347154
18.19/18.23	o 345520
18.39/18.40	o 345519
18.49/18.56	o 345518
18.60/18.63	o 345517
18.60/18.68	o 345516
18.71/18.73	o 345515
18.99/19.08	o 345514
19.19/19.22	o 345513
19.19/19.27	o 345512
19.29/19.36	o 345511
19.49/19.57	o 343877
19.59/19.69	o 343876
19.70/19.75	o 343875
19.81/19.87	o 343874
19.99/20.00	o 343873
20.09/20.13	o 343872
20.19/20.23	o 343871
20.29/20.35	o 343870
20.39/20.45	o 343869
20.49/20.54	o 343868
20.59/20.63	o 343867
20.59/20.69	o 342233
20.80/20.89	o 342232
20.99/21.05	o 342231
21.39/21.46	o 342230
21.49/21.52	o 342229
21.49/21.58	o 342228
21.79/21.89	o 340596
21.90/21.95	o 338962
22.01/22.04	o 337327
22.09/22.10	o 335692
22.19/22.20	o 335691
22.19/22.26	o 334057
22.29/22.33	o 332423
22.29/22.39	o 332422
22.39/22.48	o 332421
22.49/22.55	o 332420
22.59/22.62	o 332419
22.59/22.68	o 330784
22.79/22.80	o 329150
22.79/22.86	o 322611
22.89/23.00	o 320976
23.11/23.13	o 319344
23.19/23.22	o 319343
23.29/23.32	o 317709
23.39/23.42	o 316075
23.39/23.49	o 316074
23.49/23.57	o 314440
23.59/23.63	o 314439
23.59/23.69	o 312805
23.79/23.82	o 312804
23.79/23.87	o 311170
24.10/24.14	o 309537
24.10/24.21	o 307904
24.29/24.37	o 306272
24.39/24.47	o 306271
24.49/24.56	o 303002
24.59/24.67	o 303001
24.69/24.73	o 303000
24.79/24.81	o 302999
24.79/24.87	o 301364
24.89/24.94	o 301363
24.99/25.02	o 299730
24.99/25.08	o 299729
25.20/25.23	o 299728
25.20/25.29	o 299727
25.31/25.37	o 299726
25.39/25.45	o 299725
25.49/25.54	o 299724
25.59/25.61	o 298092
25.59/25.69	o 296459
25.69/25.76	o 294825
25.79/25.82	o 293190
25.99/26.05	o 291557
26.09/26.12	o 289922
26.19/26.25	o 288288
26.30/26.32	o 288287
26.30/26.38	o 286652
26.41/26.46	o 285018
26.49/26.52	o 285017
26.59/26.60	o 285016
26.59/26.68	o 285015
26.69/26.75	o 285014
26.79/26.82	o 285013
26.79/26.89	o 283379
26.89/26.96	o 283378
26.99/27.03	o 283377
27.09/27.10	o 283376
27.09/27.17	o 281742
27.19/27.28	o 281741
27.29/27.36	o 280107
27.40/27.43	o 280106
27.51/27.57	o 278471
27.59/27.64	o 276837
27.69/27.72	o 276836
27.79/27.84	o 276835
27.99/28.04	o 275200
28.09/28.16	o 273565
28.69/28.72	o 267027
28.79/28.85	o 265392
28.89/28.94	o 265391
28.99/29.01	o 263756
29.09/29.17	o 262122
29.49/29.56	o 260497
29.60/29.63	o 260496
29.60/29.70	o 260495
29.71/29.77	o 258861
29.79/29.90	o 257226
29.89/29.98	o 255592
29.99/30.06	o 253959
30.09/30.17	o 253958
30.19/30.25	o 252324
30.29/30.37	o 252323
30.39/30.46	o 252322
30.49/30.55	o 250687
30.59/30.63	o 250686
30.70/30.77	o 250685
30.81/30.84	o 249052
30.89/30.94	o 247419
30.99/31.01	o 247418
31.09/31.10	o 247417
31.09/31.18	o 247416
31.29/31.30	o 245782
31.29/31.39	o 245781
31.49/31.54	o 244146
31.59/31.63	o 242511
31.69/31.72	o 242510
31.80/31.86	o 242509
31.91/31.95	o 240876
32.09/32.15	o 240872
32.19/32.24	o 240871
32.29/32.36	o 237601
32.39/32.49	o 235966
32.59/32.65	o 235965
32.69/32.76	o 234331
32.79/32.84	o 232697
32.90/32.98	o 229427
33.29/33.30	o 227793
33.39/33.43	o 227792
33.59/33.60	o 226158
33.69/33.70	o 224524
33.89/33.93	o 224523
34.00/34.06	o 224522
34.11/34.14	o 224521
34.19/34.22	o 224520
34.29/34.30	o 224519
34.39/34.46	o 224518
34.49/34.57	o 222883
34.59/34.69	o 221254
34.79/34.82	o 219620
34.89/34.97	o 219619
34.99/35.04	o 219618
35.10/35.14	o 219617
35.10/35.21	o 219616
35.29/35.39	o 217981
36.99/37.08	o 214717
37.19/37.20	o 213083
37.19/37.30	o 211449
37.41/37.42	o 211448
37.49/37.50	o 211447
37.59/37.62	o 211446
37.69/37.73	o 211445
37.79/37.85	o 211444
37.89/37.94	o 211443
37.99/38.05	o 211442
38.19/38.26	o 211441
38.29/38.40	o 209807
38.51/38.53	o 208173
38.69/38.71	o 204911
38.79/38.82	o 204904
39.19/39.24	o 203276
39.29/39.33	o 203275
39.39/39.41	o 203274
39.39/39.48	o 203273
39.50/39.56	o 203272
39.61/39.66	o 203271
39.69/39.73	o 201636
39.99/40.07	o 201635
40.19/40.24	o 200000
40.29/40.33	o 198365
40.39/40.43	o 198364
40.49/40.53	o 198363
40.60/40.67	o 198362
40.71/40.79	o 198361
40.79/40.89	o 196727
40.99/41.04	o 196726
41.09/41.13	o 195091
41.19/41.22	o 193457
41.29/41.35	o 193456
41.59/41.61	o 191822
41.59/41.69	o 191821
41.70/41.77	o 190186
41.81/41.88	o 188552
41.89/41.98	o 188551
41.99/42.07	o 188550
42.19/42.21	o 186915
42.29/42.34	o 186914
42.49/42.51	o 185279
42.59/42.61	o 183648
42.69/42.80	o 183647
42.91/42.96	o 182012
42.99/43.05	o 182011
43.19/43.22	o 182010
43.29/43.34	o 182009
43.39/43.41	o 180374
43.39/43.49	o 180373
43.69/43.74	o 180372
43.79/43.85	o 178737
43.90/43.95	o 177102
44.01/44.04	o 177101
44.19/44.21	o 177099
44.59/44.66	o 175470
44.69/44.75	o 173835
44.89/44.92	o 173834
45.11/45.14	o 173833
45.19/45.23	o 173832
45.39/45.41	o 173831
45.49/45.52	o 173830
45.69/45.71	o 173829
45.79/45.80	o 173828
45.89/45.90	o 172194
45.99/46.00	o 172193
46.10/46.12	o 170559
46.10/46.21	o 170558
46.29/46.30	o 168923
46.29/46.40	o 168922
46.39/46.47	o 168921
46.49/46.56	o 168920
46.69/46.76	o 167286
46.79/46.87	o 167285
46.99/47.01	o 165650
47.09/47.12	o 164015
47.20/47.23	o 164014
47.31/47.39	o 162379
47.59/47.66	o 160745
47.79/47.87	o 160744
47.99/48.09	o 160743
48.19/48.22	o 159108
48.30/48.36	o 159107
48.41/48.45	o 157472
49.40/49.46	o 154238
49.51/49.57	o 154237
49.69/49.77	o 154236
49.79/49.86	o 152601
49.99/50.02	o 152600
50.19/50.24	o 150966
50.39/50.49	o 149332
50.61/50.69	o 147698
50.89/50.92	o 146064
50.99/51.02	o 144429
51.19/51.21	o 142795
51.29/51.36	o 141161
51.39/51.48	o 141160
51.71/51.75	o 141159
51.89/51.90	o 139525
51.99/52.00	o 137890
52.09/52.10	o 136257
52.29/52.32	o 134622
52.39/52.47	o 132987
52.59/52.65	o 131353
52.70/52.79	o 131352
52.89/52.96	o 131351
53.19/53.24	o 131350
53.29/53.39	o 131349
53.39/53.47	o 131348
53.69/53.76	o 131347
53.91/53.92	o 129713
53.99/54.00	o 128079
54.09/54.17	o 128078
54.29/54.34	o 126443
54.59/54.63	o 126442
54.79/54.87	o 124807
55.09/55.15	o 123172
55.39/55.44	o 121538
55.69/55.71	o 121537
55.79/55.88	o 121536
56.00/56.02	o 121535
56.11/56.12	o 119900
56.29/56.31	o 118265
56.39/56.48	o 118263
56.49/56.59	o 118261
56.59/56.66	o 116629
56.69/56.78	o 114997
56.79/56.87	o 114996
56.89/56.95	o 114994
56.99/57.10	o 113359
57.21/57.27	o 111725
57.39/57.48	o 111724
57.59/57.64	o 111723
57.69/57.73	o 110088
57.99/58.06	o 108465
58.09/58.17	o 108464
58.20/58.25	o 108463
58.31/58.34	o 108461
58.39/58.45	o 108460
58.49/58.58	o 106826
58.79/58.81	o 106825
58.99/59.06	o 105190
59.19/59.24	o 103557
59.30/59.32	o 103556
59.41/59.50	o 103555
59.69/59.77	o 101921
59.99/60.00	o 101920
59.99/60.07	o 100286
60.09/60.17	o 100285
60.19/60.26	o 100284
60.29/60.35	o 100283
60.59/60.64	o 100282
60.79/60.82	o 98649
60.89/60.92	o 98648
61.19/61.23	o 97013
61.39/61.48	o 95381
61.50/61.56	o 95379
61.61/61.69	o 95378
61.89/61.92	o 95377
62.09/62.14	o 93750
62.19/62.27	o 93749
62.29/62.39	o 93748
62.49/62.58	o 93747
62.71/62.72	o 93746
62.79/62.84	o 93745
62.99/63.05	o 92116
63.09/63.13	o 92115
63.19/63.20	o 92114
63.19/63.28	o 92113
63.29/63.35	o 92112
63.39/63.43	o 92111
63.49/63.56	o 92110
63.70/63.75	o 92109
63.89/63.95	o 90480
63.99/64.06	o 90479
64.09/64.14	o 90478
64.19/64.21	o 90477
64.29/64.30	o 90476
64.59/64.63	o 90475
64.80/64.88	o 88844
64.91/64.96	o 88843
64.99/65.03	o 88842
65.09/65.11	o 88841
65.19/65.23	o 88840
65.39/65.48	o 88839
65.49/65.55	o 88838
65.79/65.83	o 87208
65.79/65.91	o 87207
65.90/65.98	o 87206
66.01/66.06	o 87205
66.09/66.13	o 87204
66.19/66.24	o 87203
66.29/66.33	o 87202
66.59/66.63	o 87200
66.69/66.72	o 87199
66.69/66.79	o 85566
66.79/66.88	o 83932
67.00/67.05	o 83931
67.11/67.14	o 83930
67.19/67.26	o 82295
67.29/67.39	o 82294
67.49/67.56	o 80663
67.59/67.66	o 80662
67.69/67.74	o 80661
67.79/67.82	o 80660
67.79/67.89	o 80659
67.99/68.04	o 79028
67.99/68.11	o 79027
68.10/68.19	o 79026
68.21/68.26	o 79025
68.29/68.33	o 79024
68.39/68.44	o 79023
68.59/68.60	o 79022
68.79/68.85	o 79021
69.69/69.74	o 79020
70.69/70.70	o 79019
71.19/71.28	o 77412
71.29/71.36	o 77411
71.40/71.46	o 77410
71.51/71.55	o 77409
71.59/71.62	o 77408
71.59/71.69	o 77407
71.69/71.76	o 77405
71.89/71.91	o 77404
71.99/72.01	o 77403
72.09/72.15	o 77402
72.19/72.29	o 77401
72.39/72.42	o 77400
72.50/72.55	o 77399
72.69/72.74	o 77398
73.60/73.68	o 77397
73.79/73.87	o 77396
74.09/74.18	o 77395
74.81/74.82	o 77394
75.09/75.17	o 77393
75.29/75.37	o 77392
75.59/75.68	o 77391
76.29/76.30	o 77390
77.49/77.54	o 77389
78.59/78.62	o 77388
79.29/79.34	o 75767
79.39/79.43	o 75766
79.49/79.53	o 75765
79.59/79.62	o 75764
79.69/79.71	o 75763
79.79/79.80	o 75762
79.79/79.89	o 75761
79.99/80.03	o 75760
80.09/80.18	o 75759
80.31/80.32	o 75758
80.39/80.44	o 75757
80.49/80.58	o 75756
80.69/80.70	o 75755
80.79/80.87	o 75754
84.39/84.43	o 74120
84.79/84.80	o 74119
85.49/85.52	o 74118
85.70/85.79	o 74117
85.99/86.06	o 74116
86.69/86.71	o 74113
86.69/86.79	o 74112
86.99/87.06	o 74111
87.90/88.01	o 74110
89.00/89.05	o 74109
89.69/89.74	o 70842
94.19/94.24	o 70841
94.79/94.83	o 69218
94.89/94.91	o 69217
95.09/95.14	o 69216
96.29/96.36	o 69215
97.59/97.60	o 69214
98.19/98.24	o 69213
98.69/98.79	o 69212
101.49/101.52	o 69211
102.39/102.44	o 69210
102.69/102.70	o 67585
102.69/102.78	o 67584
102.79/102.86	o 67583
102.89/102.93	o 67581
102.99/103.07	o 67580
103.30/103.34	o 67579
103.89/103.97	o 67578
104.79/104.81	o 67577
105.09/105.13	o 67576
105.79/105.85	o 67575
106.49/106.60	o 65944
106.60/106.67	o 65943
106.71/106.74	o 65942
106.89/106.90	o 65941
107.70/107.74	o 65940
108.59/108.63	o 65939
111.39/111.45	o 64320
111.49/111.52	o 64319
111.69/111.71	o 64318
112.29/112.31	o 64317
119.29/119.37	o 64316
125.59/125.69	o 64315
129.99/130.04	o 64314
130.09/130.18	o 62687
130.29/130.34	o 62686
130.39/130.42	o 62685
130.49/130.53	o 62684
130.59/130.61	o 62683
130.69/130.80	o 62682
130.99/131.03	o 62681
131.19/131.23	o 62680
133.39/133.42	o 62679
133.69/133.80	o 62678
134.21/134.28	o 62677
136.19/136.23	o 62676
137.29/137.39	o 62675
139.79/139.82	o 61046
139.89/139.92	o 61045
139.99/140.02	o 61044
140.09/140.16	o 61043
140.19/140.28	o 61042
140.29/140.36	o 61041
141.59/141.69	o 61040
145.49/145.55	o 61039
146.89/146.95	o 61038
148.51/148.53	o 61037
171.89/171.91	o 61036
175.59/175.69	o 59408
175.69/175.78	o 59407
175.79/175.86	o 59406
175.90/175.94	o 59405
176.01/176.03	o 59404
179.79/179.86	o 59403
180.09/180.11	o 59402
198.69/198.72	o 57773
198.79/198.85	o 57772
198.89/198.98	o 57771
199.00/199.08	o 57770
199.11/199.14	o 57769
200.39/200.49	o 57768
210.00/210.10	o 56136
210.19/210.26	o 56135
210.29/210.36	o 56134
210.49/210.51	o 56133
211.79/211.84	o 56132
213.09/213.18	o 56131
214.29/214.32	o 56124
217.09/217.14	o 56123
218.39/218.42	o 54492
218.49/218.50	o 54491
218.49/218.58	o 54490
218.69/218.79	o 54489
218.91/218.99	o 54488
220.09/220.15	o 54487
221.49/221.50	o 54486
222.99/223.04	o 52856
223.31/223.37	o 52855
224.79/224.81	o 52854
226.29/226.34	o 52853
227.60/227.69	o 52852
229.09/229.12	o 51219
229.29/229.31	o 51218
229.39/229.45	o 51217
230.69/230.77	o 49584
231.79/231.88	o 49583
232.49/232.57	o 49582
233.21/233.24	o 47958
233.29/233.34	o 47957
233.39/233.40	o 47956
233.39/233.48	o 47955
233.49/233.55	o 47954
233.89/233.97	o 46325
234.09/234.11	o 46324
234.09/234.21	o 46323
234.20/234.30	o 46322
234.39/234.46	o 46321
235.30/235.35	o 46320
235.89/235.93	o 44686
236.79/236.83	o 43052
236.89/236.91	o 43051
237.50/237.59	o 43050
238.19/238.26	o 39788
238.39/238.45	o 39787
238.99/239.04	o 39786
239.70/239.77	o 39785
240.91/240.92	o 39784
242.19/242.23	o 39783
243.19/243.29	o 39776
243.49/243.50	o 39775
252.90/252.95	o 39774
259.50/259.52	o 39773
260.60/260.64	o 39772
261.29/261.37	o 39771
264.69/264.78	o 39770
267.89/267.91	o 39769
269.99/270.03	o 39768
272.49/272.59	o 38161
272.70/272.78	o 38160
272.81/272.86	o 38159
272.89/272.95	o 38158
272.99/273.03	o 38157
273.09/273.10	o 38156
273.09/273.18	o 38155
273.19/273.25	o 38154
273.29/273.32	o 38151
273.29/273.39	o 38150
273.39/273.47	o 38149
273.49/273.56	o 38148
273.59/273.68	o 38147
273.69/273.76	o 38146
273.80/273.85	o 38145
273.91/273.97	o 38144
274.09/274.10	o 38143
274.19/274.26	o 36510
274.29/274.33	o 36509
274.39/274.41	o 36508
274.49/274.57	o 36507
274.69/274.78	o 36506
274.90/274.92	o 36505
275.19/275.30	o 36504
275.49/275.52	o 36503
275.59/275.65	o 36502
275.69/275.79	o 34868
275.79/275.87	o 34867
276.00/276.05	o 34866
276.19/276.23	o 34865
276.29/276.30	o 34864
276.39/276.45	o 34863
276.59/276.65	o 34862
276.69/276.72	o 34861
276.79/276.81	o 34860
276.89/276.90	o 34859
277.10/277.20	o 34858
277.39/277.47	o 33226
277.49/277.55	o 33225
277.69/277.76	o 33224
277.89/277.91	o 33223
277.99/278.03	o 33222
278.09/278.13	o 31587
278.31/278.37	o 31586
278.39/278.44	o 31585
278.49/278.55	o 31584
278.69/278.71	o 31583
279.30/279.32	o 31582
279.59/279.63	o 31581
279.99/280.04	o 31580
280.19/280.22	o 29950
280.29/280.31	o 29949
280.51/280.54	o 29948
280.69/280.70	o 29947
280.99/281.03	o 29946
281.80/281.88	o 29945
282.00/282.09	o 29944
282.40/282.46	o 29943
284.30/284.35	o 28317
284.40/284.43	o 28315
284.50/284.50	o 28314
284.50/284.58	o 28313
284.70/284.71	o 28312
284.70/284.78	o 28311
284.92/284.99	o 28310
285.40/285.44	o 28309
286.50/286.54	o 28308
287.50/287.52	o 28307
290.80/290.82	o 28306
294.71/294.79	o 28305
300.00/300.09	o 28304
303.51/303.52	o 28303
306.10/306.10	o 28302
308.10/308.12	o 28301
308.90/308.92	o 28300
310.00/310.11	o 28299
310.60/310.66	o 28298
310.90/310.94	o 28297
311.10/311.18	o 28296
311.50/311.54	o 28295
311.90/311.92	o 28294
312.10/312.19	o 26676
312.20/312.26	o 26675
312.31/312.36	o 26674
312.50/312.56	o 26673
312.60/312.65	o 26671
312.70/312.76	o 26670
312.90/312.92	o 26669
313.00/313.09	o 26668
313.20/313.25	o 26667
313.30/313.40	o 26666
313.60/313.65	o 26665
314.10/314.16	o 26664
314.40/314.51	o 26663
317.00/317.04	o 25031
317.10/317.12	o 25030
317.10/317.19	o 25029
317.20/317.29	o 25028
320.90/320.92	o 23411
321.00/321.03	o 23410
321.11/321.13	o 23409
321.22/321.22	o 23408
321.30/321.33	o 23407
321.40/321.40	o 23406
321.60/321.68	o 23404
321.70/321.78	o 23403
321.80/321.88	o 23401
322.00/322.01	o 23400
322.10/322.15	o 23399
322.70/322.74	o 23398
322.90/322.94	o 23397
323.10/323.17	o 23396
323.42/323.45	o 23395
323.90/323.99	o 21781
324.00/324.07	o 21780
324.20/324.23	o 21779
324.30/324.36	o 21778
324.41/324.48	o 21777
324.60/324.64	o 21776
324.80/324.80	o 21775
324.90/324.90	o 21774
325.00/325.09	o 21773
325.20/325.26	o 21772
325.30/325.39	o 21771
325.51/325.53	o 21770
325.70/325.73	o 21769
325.80/325.89	o 21768
326.00/326.09	o 21767
326.30/326.31	o 21766
326.50/326.50	o 21765
326.61/326.69	o 21764
328.10/328.19	o 21763
328.92/328.98	o 21762
333.10/333.14	o 21761
334.20/334.23	o 20145
334.31/334.32	o 20144
334.31/334.39	o 20143
334.42/334.46	o 20142
334.50/334.56	o 20141
334.60/334.64	o 20140
334.70/334.73	o 20139
334.80/334.81	o 20138
334.80/334.88	o 20137
334.90/334.95	o 20135
335.00/335.05	o 20134
335.10/335.15	o 20133
335.20/335.28	o 20132
335.30/335.39	o 20131
335.52/335.52	o 20130
335.60/335.67	o 20129
335.70/335.77	o 20128
337.00/337.04	o 20127
344.70/344.76	o 20126
353.30/353.30	o 20125
362.91/362.96	o 20124
370.40/370.41	o 18496
370.40/370.49	o 18495
370.50/370.57	o 18494
370.61/370.68	o 18493
370.72/370.78	o 18492
380.30/380.32	o 18491
383.20/383.27	o 18490
386.40/386.46	o 18489
387.22/387.22	o 18488
388.80/388.87	o 18487
390.52/390.52	o 18484
390.60/390.64	o 18483
390.80/390.83	o 18482
391.20/391.28	o 16851
391.30/391.36	o 16850
391.40/391.43	o 16849
391.62/391.64	o 16848
392.00/392.09	o 16847
393.10/393.13	o 16846
393.40/393.43	o 16845
394.20/394.22	o 16844
401.80/401.84	o 16843
410.60/410.69	o 16842
430.80/430.80	o 16841
436.30/436.34	o 16840
440.30/440.35	o 16839
446.00/446.01	o 15245
446.30/446.38	o 15244
446.62/446.67	o 15243
446.70/446.75	o 15242
446.80/446.84	o 15241
446.90/446.97	o 15240
447.00/447.06	o 15239
447.10/447.15	o 15238
447.20/447.26	o 15237
447.30/447.37	o 15236
448.60/448.62	o 15235
449.00/449.02	o 15234
450.20/450.24	o 15233
467.00/467.09	o 13600
468.00/468.07	o 13599
469.50/469.50	o 13598
471.30/471.39	o 13597
472.20/472.22	o 13596
473.30/473.30	o 11964
473.50/473.60	o 11963
473.90/473.91	o 11962
474.60/474.67	o 11961
475.11/475.16	o 11960
475.70/475.75	o 11959
476.32/476.37	o 11958
476.80/476.82	o 11957
477.50/477.55	o 11956
479.10/479.13	o 11955
480.40/480.48	o 11954
482.30/482.34	o 11953
486.00/486.05	o 11952
489.70/489.73	o 11951
492.00/492.07	o 11950
498.50/498.52	o 11949
498.90/498.91	o 11948
499.20/499.22	o 11947
499.50/499.58	o 11946
501.20/501.30	o 11945
501.40/501.41	o 11944
502.50/502.55	o 11943
505.20/505.27	o 11942
505.50/505.53	o 11941
509.21/509.22	o 11940
513.10/513.14	o 11939
514.50/514.57	o 11938
515.81/515.86	o 11937
516.70/516.77	o 11936
519.40/519.40	o 11935
527.10/527.18	o 11934
528.50/528.58	o 11933
531.50/531.59	o 11932
534.00/534.05	o 11931
537.60/537.69	o 11930
540.40/540.45	o 11929
544.11/544.14	o 11928
548.20/548.21	o 11927
548.30/548.32	o 11926
551.91/551.97	o 11925
556.11/556.11	o 11924
560.40/560.45	o 11923
564.81/564.81	o 11922
568.81/568.84	o 11921
571.51/571.58	o 11920
575.81/575.80	o 11919
596.61/596.69	o 11918
600.71/600.78	o 11917
604.41/604.48	o 11916
608.21/608.28	o 11915
614.71/614.79	o 11914
620.61/620.66	o 11913
623.41/623.49	o 11912
632.81/632.87	o 11911
635.72/635.81	o 11910
639.61/639.69	o 11909
643.11/643.17	o 11908
647.41/647.44	o 11907
651.01/651.10	o 11906
654.71/654.76	o 11905
662.01/662.09	o 11904
664.01/664.07	o 11903
668.21/668.29	o 11902
673.31/673.34	o 11901
686.11/686.10	o 11900
694.41/694.46	o 11899
704.03/704.02	o 11898
727.41/727.47	o 11897
738.91/738.95	o 11896
741.71/741.71	o 11895
742.53/742.54	o 11894
743.41/743.51	o 11893
747.81/747.82	o 11892
751.01/751.09	o 11891
755.21/755.28	o 11890
757.51/757.53	o 11889
758.92/759.01	o 11888
768.31/768.35	o 10274
768.51/768.55	o 10273
768.61/768.68	o 10272
768.71/768.77	o 10271
769.11/769.12	o 10270
769.21/769.23	o 10269
769.31/769.35	o 10268
769.41/769.45	o 10267
769.51/769.56	o 10266
769.61/769.66	o 10265
772.23/772.23	o 10264
772.41/772.40	o 10263
773.01/773.09	o 10262
773.71/773.71	o 10261
773.91/773.95	o 10260
774.11/774.17	o 10259
774.81/774.81	o 10258
776.31/776.36	o 10257
776.81/776.83	o 10256
777.73/777.76	o 10255
778.21/778.22	o 10254
778.61/778.63	o 10253
782.91/782.91	o 10251
783.61/783.63	o 10250
784.01/784.06	o 10249
794.91/794.92	o 10248
795.01/795.05	o 10247
795.22/795.22	o 10245
795.33/795.35	o 10244
795.41/795.47	o 10243
795.61/795.60	o 10242
795.71/795.73	o 10241
795.81/795.87	o 10239
796.01/796.06	o 10238
796.32/796.40	o 10237
796.51/796.53	o 10236
796.61/796.67	o 10235
796.81/796.81	o 10234
797.11/797.11	o 10233
797.11/797.19	o 10232
797.21/797.27	o 10231
797.31/797.34	o 10230
797.31/797.42	o 10229
797.42/797.50	o 10228
797.53/797.58	o 10227
797.61/797.67	o 10226
797.71/797.75	o 10225
797.81/797.83	o 10224
797.91/797.91	o 10223
797.91/797.99	o 10222
798.01/798.08	o 10221
798.11/798.15	o 10220
798.21/798.22	o 10219
798.52/798.59	o 10218
798.81/798.86	o 10217
799.01/799.02	o 10216
799.31/799.37	o 10215
800.21/800.21	o 10214
801.51/801.56	o 10213
803.41/803.44	o 10212
803.51/803.51	o 10211
804.81/804.86	o 10210
806.41/806.43	o 10209
808.91/808.91	o 10208
809.11/809.14	o 10207
809.31/809.39	o 10206
811.21/811.27	o 10205
811.31/811.39	o 10204
811.51/811.50	o 10203
811.72/811.79	o 10202
815.61/815.66	o 10201
816.12/816.16	o 10200
816.91/816.99	o 10199
817.33/817.36	o 10198
817.71/817.79	o 10197
818.21/818.25	o 10196
821.31/821.32	o 10195
821.51/821.55	o 10194
821.81/821.87	o 10193
822.91/822.90	o 10192
824.71/824.70	o 10191
825.71/825.75	o 10190
829.32/829.35	o 10189
834.31/834.36	o 10188
838.51/838.54	o 10187
844.51/844.53	o 10186
845.01/845.05	o 10185
846.41/846.44	o 10184
847.41/847.46	o 10183
849.01/849.10	o 10182
849.12/849.18	o 10181
850.41/850.48	o 10180
850.61/850.67	o 10179
850.81/850.88	o 10178
851.01/851.09	o 10177
851.21/851.28	o 10176
851.43/851.49	o 10175
851.61/851.62	o 10174
852.01/852.00	o 10173
852.21/852.24	o 10172
855.72/855.72	o 10171
858.81/858.84	o 10170
863.53/863.54	o 10169
875.41/875.51	o 10168
898.91/898.99	o 10167
909.81/909.85	o 10166
914.71/914.71	o 10165
926.01/926.04	o 10164
935.21/935.21	o 10163
946.81/946.85	o 10162
947.41/947.47	o 10161
965.41/965.46	o 10160
965.51/965.58	o 10159
965.91/965.95	o 10157
967.11/967.15	o 10156
968.51/968.53	o 10155
968.81/968.80	o 10154
969.21/969.28	o 10153
970.71/970.72	o 10152
974.52/974.53	o 10151
975.81/975.84	o 8527
975.91/975.94	o 8526
976.01/976.02	o 8525
976.11/976.17	o 8523
976.31/976.31	o 8522
976.41/976.46	o 8521
976.83/976.87	o 8520
977.21/977.22	o 8519
977.51/977.57	o 8518
977.93/977.93	o 8517
978.31/978.30	o 8516
979.81/979.87	o 8515
1071.61/1071.65	o 8512
1071.71/1071.73	o 8511
1071.91/1071.96	o 8510
1073.21/1073.21	o 8508
1073.63/1073.65	o 8507
1076.21/1076.29	o 8505
1076.61/1076.68	o 8504
1078.03/1078.07	o 8503
1087.11/1087.10	o 8502
1087.21/1087.26	o 8501
1087.41/1087.43	o 8500
1087.51/1087.60	o 8499
1087.71/1087.75	o 8498
1087.82/1087.90	o 8497
1088.01/1088.06	o 8496
1089.31/1089.37	o 8495
1089.71/1089.72	o 8494
1089.91/1089.91	o 8493
1090.02/1090.06	o 8492
1090.21/1090.21	o 8491
1090.41/1090.45	o 8490
1090.91/1090.98	o 8489
1101.31/1101.33	o 8488
1105.01/1105.04	o 8487
1106.41/1106.45	o 8486
1109.61/1109.61	o 8485
1110.21/1110.25	o 8484
1110.41/1110.47	o 8483
1111.81/1111.80	o 8482
1112.41/1112.42	o 8481
1113.12/1113.12	o 8480
1114.71/1114.77	o 8479
1115.61/1115.61	o 8478
1116.21/1116.28	o 8477
1116.42/1116.42	o 8476
1116.81/1116.85	o 8475
1117.11/1117.18	o 8474
1117.52/1117.53	o 8473
1117.91/1118.00	o 8472
1121.01/1121.02	o 8471
1122.21/1122.25	o 8470
1123.41/1123.49	o 8469
1124.41/1124.47	o 8468
1125.11/1125.10	o 8467
1126.81/1126.89	o 8466
1131.41/1131.46	o 8465
1133.91/1133.95	o 6841
1134.13/1134.19	o 6840
1134.41/1134.45	o 6839
1136.41/1136.40	o 6838
1139.81/1139.89	o 6837
1141.41/1141.49	o 6836
1142.41/1142.40	o 6835
1144.31/1144.31	o 6834
1146.31/1146.35	o 6833
1147.11/1147.14	o 6832
1148.01/1148.01	o 6831
1148.51/1148.57	o 6830
1148.91/1148.91	o 6829
1149.42/1149.44	o 6828
1149.91/1149.95	o 6827
1150.63/1150.64	o 6826
1151.01/1151.06	o 6825
1153.41/1153.46	o 6824
1153.93/1153.99	o 6823
1154.51/1154.54	o 6822
1157.01/1157.06	o 6821
1158.91/1158.90	o 6820
1171.11/1171.13	o 6819
1176.11/1176.12	o 6818
1177.03/1177.09	o 5211
1177.11/1177.19	o 5210
1177.21/1177.27	o 5209
1177.42/1177.47	o 5206
1177.51/1177.59	o 5205
1177.71/1177.71	o 5204
1177.71/1177.77	o 5203
1177.81/1177.89	o 5202
1178.02/1178.02	o 5201
1178.13/1178.16	o 5200
1178.21/1178.27	o 5199
1178.31/1178.38	o 5198
1178.41/1178.47	o 5197
1178.61/1178.64	o 5196
1178.81/1178.89	o 5195
1179.23/1179.27	o 5194
1179.41/1179.44	o 5193
1179.61/1179.66	o 5192
1179.71/1179.78	o 5191
1180.33/1180.39	o 5190
1180.51/1180.57	o 5189
1180.71/1180.79	o 5188
1181.01/1181.02	o 5187
1181.43/1181.45	o 5186
1181.71/1181.77	o 5185
1181.91/1181.99	o 5184
1182.01/1182.06	o 5183
1183.21/1183.24	o 5182
1183.63/1183.64	o 5181
1187.61/1187.61	o 5180
1189.22/1189.29	o 5179
1200.52/1200.59	o 5178
1227.32/1227.35	o 5177
1232.52/1232.53	o 5176
1239.42/1239.45	o 5175
1239.82/1239.88	o 5174
1242.92/1242.93	o 5173
1243.04/1243.04	o 5172
1243.42/1243.40	o 5171
1244.82/1244.89	o 5170
1248.22/1248.27	o 5169
1250.22/1250.26	o 5167
1256.02/1256.04	o 5166
1260.64/1260.62	o 5165
1265.62/1265.65	o 5164
1275.32/1275.36	o 5163
1275.42/1275.50	o 5162
1275.52/1275.58	o 5161
1276.82/1276.87	o 5160
1277.62/1277.60	o 5159
1279.62/1279.66	o 5158
1288.92/1288.91	o 5157
1290.52/1290.54	o 5156
1292.92/1292.90	o 5155
1293.92/1293.97	o 5154
1294.63/1294.71	o 5153
1295.12/1295.19	o 5152
1303.22/1303.29	o 5151
1312.92/1312.95	o 5150
1316.52/1316.60	o 5149
1322.24/1322.25	o 5148
1332.22/1332.27	o 5147
1343.42/1343.44	o 5146
1347.02/1347.00	o 5145
1348.64/1348.66	o 5144
1353.82/1353.85	o 5143
1355.42/1355.42	o 5142
1359.82/1359.81	o 5141
1364.92/1364.98	o 5140
1366.92/1366.98	o 5139
1367.62/1367.66	o 5138
1371.02/1371.01	o 5137
1491.42/1491.46	o 5136
1502.42/1502.48	o 5135
1550.02/1550.04	o 5134
1605.12/1605.17	o 5133
1610.92/1610.97	o 5132
1612.02/1612.05	o 5131
1616.02/1616.07	o 5130
1651.72/1651.78	o 5129
1656.02/1656.00	o 5128
1657.22/1657.29	o 5127
1657.74/1657.74	o 5126
1659.62/1659.60	o 5125
1661.12/1661.16	o 5124
1663.83/1663.81	o 5123
1664.42/1664.44	o 5122
1675.23/1675.29	o 5121
1800.04/1800.01	>>> Terminate signal received
1800.04/1800.02	v x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 x16 x17 -x18 x19 x20 -x21 x22 -x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 x34 -x35 x36 x37 -x38 x39 -x40 x41 x42 -x43 -x44 x45 -x46 -x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 x143 -x144 x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 x158 -x159 x160 -x161 -x162 x163 -x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 -x272 -x273 x274 -x275 x276 x277 -x278 x279 -x280 x281 x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 x298 -x299 -x300 -x301 x302 -x303 x304 -x305 -x306 x307 x308 -x309 x310 x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 x328 -x329 -x330 -x331 x332 -x333 x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 x385 x386 x387 x388 x389 x390 x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 x420 -x421 x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 x519 x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 x551 -x552 -x553 x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 x566 x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 x592 -x593 x594 -x595 -x596 x597 -x598 -x599 x600 -x601 x602 x603 -x604 x605 -x606 x607 -x608 x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 x626 x627 -x628 x629 x630 -x631 x632 x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 x684 -x685 x686 -x687 -x688 x689 -x690 -x691 x692 x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 x701 -x702 x703 x704 -x705 -x706 x707 -x708 x709 -x710 x711 -x712 -x713 -x714 -x715 x716 -x717 x718 x719 -x720 x721 x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 x780 -x781 x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 x813 x814 -x815 -x816 -x817 x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 x826 x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 x849 -x850 x851 -x852 x853 -x854 -x855 x856 x857 x858 -x859 -x860 -x861 x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 -x873 -x874 x875 -x876 x877 -x878 -x879 -x880 -x881 x882 -x883 x884 x885 -x886 x887 -x888 -x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 x898 -x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 x916 -x917 -x918 x919 x920 -x921 x922 -x923 x924 x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 x938 x939 -x940 -x941 x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 x964 -x965 x966 -x967 x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 x984 x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 x998 -x999 x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 x1023 x1024 -x1025 x1026 -x1027 x1028 -x1029 x1030 -x1031 -x1032 x1033 -x1034 x1035 -x1036 -x1037 x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 x1085 -x1086 x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 x1202 x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 x1273 x1274 x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 x1349 -x1350 -x1351 x1352 x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 -x1383 x1384 -x1385 x1386 x1387 x1388 x1389 x1390 -x1391 -x1392 x1393 -x1394 -x1395 x1396 -x1397 x1398 -x1399 -x1400 x1401 -x1402 x1403 -x1404 x1405 -x1406 x1407 -x1408 x1409 -x1410 -x1411 x1412 x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 x1427 x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 x1435 -x1436 x1437 -x1438 -x1439 x1440 -x1441 -x1442 x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 x1575 -x1576 x1577 -x1578 x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 -x1612 x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 x1638 x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 x1659 -x1660 -x1661 -x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 x1688 x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 x1793 -x1794 x1795 x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 x1845 -x1846 -x1847 x1848 -x1849 -x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 x1868 x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 x1905 -x1906 x1907 x1908 x1909 -x1910 x1911 -x1912 -x1913 x1914 x1915 -x1916 -x1917 x1918 -x1919 -x1920 x1921 -x1922 x1923 -x1924 x1925 -x1926 x1927 x1928 -x1929 x1930 -x1931 x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 x1953 -x1954 -x1955 x1956 -x1957 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 x1994 -x1995 x1996 x1997 -x1998 x1999 -x2000 -x2001 x2002 -x2003 x2004 -x2005 x2006 x2007 -x2008 -x2009 x2010 -x2011 x2012 -x2013 x2014 x2015 -x2016 x2017 x2018 -x2019 -x2020 x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 x2033 -x2034 x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 x2075 x2076 -x2077 -x2078 x2079 -x2080 -x2081 x2082 -x2083 x2084 -x2085 x2086 -x2087 x2088 -x2089 x2090 -x2091 x2092 x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 x2100 x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 x2127 x2128 -x2129 x2130 x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 x2158 -x2159 x2160 x2161 -x2162 x2163 -x2164 -x2165 x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 x2197 x2198 -x2199 -x2200 -x2201 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 x2230 -x2231 -x2232 x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 x2250 x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 x2309 x2310 x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 x2345 -x2346 x2347 -x2348 x2349 -x2350 x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 x2365 -x2366 x2367 -x2368 x2369 x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 x2417 x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 x2432 -x2433 x2434 -x2435 x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 x2448 x2449 -x2450 -x2451 x2452 -x2453 -x2454 x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 x2469 -x2470 x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 x2514 -x2515 x2516 -x2517 x2518 -x2519 x2520 -x2521 -x2522 x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 x2549 -x2550 x2551 -x2552 x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 x2560 x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 x2582 -x2583 -x2584 -x2585 x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 x2644 -x2645 -x2646 -x2647 x2648 x2649 -x2650 x2651 -x2652 -x2653 x2654 -x2655 x2656 -x2657 x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 x2682 -x2683 x2684 x2685 -x2686 -x2687 x2688 x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 x2719 -x2720 -x2721 x2722 x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 x2752 -x2753 x2754 x2755 x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 x2804 x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 x2813 x2814 -x2815 -x2816 -x2817 x2818 x2819 x2820 x2821 -x2822 -x2823 x2824 -x2825 -x2826 x2827 x2828 -x2829 -x2830 x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 x2867 x2868 -x2869 -x2870 -x2871 -x2872 x2873 x2874 -x2875 x2876 x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 x2924 -x2925 x2926 -x2927 -x2928 x2929 -x2930 x2931 x2932 -x2933 -x2934 -x2935 x2936 x2937 -x2938 x2939 x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 x2974 x2975 -x2976 x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 x3014 -x3015 x3016 -x3017 x3018 x3019 x3020 -x3021 -x3022 x3023 x3024 x3025 x3026 x3027 -x3028 x3029 -x3030 -x3031 x3032 x3033 x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 x3057 -x3058 -x3059 x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 x3074 x3075 x3076 x3077 x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 x3116 -x3117 x3118 -x3119 -x3120 x3121 -x3122 -x3123 x3124 -x3125 -x3126 x3127 -x3128 -x3129 x3130 -x3131 -x3132 x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 x4261 x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 x4300 x4301 x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 x4388 x4389 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 x4515 -x4516 -x4517 x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 x4565 x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 x4582 x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 x4596 x4597 -x4598 x4599 -x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 x4607 x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 x4643 x4644 x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 x4654 -x4655 -x4656 -x4657 x4658 x4659 x4660 x4661 -x4662 x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 -x4691 -x4692 x4693 x4694 x4695 x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 x4778 -x4779 x4780 -x4781 -x4782 -x4783 x4784 x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 x4855 -x4856 -x4857 x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 x4897 -x4898 x4899 -x4900 -x4901 x4902 x4903 x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4941 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 x4952 x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 x5092 x5093 x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 x5150 x5151 x5152 -x5153 x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 x5179 x5180 -x5181 -x5182 -x5183 x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 x5199 x5200 -x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 x5217 -x5218 -x5219 -x5220 x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245 -x5246 -x5247 -x5248 x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 x5274 -x5275 -x5276 x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 -x5340 -x5341 x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 x5354 -x5355 x5356 x5357 -x5358 x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 -x5371 x5372 x5373 -x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5391 x5392 x5393 x5394 x5395 x5396 -x5397 -x5398 x5399 x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 x5407 x5408 -x5409 -x5410 x5411 -x5412 -x5413 -x5414 x5415 -x5416 x5417 -x5418 x5419 x5420 -x5421 -x5422 -x5423 -x5424 -x5425 x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 x5434 -x5435 x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 x5445 -x5446 -x5447 -x5448 x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5463 x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 x5565 x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 -x5599 -x5600 -x5601 -x5602 -x5603 x5604 -x5605 -x5606 -x5607 x5608 x5609 -x5610 x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 x5621 -x5622 x5623 -x5624 x5625 -x5626 -x5627 x5628 x5629 -x5630 -x5631 -x5632 x5633 x5634 -x5635 x5636 -x5637 -x5638 -x5639 x5640 -x5641 x5642 -x5643 -x5644 x5645 x5646 -x5647 -x5648 x5649 x5650 -x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 x5710 x5711 x5712 x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 x5733 x5734 x5735 x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 x5754 -x5755 -x5756 -x5757 -x5758 x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 x5827 x5828 -x5829 -x5830 x5831 -x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868

Verifier Data 

OK	5121

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3467745-1307425656/watcher-3467745-1307425656 -o /tmp/evaluation-result-3467745-1307425656/solver-3467745-1307425656 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467745-1307425656.opb --verbosity=0 --format=opb 

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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.04 2.01 2/527 9971
/proc/meminfo: memFree=23528240/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=8364 CPUtime=0 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 652 0 0 0 0 0 0 0 25 0 1 0 932796296 8564736 579 33554432000 4194304 6736272 140735819667936 18446744073709551615 5817998 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 2091 579 248 621 0 1461 0

[startup+0.0322949 s]
/proc/loadavg: 2.07 2.04 2.01 2/527 9971
/proc/meminfo: memFree=23528240/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=10212 CPUtime=0.03 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 1092 0 0 0 3 0 0 0 25 0 1 0 932796296 10457088 1019 33554432000 4194304 6736272 140735819667936 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 2553 1020 248 621 0 1923 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10212

[startup+0.100296 s]
/proc/loadavg: 2.07 2.04 2.01 2/527 9971
/proc/meminfo: memFree=23528240/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=15436 CPUtime=0.09 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 2389 0 0 0 9 0 0 0 25 0 1 0 932796296 15806464 2316 33554432000 4194304 6736272 140735819667936 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 3859 2317 248 621 0 3229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15436

[startup+0.300261 s]
/proc/loadavg: 2.07 2.04 2.01 2/527 9971
/proc/meminfo: memFree=23528240/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=32788 CPUtime=0.29 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 6860 0 0 0 29 0 0 0 25 0 1 0 932796296 33574912 6645 33554432000 4194304 6736272 140735819667936 18446744073709551615 5809611 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 8197 6646 265 621 0 7567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32788

[startup+0.700218 s]
/proc/loadavg: 2.07 2.04 2.01 2/527 9971
/proc/meminfo: memFree=23528240/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=77644 CPUtime=0.69 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 18110 0 0 0 68 1 0 0 25 0 1 0 932796296 79507456 17829 33554432000 4194304 6736272 140735819667936 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 19411 17830 266 621 0 18781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77644

[startup+1.50108 s]
/proc/loadavg: 2.07 2.04 2.01 3/528 9972
/proc/meminfo: memFree=23452096/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=82652 CPUtime=1.49 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 19367 0 0 0 147 2 0 0 25 0 1 0 932796296 84635648 19085 33554432000 4194304 6736272 140735819667936 18446744073709551615 4505592 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 20663 19085 284 621 0 20033 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82652

[startup+3.1008 s]
/proc/loadavg: 2.07 2.04 2.01 3/528 9972
/proc/meminfo: memFree=23451104/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=78300 CPUtime=3.09 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 19392 0 0 0 307 2 0 0 25 0 1 0 932796296 80179200 19103 33554432000 4194304 6736272 140735819667936 18446744073709551615 5811961 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 19575 19103 286 621 0 18945 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78300

[startup+6.30022 s]
/proc/loadavg: 2.07 2.04 2.01 3/528 9972
/proc/meminfo: memFree=23450544/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=78300 CPUtime=6.29 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 19393 0 0 0 627 2 0 0 25 0 1 0 932796296 80179200 19104 33554432000 4194304 6736272 140735819667936 18446744073709551615 4505416 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 19575 19104 286 621 0 18945 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78300

[startup+12.7011 s]
/proc/loadavg: 2.13 2.05 2.01 3/528 9972
/proc/meminfo: memFree=23450440/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=78716 CPUtime=12.69 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 19439 0 0 0 1267 2 0 0 25 0 1 0 932796296 80605184 19149 33554432000 4194304 6736272 140735819667936 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 19679 19149 286 621 0 19049 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78716

[startup+25.5008 s]
/proc/loadavg: 2.11 2.05 2.01 3/528 9972
/proc/meminfo: memFree=23449068/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=80124 CPUtime=25.49 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 19768 0 0 0 2547 2 0 0 25 0 1 0 932796296 82046976 19478 33554432000 4194304 6736272 140735819667936 18446744073709551615 4750614 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 20031 19478 286 621 0 19401 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80124

[startup+51.1004 s]
/proc/loadavg: 2.07 2.05 2.01 3/528 9973
/proc/meminfo: memFree=23447728/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=81392 CPUtime=51.09 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 20108 0 0 0 5107 2 0 0 25 0 1 0 932796296 83345408 19816 33554432000 4194304 6736272 140735819667936 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 20348 19816 286 621 0 19718 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81392

[startup+102.319 s]
/proc/loadavg: 2.03 2.04 2.00 3/528 9974
/proc/meminfo: memFree=23442360/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=102.31 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21002 0 0 0 10229 2 0 0 25 0 1 0 932796296 89911296 20707 33554432000 4194304 6736272 140735819667936 18446744073709551615 4753908 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 20707 286 621 0 21321 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 87804

[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 9976
/proc/meminfo: memFree=23441188/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=162.29 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21339 0 0 0 16227 2 0 0 25 0 1 0 932796296 89911296 21043 33554432000 4194304 6736272 140735819667936 18446744073709551615 4750623 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21043 287 621 0 21321 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 87804

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 9978
/proc/meminfo: memFree=23442280/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=222.29 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21339 0 0 0 22227 2 0 0 25 0 1 0 932796296 89911296 21043 33554432000 4194304 6736272 140735819667936 18446744073709551615 5148128 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21043 287 621 0 21321 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 87804

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 9979
/proc/meminfo: memFree=23442476/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=282.3 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21346 0 0 0 28227 3 0 0 25 0 1 0 932796296 89911296 21050 33554432000 4194304 6736272 140735819667936 18446744073709551615 5792705 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21050 287 621 0 21321 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 87804

[startup+342.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/528 10009
/proc/meminfo: memFree=24583844/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=342.3 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21347 0 0 0 34227 3 0 0 25 0 1 0 932796296 89911296 21051 33554432000 4194304 6736272 140735819667936 18446744073709551615 4730141 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21051 287 621 0 21321 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 87804

[startup+402.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/528 10010
/proc/meminfo: memFree=24577772/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=402.3 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21347 0 0 0 40227 3 0 0 25 0 1 0 932796296 89911296 21051 33554432000 4194304 6736272 140735819667936 18446744073709551615 5146800 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21051 287 621 0 21321 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 87804

[startup+462.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/528 10012
/proc/meminfo: memFree=24575776/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=462.3 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21347 0 0 0 46227 3 0 0 25 0 1 0 932796296 89911296 21051 33554432000 4194304 6736272 140735819667936 18446744073709551615 5818046 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21051 287 621 0 21321 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 87804

[startup+522.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 10014
/proc/meminfo: memFree=24575884/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=522.3 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21347 0 0 0 52227 3 0 0 25 0 1 0 932796296 89911296 21051 33554432000 4194304 6736272 140735819667936 18446744073709551615 4734706 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21051 287 621 0 21321 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 87804

[startup+582.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/528 10015
/proc/meminfo: memFree=24576352/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=582.31 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21347 0 0 0 58228 3 0 0 25 0 1 0 932796296 89911296 21051 33554432000 4194304 6736272 140735819667936 18446744073709551615 5148097 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21051 287 621 0 21321 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 87804


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

[startup+822.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 10031
/proc/meminfo: memFree=24576048/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=822.31 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21347 0 0 0 82228 3 0 0 25 0 1 0 932796296 89911296 21051 33554432000 4194304 6736272 140735819667936 18446744073709551615 4535214 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21051 287 621 0 21321 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 87804

[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 10032
/proc/meminfo: memFree=24572744/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=882.31 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21347 0 0 0 88228 3 0 0 25 0 1 0 932796296 89911296 21051 33554432000 4194304 6736272 140735819667936 18446744073709551615 5142548 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21051 287 621 0 21321 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 87804

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 10034
/proc/meminfo: memFree=24572484/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=942.31 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21347 0 0 0 94228 3 0 0 25 0 1 0 932796296 89911296 21051 33554432000 4194304 6736272 140735819667936 18446744073709551615 5148069 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21051 287 621 0 21321 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 87804

[startup+1002.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/528 10035
/proc/meminfo: memFree=24572584/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=1002.31 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21347 0 0 0 100228 3 0 0 25 0 1 0 932796296 89911296 21051 33554432000 4194304 6736272 140735819667936 18446744073709551615 5816773 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21051 287 621 0 21321 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 87804

[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 10037
/proc/meminfo: memFree=24573316/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87804 CPUtime=1062.31 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 21352 0 0 0 106228 3 0 0 25 0 1 0 932796296 89911296 21056 33554432000 4194304 6736272 140735819667936 18446744073709551615 5803283 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21951 21056 287 621 0 21321 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 87804

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/528 10039
/proc/meminfo: memFree=24571940/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1122.31 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 112228 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 87844

[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/528 10040
/proc/meminfo: memFree=24572048/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1182.31 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 118228 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 5818066 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 87844

[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/528 10042
/proc/meminfo: memFree=24570660/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1242.32 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 124229 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 4640348 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 87844

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 10043
/proc/meminfo: memFree=24571380/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1302.33 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 130230 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 5818587 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 87844

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 10045
/proc/meminfo: memFree=24571584/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1362.32 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 136229 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 5149361 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 87844

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 10047
/proc/meminfo: memFree=24571700/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1422.34 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 142231 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 5811878 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 87844

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 10048
/proc/meminfo: memFree=24571180/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1482.32 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 148229 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 5806341 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 87844

[startup+1542.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/528 10050
/proc/meminfo: memFree=24570916/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1542.32 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 154229 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 5806622 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 87844

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/528 10051
/proc/meminfo: memFree=24570148/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1602.32 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 160229 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 4734284 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 87844

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 10053
/proc/meminfo: memFree=24571600/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1662.32 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 166229 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 5149345 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 87844

[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/528 10055
/proc/meminfo: memFree=24571824/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1722.33 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 172230 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 4640333 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 87844

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/528 10056
/proc/meminfo: memFree=24570656/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1782.33 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 178230 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 4733306 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 87844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.05 2.01 3/528 10057
/proc/meminfo: memFree=24570396/32951124 swapFree=56241860/67111528
[pid=9971] ppid=9969 vsize=87844 CPUtime=1800.04 cores=0,2,4,6
/proc/9971/stat : 9971 (minisatid-gmp) R 9969 9971 9203 0 -1 4202496 25071 0 0 0 180001 3 0 0 25 0 1 0 932796296 89952256 21490 33554432000 4194304 6736272 140735819667936 18446744073709551615 5817936 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9971/statm: 21961 21490 287 621 0 21331 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 87844

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

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

Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1800.02
CPU system time (s): 0.042993
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 87844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 2765

runsolver used 10.1645 second user time and 21.0518 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-07 07:47:36
IDJOB=3467745
IDBENCH=72101
IDSOLVER=1957
FILE ID=node119/3467745-1307425656
RUNJOBID= node119-1307415158-9221
PBS_JOBID= 13514211
Free space on /tmp= 73768 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4b919e.cudf.paranoid.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467745-1307425656/watcher-3467745-1307425656 -o /tmp/evaluation-result-3467745-1307425656/solver-3467745-1307425656 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467745-1307425656.opb --verbosity=0 --format=opb 

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

MD5SUM BENCH= 1291befe507875936d488bb8750ed287
RANDOM SEED=1636968938

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23528396 kB
Buffers:        281560 kB
Cached:         747152 kB
SwapCached:      59108 kB
Active:        2055308 kB
Inactive:      7066396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23528396 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:            3800 kB
Writeback:           4 kB
AnonPages:     8036712 kB
Mapped:          34548 kB
Slab:           151024 kB
PageTables:      81932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 165089448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73784 MiB
End job on node119 at 2011-06-07 08:17:38