Trace number 351360

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, and are wall clock time (not CPU 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
PB-clasp 2007-04-10SAT (TO)6281 1802.76 1825.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb
MD5SUM51e821dd343df6d9e97b4cdfcd83ec3f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1496
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1496
Optimality of the best value was proved NO
Number of variables1996
Total number of constraints134
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1527
Biggest coefficient in the objective function 22700
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525423
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525423
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 (download as text)

0.11/0.23	o 36590
0.22/0.37	o 36588
0.35/0.51	o 36583
0.48/0.64	o 36580
0.63/0.78	o 36578
0.77/0.92	o 36575
0.95/1.06	o 36572
1.03/1.20	o 36570
1.16/1.34	o 36567
1.32/1.48	o 36564
1.45/1.62	o 36562
1.59/1.76	o 36559
1.71/1.90	o 36556
1.86/2.04	o 34659
2.02/2.18	o 34656
2.12/2.32	o 34654
2.26/2.46	o 34651
2.40/2.60	o 34648
2.55/2.74	o 34646
2.68/2.94	o 34643
2.81/3.08	o 34640
3.04/3.22	o 34638
3.10/3.36	o 34635
3.23/3.51	o 34632
3.37/3.65	o 33697
3.50/3.78	o 33694
3.65/3.92	o 33692
3.78/4.06	o 33689
3.91/4.20	o 33686
4.12/4.34	o 33684
4.19/4.53	o 33681
4.33/4.67	o 33678
4.47/4.81	o 33676
4.60/4.95	o 33673
4.73/5.08	o 33670
4.87/5.22	o 33216
5.00/5.36	o 33213
5.24/5.50	o 33211
5.27/5.64	o 33208
5.41/5.78	o 33205
5.55/5.95	o 33203
5.69/6.09	o 33200
5.82/6.27	o 33197
5.96/6.46	o 33195
6.12/6.60	o 33192
6.23/6.74	o 33189
6.37/6.87	o 32976
6.50/7.02	o 32973
6.65/7.15	o 32971
6.79/7.29	o 32968
6.92/7.43	o 32965
7.06/7.57	o 32963
7.31/7.71	o 32960
7.33/7.85	o 32957
7.46/7.99	o 32955
7.60/8.12	o 32952
7.74/8.26	o 32949
7.88/8.40	o 32917
8.02/8.54	o 32912
8.15/8.68	o 32909
8.28/8.86	o 32906
8.42/8.99	o 32898
8.57/9.13	o 32895
8.71/9.27	o 32892
8.84/9.41	o 32891
8.97/9.55	o 32890
9.11/9.69	o 32887
9.34/9.83	o 32884
9.38/9.97	o 32883
9.51/10.11	o 32882
9.66/10.24	o 32879
9.80/10.39	o 32876
9.93/10.53	o 32875
10.07/10.67	o 32874
10.21/10.81	o 32871
10.41/10.96	o 32861
10.49/11.10	o 32851
10.64/11.23	o 32846
10.76/11.37	o 32843
10.90/11.51	o 32841
11.03/11.65	o 32838
11.17/11.79	o 32835
11.31/11.92	o 32791
11.49/12.06	o 32788
11.58/12.20	o 32785
11.71/12.34	o 32782
11.85/12.48	o 32778
11.98/12.62	o 32777
12.11/12.76	o 32774
12.25/12.90	o 32771
12.39/13.04	o 32770
12.57/13.18	o 32769
12.67/13.31	o 32766
12.79/13.47	o 32763
12.93/13.66	o 32762
13.06/13.80	o 32761
13.20/13.94	o 32758
13.34/14.08	o 32740
13.58/14.22	o 32730
13.61/14.36	o 32725
13.75/14.53	o 32722
13.90/14.67	o 32720
14.04/14.86	o 32717
14.16/15.05	o 32714
14.29/15.19	o 31768
14.53/15.32	o 31765
14.59/15.46	o 31762
14.72/15.60	o 31760
14.85/15.74	o 31757
14.99/15.88	o 31754
15.12/16.02	o 31752
15.26/16.16	o 31749
15.40/16.30	o 31746
15.61/16.44	o 31292
15.69/16.66	o 31289
15.82/16.80	o 31287
15.95/16.96	o 31284
16.08/17.10	o 31281
16.23/17.23	o 31279
16.36/17.37	o 31276
16.59/17.51	o 31273
16.63/17.65	o 31271
16.77/17.79	o 31268
16.90/17.93	o 31265
17.06/18.07	o 31052
17.20/18.26	o 31049
17.33/18.40	o 31047
17.47/18.54	o 31044
17.64/18.68	o 31041
17.74/18.82	o 31039
17.88/18.96	o 31036
18.01/19.10	o 31033
18.15/19.24	o 31031
18.29/19.38	o 31028
18.44/19.52	o 31025
18.58/19.66	o 30993
18.73/19.80	o 30988
18.84/19.94	o 30985
18.98/20.08	o 30982
19.12/20.22	o 30974
19.26/20.35	o 30971
19.40/20.49	o 30968
19.53/20.63	o 30967
19.68/20.78	o 30966
19.91/20.92	o 30963
19.94/21.06	o 30960
20.09/21.26	o 30959
20.22/21.46	o 30958
20.35/21.61	o 30955
20.49/21.75	o 30952
20.63/21.89	o 30951
20.77/22.03	o 30950
20.90/22.17	o 30947
21.05/22.31	o 30937
21.19/22.45	o 30927
21.31/22.59	o 30922
21.46/22.73	o 30919
21.60/22.87	o 30917
21.84/23.01	o 30914
21.88/23.15	o 30911
22.01/23.29	o 30867
22.15/23.43	o 30864
22.27/23.57	o 30861
22.42/23.71	o 30858
22.57/23.85	o 30854
22.70/24.06	o 30853
22.85/24.20	o 30850
22.97/24.36	o 30847
23.23/24.50	o 30846
23.24/24.64	o 30845
23.38/24.78	o 30842
23.53/24.92	o 30839
23.66/25.06	o 30838
23.81/25.20	o 30837
23.94/25.34	o 30834
24.07/25.48	o 30816
24.22/25.62	o 30806
24.35/25.76	o 30801
24.49/25.96	o 30798
24.63/26.10	o 30796
24.77/26.24	o 30793
24.94/26.38	o 30790
25.04/26.52	o 30325
25.17/26.66	o 30322
25.32/26.79	o 30319
25.46/26.93	o 30317
25.60/27.07	o 30314
25.73/27.21	o 30311
25.86/27.34	o 30309
26.01/27.48	o 30306
26.13/27.62	o 30303
26.27/27.76	o 30090
26.40/27.89	o 30087
26.53/28.03	o 30085
26.66/28.17	o 30082
26.80/28.31	o 30079
26.95/28.45	o 30077
27.11/28.59	o 30074
27.21/28.72	o 30071
27.36/28.86	o 30069
27.50/29.00	o 30066
27.62/29.14	o 30063
27.76/29.28	o 30031
27.90/29.42	o 30026
28.04/29.56	o 30023
28.19/29.69	o 30020
28.30/29.83	o 30012
28.45/29.97	o 30009
28.59/30.18	o 30006
28.72/30.32	o 30005
28.85/30.47	o 30004
28.99/30.61	o 30001
29.19/30.75	o 29998
29.26/30.89	o 29997
29.39/31.03	o 29996
29.53/31.16	o 29993
29.67/31.31	o 29990
29.80/31.45	o 29989
29.94/31.66	o 29988
30.08/31.80	o 29985
30.22/31.94	o 29975
30.36/32.08	o 29965
30.49/32.22	o 29960
30.62/32.36	o 29957
30.89/32.50	o 29955
30.91/32.64	o 29952
31.04/32.78	o 29949
31.28/32.91	o 29905
31.31/33.06	o 29902
31.45/33.19	o 29899
31.59/33.33	o 29896
31.72/33.47	o 29892
31.86/33.61	o 29891
32.00/33.75	o 29888
32.13/33.89	o 29885
32.32/34.07	o 29884
32.42/34.20	o 29883
32.55/34.34	o 29880
32.69/34.48	o 29877
32.82/34.62	o 29876
32.95/34.76	o 29875
33.09/34.89	o 29872
33.22/35.03	o 29854
33.40/35.17	o 29844
33.51/35.31	o 29839
33.64/35.45	o 29836
33.78/35.59	o 29834
33.91/35.73	o 29831
34.05/35.87	o 29828
34.18/36.01	o 29604
34.31/36.14	o 29601
34.47/36.28	o 29598
34.58/36.42	o 29596
34.72/36.56	o 29593
34.86/36.70	o 29590
34.99/36.84	o 29588
35.13/36.98	o 29585
35.28/37.12	o 29582
35.41/37.26	o 29550
35.56/37.40	o 29545
35.68/37.54	o 29542
35.82/37.68	o 29539
35.97/37.82	o 29531
36.10/37.95	o 29528
36.23/38.13	o 29525
36.37/38.27	o 29524
36.61/38.41	o 29523
36.64/38.55	o 29520
36.78/38.76	o 29517
36.92/38.90	o 29516
37.06/39.04	o 29515
37.19/39.18	o 29512
37.33/39.32	o 29509
37.47/39.46	o 29508
37.71/39.60	o 29507
37.74/39.76	o 29504
37.90/39.90	o 29494
38.03/40.04	o 29484
38.16/40.18	o 29479
38.31/40.36	o 29476
38.58/40.50	o 29474
38.67/40.64	o 29471
38.72/40.78	o 29468
38.85/40.92	o 29424
38.99/41.06	o 29421
39.14/41.20	o 29418
39.28/41.34	o 29415
39.41/41.48	o 29411
39.53/41.62	o 29410
39.74/41.75	o 29407
39.82/41.89	o 29404
39.95/42.03	o 29403
40.08/42.17	o 29402
40.21/42.31	o 29399
40.36/42.45	o 29396
40.50/42.59	o 29395
40.63/42.73	o 29394
40.82/42.87	o 29391
40.90/43.01	o 29374
41.05/43.15	o 29364
41.20/43.29	o 29359
41.33/43.44	o 29356
41.47/43.58	o 29354
41.60/43.72	o 29351
41.75/43.86	o 29348
41.90/44.00	o 29305
42.01/44.14	o 29302
42.16/44.27	o 29299
42.29/44.41	o 29296
42.44/44.55	o 29292
42.57/44.73	o 29291
42.71/44.87	o 29288
42.96/45.01	o 29285
42.99/45.15	o 29284
43.13/45.29	o 29283
43.27/45.43	o 29280
43.40/45.57	o 29277
43.55/45.71	o 29276
43.68/45.85	o 29275
43.82/45.99	o 29272
44.05/46.13	o 29254
44.10/46.27	o 29244
44.24/46.41	o 29239
44.37/46.55	o 29236
44.52/46.69	o 29234
44.65/46.83	o 29231
44.78/46.96	o 29228
44.92/47.10	o 29184
45.12/47.24	o 29181
45.19/47.38	o 29178
45.32/47.52	o 29175
45.45/47.66	o 29171
45.60/47.84	o 29170
45.73/47.98	o 29167
45.86/48.12	o 29164
45.99/48.26	o 29163
46.13/48.46	o 29162
46.27/48.60	o 29159
46.42/48.74	o 29156
46.55/48.88	o 29155
46.69/49.01	o 29154
46.82/49.15	o 29151
46.95/49.29	o 29148
47.18/49.46	o 29147
47.24/49.60	o 29146
47.38/49.74	o 29143
47.52/49.88	o 29135
47.65/50.05	o 29121
47.78/50.18	o 29120
47.92/50.32	o 29117
48.07/50.46	o 29115
48.19/50.66	o 29112
48.33/50.79	o 29109
48.47/50.93	o 29108
48.60/51.07	o 29105
48.73/51.21	o 29104
48.87/51.35	o 29103
49.00/51.49	o 29100
49.25/51.63	o 29097
49.29/51.77	o 29096
49.43/51.91	o 29095
49.56/52.05	o 29092
49.70/52.26	o 29089
49.83/52.40	o 29088
49.99/52.54	o 29087
50.12/52.68	o 29084
50.35/52.83	o 29081
50.40/52.97	o 29079
50.55/53.12	o 29078
50.69/53.29	o 29076
50.82/53.43	o 29073
50.96/53.58	o 29070
51.09/53.72	o 29068
51.31/53.86	o 29065
51.39/54.03	o 28892
51.53/54.23	o 28882
51.66/54.37	o 28872
51.81/54.51	o 28869
51.94/54.65	o 28866
52.08/54.79	o 28396
52.31/54.93	o 28395
52.35/55.07	o 28393
52.48/55.25	o 28390
52.63/55.39	o 28387
52.76/55.53	o 28385
52.89/55.67	o 28382
53.03/55.86	o 28379
53.18/56.00	o 28166
53.31/56.14	o 28163
53.44/56.28	o 28161
53.58/56.41	o 28158
53.71/56.55	o 28155
53.84/56.69	o 28153
53.99/56.83	o 28150
54.12/56.97	o 28147
54.36/57.11	o 28145
54.41/57.25	o 28142
54.54/57.39	o 28139
54.67/57.56	o 28107
54.81/57.70	o 28102
54.95/57.83	o 28099
55.08/57.97	o 28096
55.22/58.11	o 28088
55.41/58.25	o 28085
55.49/58.39	o 28082
55.63/58.53	o 28081
55.76/58.67	o 28080
55.92/58.81	o 28077
56.05/58.95	o 28074
56.19/59.09	o 28073
56.33/59.23	o 28072
56.50/59.37	o 28069
56.60/59.56	o 28066
56.75/59.70	o 28065
56.89/59.84	o 28064
57.02/59.98	o 28061
57.17/60.12	o 28051
57.30/60.26	o 28041
57.55/60.40	o 28036
57.57/60.56	o 28033
57.72/60.70	o 28031
57.85/60.84	o 28028
57.99/60.98	o 28025
58.12/61.12	o 27981
58.27/61.26	o 27978
58.41/61.40	o 27975
58.62/61.54	o 27972
58.68/61.68	o 27968
58.81/61.82	o 27967
58.95/61.96	o 27964
59.09/62.10	o 27961
59.23/62.24	o 27960
59.36/62.39	o 27959
59.49/62.53	o 27956
59.69/62.67	o 27953
59.78/62.81	o 27952
59.92/62.95	o 27951
60.05/63.09	o 27948
60.18/63.26	o 27930
60.34/63.40	o 27920
60.48/63.54	o 27915
60.61/63.68	o 27912
60.85/63.82	o 27910
60.89/63.96	o 27907
61.02/64.10	o 27904
61.17/64.24	o 27680
61.30/64.38	o 27677
61.44/64.52	o 27674
61.57/64.66	o 27672
61.70/64.80	o 27669
61.84/64.94	o 27666
61.97/65.08	o 27664
62.11/65.23	o 27661
62.26/65.37	o 27658
62.40/65.56	o 27626
62.54/65.76	o 27621
62.67/65.89	o 27618
62.80/66.03	o 27615
62.95/66.17	o 27607
63.09/66.31	o 27604
63.22/66.45	o 27601
63.36/66.59	o 27600
63.50/66.72	o 27599
63.63/66.86	o 27596
63.89/67.00	o 27593
63.91/67.14	o 27592
64.04/67.28	o 27591
64.18/67.42	o 27588
64.31/67.56	o 27585
64.45/67.76	o 27584
64.59/67.90	o 27583
64.72/68.04	o 27580
64.90/68.19	o 27570
65.01/68.33	o 27560
65.15/68.47	o 27555
65.28/68.61	o 27552
65.41/68.74	o 27550
65.55/68.88	o 27547
65.69/69.02	o 27544
65.84/69.16	o 27500
65.99/69.30	o 27497
66.09/69.46	o 27494
66.24/69.60	o 27491
66.37/69.74	o 27487
66.51/69.87	o 27486
66.64/70.01	o 27483
66.78/70.15	o 27480
66.92/70.29	o 27479
67.06/70.43	o 27478
67.18/70.57	o 27475
67.32/70.71	o 27472
67.46/70.85	o 27471
67.60/70.99	o 27470
67.72/71.12	o 27467
67.86/71.26	o 27450
68.13/71.40	o 27440
68.15/71.54	o 27435
68.28/71.68	o 27432
68.42/71.83	o 27430
68.55/71.98	o 27427
68.68/72.12	o 27424
68.81/72.28	o 27381
68.94/72.42	o 27378
69.14/72.56	o 27375
69.21/72.76	o 27372
69.36/72.89	o 27368
69.49/73.03	o 27367
69.63/73.17	o 27364
69.75/73.31	o 27361
69.92/73.46	o 27360
70.05/73.60	o 27359
70.17/73.74	o 27356
70.31/73.88	o 27353
70.46/74.06	o 27352
70.59/74.20	o 27351
70.74/74.33	o 27348
70.87/74.47	o 27330
71.02/74.65	o 27320
71.18/74.79	o 27315
71.28/74.92	o 27312
71.41/75.06	o 27310
71.55/75.20	o 27307
71.69/75.34	o 27304
71.82/75.47	o 27260
71.96/75.61	o 27257
72.11/75.75	o 27254
72.25/75.89	o 27251
72.38/76.03	o 27247
72.50/76.17	o 27246
72.64/76.31	o 27243
72.78/76.46	o 27240
72.93/76.60	o 27239
73.06/76.74	o 27238
73.19/76.88	o 27235
73.42/77.02	o 27232
73.46/77.16	o 27231
73.60/77.30	o 27230
73.74/77.44	o 27227
73.88/77.58	o 27224
74.01/77.76	o 27223
74.15/77.90	o 27222
74.37/78.04	o 27219
74.43/78.18	o 27211
74.56/78.32	o 27197
74.71/78.46	o 27196
74.85/78.60	o 27193
74.99/78.74	o 27191
75.12/78.88	o 27188
75.26/79.02	o 27185
75.42/79.18	o 27184
75.52/79.32	o 27181
75.68/79.46	o 27180
75.81/79.60	o 27179
75.95/79.74	o 27176
76.08/79.88	o 27173
76.23/80.03	o 27172
76.37/80.17	o 27171
76.50/80.36	o 27168
76.65/80.50	o 27165
76.79/80.64	o 27164
76.93/80.78	o 27163
77.06/80.92	o 27160
77.21/81.07	o 27157
77.34/81.21	o 27155
77.54/81.36	o 27154
77.63/81.55	o 27152
77.76/81.69	o 27149
77.90/81.83	o 27146
78.04/81.98	o 27144
78.18/82.12	o 27141
78.33/82.27	o 26968
78.53/82.45	o 26958
78.61/82.59	o 26948
78.75/82.74	o 26945
78.88/82.88	o 26942
79.01/83.02	o 26713
79.15/83.15	o 26712
79.29/83.29	o 26710
79.42/83.43	o 26707
79.61/83.56	o 26704
79.69/83.70	o 26702
79.82/83.84	o 26699
79.97/83.98	o 26696
80.11/84.12	o 26664
80.24/84.26	o 26659
80.38/84.46	o 26656
80.51/84.60	o 26653
80.64/84.74	o 26645
80.79/84.88	o 26642
80.91/85.02	o 26639
81.06/85.16	o 26638
81.19/85.30	o 26637
81.33/85.44	o 26634
81.47/85.58	o 26631
81.66/85.76	o 26630
81.73/85.90	o 26629
81.87/86.03	o 26626
82.01/86.17	o 26623
82.14/86.32	o 26622
82.29/86.46	o 26621
82.42/86.60	o 26618
82.57/86.74	o 26608
82.74/86.88	o 26598
82.84/87.03	o 26593
82.97/87.17	o 26590
83.12/87.31	o 26588
83.25/87.45	o 26585
83.38/87.59	o 26582
83.51/87.73	o 26538
83.66/87.86	o 26535
83.90/88.00	o 26532
83.92/88.14	o 26529
84.07/88.28	o 26525
84.20/88.42	o 26524
84.34/88.57	o 26521
84.47/88.73	o 26518
84.61/88.87	o 26517
84.86/89.01	o 26516
84.89/89.15	o 26513
85.03/89.29	o 26510
85.16/89.43	o 26509
85.30/89.57	o 26508
85.45/89.71	o 26505
85.57/89.86	o 26488
85.70/90.00	o 26478
85.91/90.14	o 26473
85.97/90.28	o 26470
86.11/90.46	o 26468
86.25/90.60	o 26465
86.38/90.74	o 26462
86.51/90.88	o 26419
86.66/91.02	o 26416
86.78/91.15	o 26413
86.94/91.29	o 26410
87.05/91.43	o 26406
87.19/91.57	o 26405
87.33/91.71	o 26402
87.47/91.85	o 26399
87.60/91.98	o 26398
87.73/92.12	o 26397
87.88/92.26	o 26394
88.12/92.40	o 26391
88.14/92.54	o 26390
88.28/92.68	o 26389
88.42/92.89	o 26386
88.56/93.03	o 26368
88.69/93.17	o 26358
88.83/93.31	o 26353
89.05/93.45	o 26350
89.10/93.59	o 26348
89.24/93.73	o 26345
89.38/93.86	o 26342
89.51/94.00	o 26298
89.64/94.14	o 26295
89.80/94.28	o 26292
89.93/94.45	o 26289
90.08/94.59	o 26285
90.19/94.73	o 26284
90.32/94.87	o 26281
90.45/95.06	o 26278
90.60/95.19	o 26277
90.74/95.33	o 26276
90.88/95.48	o 26273
91.06/95.66	o 26270
91.14/95.80	o 26269
91.28/95.94	o 26268
91.41/96.08	o 26265
91.55/96.22	o 26262
91.69/96.36	o 26261
91.84/96.50	o 26260
91.97/96.64	o 26257
92.15/96.79	o 26249
92.26/96.93	o 26235
92.39/97.07	o 26234
92.53/97.21	o 26231
92.67/97.35	o 26229
92.81/97.48	o 26226
92.95/97.62	o 26223
93.08/97.76	o 26222
93.27/97.95	o 26219
93.35/98.09	o 26218
93.49/98.23	o 26217
93.63/98.37	o 26214
93.77/98.51	o 26211
93.91/98.65	o 26210
94.04/98.79	o 26209
94.27/98.93	o 26206
94.32/99.06	o 26203
94.45/99.20	o 26202
94.59/99.34	o 26201
94.74/99.49	o 26198
94.87/99.63	o 26195
95.01/99.78	o 26193
95.16/99.95	o 26192
95.31/100.09	o 26190
95.43/100.23	o 26187
95.57/100.38	o 26184
95.70/100.52	o 26182
95.85/100.66	o 26179
95.99/100.81	o 26128
96.15/100.95	o 26118
96.28/101.09	o 26115
96.42/101.23	o 26094
96.55/101.37	o 26084
96.70/101.54	o 26082
96.82/101.69	o 26080
96.96/101.83	o 26079
97.10/101.97	o 26077
97.23/102.11	o 26076
97.45/102.25	o 26074
97.52/102.39	o 26071
97.67/102.52	o 26069
97.79/102.67	o 26068
97.93/102.81	o 26066
98.07/102.95	o 26003
98.21/103.09	o 25998
98.34/103.23	o 25988
98.51/103.37	o 25985
98.61/103.51	o 25982
98.76/103.66	o 25872
98.90/103.80	o 25871
99.03/103.94	o 25869
99.17/104.08	o 25866
99.31/104.22	o 25863
99.44/104.36	o 25822
99.60/104.50	o 25817
99.73/104.63	o 25814
99.86/104.77	o 25811
99.99/104.91	o 25808
100.14/105.05	o 25804
100.27/105.19	o 25803
100.42/105.33	o 25800
100.55/105.47	o 25797
100.79/105.61	o 25796
100.82/105.75	o 25795
100.96/105.89	o 25792
101.10/106.02	o 25789
101.24/106.15	o 25788
101.36/106.29	o 25787
101.49/106.43	o 25784
101.63/106.57	o 25781
101.87/106.71	o 25780
101.90/106.85	o 25779
102.04/106.99	o 25776
102.19/107.13	o 25768
102.33/107.27	o 25754
102.47/107.41	o 25753
102.60/107.55	o 25750
102.74/107.69	o 25748
102.87/107.83	o 25745
103.00/107.97	o 25742
103.16/108.11	o 25741
103.30/108.25	o 25738
103.44/108.39	o 25737
103.57/108.52	o 25736
103.69/108.70	o 25733
103.92/108.84	o 25730
103.97/108.98	o 25729
104.10/109.12	o 25728
104.24/109.26	o 25725
104.52/109.40	o 25722
104.52/109.54	o 25721
104.66/109.68	o 25720
104.80/109.82	o 25717
104.98/109.96	o 25714
105.09/110.11	o 25712
105.22/110.25	o 25711
105.36/110.39	o 25709
105.49/110.53	o 25706
105.63/110.68	o 25703
105.78/110.82	o 25701
105.91/110.96	o 25698
106.18/111.11	o 25679
106.20/111.25	o 25669
106.34/111.39	o 25664
106.48/111.53	o 25661
106.61/111.67	o 25658
106.74/111.81	o 25655
106.89/111.96	o 25652
107.03/112.10	o 25651
107.17/112.24	o 25649
107.32/112.38	o 25648
107.45/112.52	o 25646
107.60/112.66	o 25643
107.73/112.81	o 25640
107.87/112.95	o 25638
108.01/113.09	o 25637
108.25/113.24	o 25635
108.30/113.39	o 25634
108.44/113.53	o 25633
108.58/113.68	o 25632
108.72/113.82	o 25629
108.87/113.97	o 25628
109.02/114.11	o 25627
109.16/114.25	o 25624
109.36/114.45	o 25621
109.43/114.58	o 25619
109.58/114.73	o 25618
109.73/114.88	o 25617
109.87/115.05	o 25614
110.00/115.20	o 25612
110.14/115.34	o 25611
110.31/115.48	o 25610
110.43/115.63	o 25609
110.56/115.77	o 25606
110.72/115.92	o 25603
110.85/116.07	o 25602
111.00/116.22	o 25601
111.15/116.40	o 25598
111.35/116.54	o 25595
111.41/116.69	o 25592
111.56/116.83	o 25590
111.71/116.97	o 25588
111.84/117.12	o 25585
111.98/117.27	o 25584
112.13/117.41	o 25582
112.28/117.56	o 25581
112.44/117.70	o 25580
112.55/117.84	o 25577
112.69/117.99	o 25576
112.83/118.14	o 25575
112.98/118.29	o 25573
113.14/118.44	o 25570
113.28/118.59	o 25568
113.51/118.74	o 25567
113.58/118.90	o 25565
113.73/119.06	o 25562
113.86/119.21	o 25560
114.02/119.36	o 25559
114.16/119.51	o 25557
114.31/119.67	o 25556
114.57/119.83	o 25554
114.62/119.99	o 25551
114.78/120.14	o 25549
114.94/120.31	o 25548
115.11/120.49	o 25546
115.26/120.65	o 25544
115.42/120.81	o 25543
115.64/120.98	o 25541
115.75/121.14	o 25525
115.90/121.29	o 25515
116.04/121.43	o 25510
116.18/121.58	o 25509
116.33/121.72	o 25506
116.47/121.87	o 25504
116.72/122.01	o 25503
116.75/122.16	o 25483
116.89/122.30	o 25396
117.03/122.45	o 25285
117.18/122.59	o 25034
117.32/122.73	o 25024
117.45/122.87	o 25021
117.59/123.01	o 25018
117.80/123.15	o 24789
117.87/123.29	o 24788
118.00/123.43	o 24786
118.14/123.57	o 24783
118.27/123.71	o 24780
118.42/123.85	o 24778
118.56/123.99	o 24775
118.69/124.13	o 24772
118.88/124.27	o 24740
118.97/124.41	o 24735
119.10/124.55	o 24732
119.24/124.69	o 24729
119.38/124.83	o 24721
119.51/124.99	o 24718
119.64/125.13	o 24715
119.78/125.27	o 24714
120.04/125.41	o 24713
120.06/125.55	o 24710
120.19/125.69	o 24707
120.33/125.83	o 24706
120.46/125.97	o 24705
120.60/126.11	o 24702
120.74/126.25	o 24699
120.87/126.39	o 24698
121.02/126.53	o 24697
121.16/126.68	o 24694
121.30/126.82	o 24684
121.43/126.99	o 24674
121.56/127.13	o 24669
121.70/127.29	o 24666
121.83/127.43	o 24664
122.01/127.57	o 24661
122.11/127.71	o 24658
122.25/127.85	o 24614
122.39/127.99	o 24611
122.52/128.13	o 24608
122.66/128.27	o 24605
122.79/128.41	o 24601
122.93/128.55	o 24600
123.08/128.69	o 24597
123.20/128.83	o 24594
123.35/128.97	o 24593
123.48/129.11	o 24592
123.62/129.25	o 24589
123.75/129.39	o 24586
123.89/129.53	o 24585
124.14/129.70	o 24584
124.17/129.84	o 24581
124.31/129.98	o 24564
124.44/130.12	o 24554
124.59/130.25	o 24549
124.72/130.39	o 24546
124.85/130.53	o 24544
124.97/130.67	o 24541
125.23/130.82	o 24538
125.26/130.95	o 24495
125.39/131.09	o 24492
125.53/131.22	o 24489
125.66/131.40	o 24486
125.80/131.56	o 24482
125.94/131.69	o 24481
126.07/131.88	o 24478
126.32/132.01	o 24475
126.35/132.15	o 24474
126.48/132.29	o 24473
126.62/132.43	o 24470
126.76/132.57	o 24467
126.90/132.71	o 24466
127.03/132.85	o 24465
127.17/132.99	o 24462
127.30/133.13	o 24444
127.44/133.27	o 24434
127.57/133.41	o 24429
127.71/133.55	o 24426
127.85/133.69	o 24424
127.98/133.83	o 24421
128.12/133.97	o 24418
128.38/134.11	o 24374
128.40/134.25	o 24371
128.54/134.39	o 24368
128.67/134.52	o 24365
128.82/134.66	o 24361
128.96/134.80	o 24360
129.09/134.96	o 24357
129.22/135.09	o 24354
129.44/135.23	o 24353
129.48/135.37	o 24352
129.63/135.51	o 24349
129.76/135.65	o 24346
129.90/135.79	o 24345
130.05/135.93	o 24344
130.19/136.07	o 24341
130.32/136.21	o 24338
130.51/136.36	o 24337
130.58/136.52	o 24336
130.73/136.66	o 24333
130.88/136.80	o 24325
131.02/136.94	o 24311
131.15/137.08	o 24310
131.28/137.26	o 24307
131.53/137.40	o 24305
131.56/137.58	o 24302
131.71/137.72	o 24299
131.85/137.86	o 24298
131.98/138.00	o 24295
132.12/138.14	o 24294
132.25/138.28	o 24293
132.39/138.46	o 24290
132.62/138.60	o 24287
132.65/138.75	o 24286
132.80/138.89	o 24285
132.94/139.03	o 24282
133.08/139.17	o 24279
133.21/139.31	o 24278
133.35/139.45	o 24277
133.49/139.60	o 24274
133.65/139.74	o 24271
133.78/139.89	o 24269
133.93/140.03	o 24268
134.06/140.18	o 24266
134.20/140.32	o 24263
134.34/140.50	o 24260
134.48/140.64	o 24258
134.65/140.79	o 24255
134.75/140.93	o 24204
134.90/141.07	o 24194
135.04/141.26	o 24191
135.18/141.42	o 24170
135.31/141.56	o 24160
135.58/141.70	o 24158
135.66/141.87	o 24156
135.73/142.08	o 24155
135.87/142.22	o 24153
136.01/142.36	o 24152
136.14/142.50	o 24150
136.29/142.64	o 24147
136.42/142.78	o 24145
136.64/142.93	o 24144
136.72/143.07	o 24142
136.85/143.21	o 24079
136.98/143.35	o 24074
137.12/143.49	o 24064
137.25/143.63	o 24061
137.39/143.78	o 24058
137.54/143.92	o 23948
137.74/144.06	o 23947
137.81/144.20	o 23945
137.95/144.34	o 23942
138.09/144.48	o 23939
138.21/144.62	o 23898
138.35/144.76	o 23893
138.50/144.90	o 23890
138.63/145.04	o 23887
138.80/145.18	o 23884
138.89/145.32	o 23880
139.04/145.46	o 23879
139.17/145.60	o 23876
139.31/145.73	o 23873
139.44/145.87	o 23872
139.59/146.01	o 23871
139.73/146.16	o 23868
139.88/146.29	o 23865
140.00/146.43	o 23864
140.13/146.61	o 23863
140.27/146.75	o 23860
140.40/146.90	o 23857
140.54/147.07	o 23856
140.68/147.21	o 23855
140.88/147.35	o 23852
140.97/147.49	o 23844
141.10/147.63	o 23830
141.24/147.77	o 23829
141.37/147.91	o 23826
141.51/148.05	o 23824
141.64/148.19	o 23821
141.78/148.33	o 23818
142.02/148.52	o 23817
142.05/148.66	o 23814
142.19/148.80	o 23813
142.33/148.94	o 23812
142.47/149.08	o 23809
142.60/149.22	o 23806
142.74/149.36	o 23805
142.87/149.49	o 23804
143.00/149.63	o 23801
143.13/149.77	o 23798
143.29/149.91	o 23797
143.42/150.05	o 23796
143.57/150.19	o 23793
143.70/150.34	o 23790
143.84/150.48	o 23788
144.08/150.63	o 23787
144.13/150.77	o 23785
144.27/150.91	o 23782
144.42/151.06	o 23779
144.55/151.20	o 23777
144.69/151.34	o 23774
144.83/151.49	o 23755
144.97/151.63	o 23745
145.16/151.77	o 23740
145.24/151.91	o 23737
145.38/152.05	o 23734
145.52/152.19	o 23731
145.66/152.33	o 23728
145.80/152.47	o 23727
145.94/152.61	o 23725
146.08/152.75	o 23724
146.24/152.89	o 23722
146.35/153.04	o 23719
146.49/153.18	o 23716
146.63/153.32	o 23714
146.77/153.47	o 23713
146.93/153.65	o 23711
147.06/153.79	o 23710
147.28/153.94	o 23709
147.34/154.09	o 23708
147.49/154.23	o 23705
147.63/154.38	o 23704
147.77/154.52	o 23703
147.91/154.70	o 23700
148.04/154.85	o 23697
148.19/155.00	o 23695
148.34/155.15	o 23694
148.48/155.30	o 23693
148.63/155.44	o 23690
148.78/155.59	o 23688
148.91/155.73	o 23687
149.06/155.88	o 23686
149.21/156.02	o 23685
149.39/156.17	o 23682
149.48/156.37	o 23679
149.64/156.51	o 23678
149.78/156.66	o 23677
149.92/156.81	o 23674
150.07/156.95	o 23671
150.21/157.10	o 23668
150.43/157.25	o 23666
150.50/157.39	o 23664
150.64/157.54	o 23661
150.78/157.69	o 23660
150.93/157.83	o 23658
151.07/157.98	o 23657
151.21/158.12	o 23656
151.36/158.26	o 23653
151.62/158.41	o 23652
151.65/158.56	o 23651
151.79/158.71	o 23649
151.95/158.86	o 23646
152.09/159.01	o 23644
152.23/159.17	o 23643
152.38/159.32	o 23641
152.58/159.48	o 23638
152.69/159.63	o 23636
152.84/159.78	o 23635
153.00/159.94	o 23633
153.15/160.10	o 23632
153.31/160.25	o 23630
153.45/160.41	o 23627
153.68/160.57	o 23625
153.76/160.74	o 23624
153.93/160.91	o 23622
154.10/161.07	o 23620
154.26/161.23	o 23619
154.41/161.39	o 23617
154.57/161.55	o 23601
154.77/161.70	o 23591
154.88/161.84	o 23586
155.03/161.99	o 23585
155.16/162.13	o 23582
155.30/162.28	o 23579
155.44/162.42	o 23559
155.59/162.56	o 23472
155.83/162.71	o 23361
155.86/162.85	o 23351
156.00/163.00	o 23346
156.14/163.14	o 23343
156.29/163.28	o 23341
156.43/163.42	o 23338
156.57/163.56	o 23335
156.70/163.71	o 23231
156.90/163.86	o 23228
156.97/164.00	o 23225
157.11/164.14	o 23223
157.25/164.32	o 23220
157.40/164.46	o 23217
157.53/164.60	o 23215
157.68/164.74	o 23212
157.81/164.88	o 23209
157.95/165.03	o 23171
158.09/165.17	o 23117
158.23/165.31	o 23111
158.37/165.46	o 23101
158.64/165.60	o 23098
158.65/165.74	o 23095
158.78/165.88	o 22986
159.01/166.02	o 22985
159.05/166.16	o 22983
159.20/166.30	o 22980
159.33/166.44	o 22977
159.47/166.62	o 22936
159.61/166.76	o 22931
159.86/166.90	o 22928
159.88/167.10	o 22925
160.01/167.24	o 22922
160.14/167.38	o 22918
160.27/167.52	o 22917
160.42/167.65	o 22914
160.55/167.79	o 22911
160.69/167.99	o 22910
160.82/168.12	o 22909
161.01/168.27	o 22906
161.10/168.41	o 22903
161.23/168.55	o 22902
161.36/168.69	o 22901
161.52/168.83	o 22898
161.65/169.02	o 22895
161.79/169.16	o 22894
162.04/169.31	o 22893
162.07/169.45	o 22890
162.20/169.59	o 22882
162.35/169.73	o 22868
162.48/169.87	o 22867
162.61/170.01	o 22864
162.76/170.15	o 22862
162.89/170.29	o 22859
163.08/170.46	o 22856
163.18/170.60	o 22855
163.31/170.74	o 22852
163.44/170.88	o 22851
163.58/171.02	o 22850
163.72/171.20	o 22847
163.85/171.37	o 22844
164.09/171.51	o 22843
164.12/171.65	o 22842
164.26/171.79	o 22839
164.39/171.93	o 22836
164.54/172.07	o 22835
164.67/172.21	o 22834
164.82/172.35	o 22831
165.09/172.50	o 22828
165.18/172.64	o 22826
165.23/172.78	o 22825
165.37/172.93	o 22823
165.52/173.07	o 22820
165.66/173.21	o 22817
165.79/173.35	o 22815
165.93/173.49	o 22812
166.07/173.64	o 22793
166.25/173.78	o 22783
166.34/173.92	o 22778
166.49/174.06	o 22775
166.63/174.19	o 22772
166.77/174.33	o 22769
166.90/174.47	o 22766
167.03/174.61	o 22765
167.18/174.75	o 22763
167.34/174.89	o 22762
167.45/175.03	o 22760
167.58/175.17	o 22757
167.73/175.32	o 22754
167.88/175.46	o 22752
168.02/175.61	o 22751
168.16/175.75	o 22749
168.30/175.90	o 22748
168.46/176.09	o 22747
168.60/176.23	o 22746
168.74/176.41	o 22743
168.87/176.55	o 22742
169.01/176.71	o 22741
169.16/176.85	o 22738
169.42/177.01	o 22735
169.44/177.15	o 22733
169.58/177.30	o 22732
169.72/177.45	o 22731
169.87/177.60	o 22728
170.02/177.74	o 22726
170.16/177.89	o 22725
170.30/178.03	o 22724
170.47/178.18	o 22723
170.58/178.36	o 22720
170.72/178.51	o 22717
170.86/178.66	o 22716
171.01/178.80	o 22715
171.15/178.95	o 22712
171.30/179.10	o 22709
171.51/179.25	o 22706
171.58/179.39	o 22704
171.71/179.54	o 22702
171.87/179.68	o 22699
172.01/179.83	o 22698
172.16/179.98	o 22696
172.30/180.12	o 22695
172.54/180.31	o 22694
172.57/180.45	o 22691
172.72/180.60	o 22690
172.86/180.75	o 22689
173.00/180.91	o 22687
173.16/181.06	o 22684
173.30/181.21	o 22682
173.44/181.37	o 22681
173.70/181.52	o 22679
173.73/181.67	o 22676
173.90/181.83	o 22674
174.04/181.98	o 22673
174.20/182.14	o 22671
174.36/182.30	o 22670
174.52/182.45	o 22668
174.79/182.60	o 22665
174.82/182.79	o 22663
174.97/182.95	o 22662
175.13/183.12	o 22660
175.29/183.28	o 22658
175.45/183.44	o 22657
175.76/183.60	o 22655
175.78/183.76	o 22641
175.93/183.91	o 22636
176.07/184.06	o 22631
176.23/184.20	o 22628
176.37/184.35	o 22626
176.50/184.49	o 22623
176.64/184.64	o 22620
176.82/184.79	o 22617
176.94/184.93	o 22597
177.08/185.08	o 22596
177.22/185.22	o 22594
177.35/185.36	o 22591
177.50/185.51	o 22588
177.63/185.66	o 22586
177.78/185.80	o 22583
177.91/185.94	o 22582
178.05/186.08	o 22581
178.19/186.22	o 22579
178.34/186.36	o 22577
178.48/186.51	o 22576
178.62/186.65	o 22573
178.75/186.79	o 22571
178.97/186.94	o 22568
179.03/187.08	o 22565
179.19/187.22	o 22542
179.32/187.36	o 22510
179.45/187.51	o 22508
179.59/187.65	o 22507
179.73/187.80	o 22505
179.88/187.94	o 22502
180.06/188.09	o 22500
180.17/188.24	o 22499
180.32/188.39	o 22497
180.47/188.53	o 22494
180.61/188.68	o 22492
180.75/188.82	o 22460
180.90/188.96	o 22450
181.15/189.11	o 22445
181.18/189.25	o 22442
181.31/189.41	o 22439
181.45/189.55	o 22436
181.59/189.69	o 22434
181.72/189.83	o 22431
181.86/189.97	o 22428
182.00/190.11	o 22425
182.20/190.25	o 22423
182.28/190.39	o 22420
182.41/190.53	o 22417
182.54/190.67	o 22414
182.68/190.81	o 22413
182.83/190.95	o 22412
182.97/191.09	o 22409
183.11/191.23	o 22401
183.29/191.37	o 22391
183.39/191.53	o 22326
183.52/191.71	o 22312
183.65/191.85	o 22302
183.80/192.00	o 22297
183.93/192.14	o 22294
184.07/192.28	o 22291
184.27/192.46	o 22288
184.48/192.60	o 22285
184.49/192.74	o 22284
184.63/192.88	o 22282
184.76/193.01	o 22281
184.89/193.15	o 22279
185.16/193.30	o 22276
185.18/193.44	o 22273
185.35/193.58	o 22271
185.46/193.73	o 22270
185.60/193.87	o 22268
185.74/194.01	o 22267
185.87/194.15	o 22266
186.02/194.30	o 22265
186.16/194.45	o 22262
186.32/194.59	o 22261
186.45/194.73	o 22260
186.59/194.88	o 22257
186.74/195.03	o 22254
186.89/195.17	o 22252
187.03/195.32	o 22251
187.17/195.46	o 22250
187.31/195.61	o 22247
187.53/195.75	o 22245
187.60/195.90	o 22244
187.75/196.04	o 22243
187.89/196.19	o 22242
188.03/196.34	o 22239
188.18/196.49	o 22236
188.32/196.63	o 22235
188.56/196.81	o 22234
188.61/196.96	o 22231
188.76/197.11	o 22228
188.90/197.26	o 22225
189.04/197.40	o 22223
189.18/197.55	o 22221
189.32/197.69	o 22218
189.45/197.84	o 22217
189.64/197.98	o 22215
189.76/198.13	o 22214
189.89/198.27	o 22213
190.03/198.42	o 22210
190.17/198.57	o 22209
190.31/198.72	o 22208
190.47/198.87	o 22206
190.71/199.02	o 22203
190.76/199.17	o 22201
190.92/199.33	o 22200
191.06/199.49	o 22198
191.21/199.64	o 22195
191.36/199.79	o 22193
191.51/199.95	o 22192
191.81/200.11	o 22190
191.83/200.27	o 22189
191.98/200.42	o 22187
192.13/200.58	o 22184
192.29/200.73	o 22182
192.45/200.90	o 22181
192.60/201.07	o 22179
192.86/201.24	o 22176
192.95/201.40	o 22174
193.10/201.58	o 22164
193.28/201.74	o 22157
193.43/201.89	o 22156
193.58/202.05	o 22154
193.75/202.20	o 22151
193.97/202.35	o 22149
194.04/202.51	o 22148
194.20/202.66	o 22146
194.35/202.81	o 22145
194.49/202.96	o 22143
194.63/203.11	o 22140
194.79/203.26	o 22137
195.04/203.42	o 22134
195.07/203.57	o 22133
195.23/203.71	o 22132
195.36/203.86	o 22130
195.52/204.02	o 22129
195.66/204.17	o 22126
195.81/204.32	o 22125
196.05/204.53	o 22124
196.10/204.68	o 22122
196.26/204.83	o 22120
196.40/204.98	o 22118
196.56/205.13	o 22117
196.70/205.29	o 22116
196.85/205.45	o 22114
197.12/205.61	o 22113
197.15/205.78	o 22111
197.32/205.98	o 22110
197.48/206.14	o 22108
197.78/206.30	o 22107
197.79/206.45	o 22105
197.97/206.61	o 22103
198.18/206.77	o 22102
198.27/206.93	o 22100
198.59/207.10	o 22099
198.59/207.26	o 22098
198.77/207.42	o 22097
198.92/207.58	o 22095
199.08/207.75	o 22092
199.36/207.91	o 22090
199.39/208.08	o 22089
199.55/208.24	o 22087
199.71/208.40	o 22084
199.87/208.56	o 22082
200.03/208.72	o 22081
200.18/208.88	o 22079
200.43/209.04	o 22076
200.64/209.20	o 22074
200.65/209.37	o 22073
200.81/209.53	o 22071
200.96/209.69	o 22070
201.13/209.86	o 22068
201.40/210.02	o 22065
201.46/210.18	o 22063
201.61/210.35	o 22062
201.78/210.53	o 22060
201.95/210.74	o 22057
202.10/210.93	o 22055
202.40/211.12	o 22054
202.44/211.31	o 22052
202.62/211.51	o 22051
202.80/211.69	o 22049
202.98/211.86	o 22048
203.17/212.04	o 22046
203.47/212.21	o 22044
203.50/212.40	o 22043
203.68/212.59	o 22041
203.86/212.76	o 22040
204.05/212.94	o 22038
204.22/213.11	o 22036
204.56/213.31	o 22035
204.59/213.49	o 22033
204.77/213.95	o 21767
205.22/214.09	o 21766
205.35/214.23	o 21733
205.50/214.37	o 21732
205.74/214.51	o 21729
205.78/214.66	o 21728
205.91/214.80	o 21725
206.05/214.95	o 21723
206.21/215.09	o 21722
206.34/215.23	o 21721
206.49/215.37	o 21720
206.72/215.52	o 21719
206.76/215.67	o 21717
206.92/215.82	o 21715
207.06/215.96	o 21714
207.21/216.12	o 21712
207.35/216.27	o 21711
207.51/216.43	o 21709
207.66/216.59	o 21708
207.82/216.75	o 21706
207.97/216.91	o 21703
208.13/217.06	o 21701
208.27/217.23	o 21700
208.45/217.44	o 21698
208.60/217.60	o 21696
208.83/217.76	o 21695
208.90/217.92	o 21693
209.06/218.13	o 21437
209.23/218.27	o 21429
209.36/218.41	o 21424
209.49/218.55	o 21421
209.63/218.70	o 21419
209.85/218.84	o 21416
209.90/218.98	o 21413
210.04/219.12	o 21412
210.19/219.26	o 21409
210.33/219.40	o 21408
210.47/219.54	o 21407
210.61/219.71	o 21404
210.74/219.85	o 21401
210.90/219.99	o 21400
211.01/220.13	o 21399
211.16/220.27	o 21396
211.29/220.42	o 21393
211.43/220.56	o 21392
211.57/220.70	o 21391
211.71/220.85	o 21388
211.84/220.99	o 21385
211.99/221.14	o 21382
212.13/221.29	o 21380
212.27/221.43	o 21377
212.40/221.58	o 21374
212.56/221.72	o 21372
212.71/221.87	o 21369
212.85/222.01	o 21317
213.06/222.16	o 21307
213.14/222.30	o 21304
213.27/222.44	o 21301
213.40/222.58	o 21299
213.55/222.73	o 21296
213.69/222.86	o 21293
213.81/223.00	o 21291
213.95/223.14	o 21288
214.12/223.28	o 21285
214.23/223.42	o 21247
214.37/223.57	o 21193
214.50/223.73	o 21187
214.65/223.87	o 21177
214.79/224.01	o 21174
214.92/224.16	o 21171
215.05/224.30	o 21062
215.20/224.44	o 21061
215.35/224.58	o 21059
215.48/224.72	o 21056
215.61/224.91	o 21053
215.75/225.06	o 21012
215.89/225.19	o 21007
216.02/225.33	o 21004
216.19/225.48	o 21001
216.29/225.62	o 20998
216.44/225.76	o 20994
216.57/225.90	o 20993
216.71/226.05	o 20990
216.84/226.19	o 20987
216.98/226.33	o 20986
217.12/226.47	o 20985
217.36/226.61	o 20982
217.38/226.75	o 20979
217.53/226.89	o 20978
217.66/227.03	o 20977
217.79/227.17	o 20974
217.93/227.31	o 20971
218.07/227.45	o 20970
218.22/227.59	o 20969
218.35/227.73	o 20966
218.49/227.92	o 20958
218.62/228.06	o 20944
218.75/228.20	o 20943
218.89/228.34	o 20940
219.03/228.51	o 20938
219.16/228.65	o 20935
219.39/228.81	o 20932
219.43/228.95	o 20931
219.57/229.09	o 20928
219.71/229.23	o 20927
219.84/229.37	o 20926
219.97/229.51	o 20923
220.11/229.65	o 20920
220.26/229.79	o 20919
220.39/229.93	o 20918
220.53/230.07	o 20915
220.66/230.21	o 20912
220.81/230.35	o 20911
220.94/230.49	o 20910
221.07/230.65	o 20907
221.21/230.79	o 20904
221.43/230.94	o 20902
221.51/231.08	o 20901
221.64/231.21	o 20899
221.77/231.36	o 20896
221.92/231.50	o 20893
222.05/231.64	o 20891
222.19/231.79	o 20888
222.33/231.93	o 20869
222.52/232.08	o 20859
222.62/232.22	o 20854
222.75/232.37	o 20851
222.88/232.51	o 20848
223.02/232.65	o 20845
223.16/232.79	o 20842
223.30/232.93	o 20841
223.45/233.07	o 20839
223.69/233.21	o 20838
223.73/233.41	o 20836
223.85/233.56	o 20833
224.00/233.70	o 20830
224.14/233.84	o 20828
224.27/233.99	o 20827
224.42/234.13	o 20825
224.60/234.28	o 20824
224.70/234.42	o 20823
224.86/234.57	o 20822
225.00/234.71	o 20819
225.13/234.85	o 20818
225.40/235.00	o 20817
225.41/235.14	o 20814
225.57/235.29	o 20811
225.71/235.44	o 20809
225.85/235.59	o 20808
225.99/235.73	o 20807
226.13/235.88	o 20804
226.28/236.03	o 20802
226.43/236.17	o 20801
226.57/236.32	o 20800
226.78/236.46	o 20799
226.85/236.61	o 20796
227.00/236.76	o 20793
227.15/236.90	o 20792
227.29/237.05	o 20791
227.43/237.22	o 20788
227.57/237.42	o 20785
227.76/237.57	o 20782
227.84/237.71	o 20780
228.00/237.86	o 20778
228.14/238.00	o 20775
228.29/238.15	o 20774
228.55/238.30	o 20772
228.56/238.44	o 20771
228.71/238.58	o 20770
228.94/238.72	o 20767
228.98/238.86	o 20766
229.12/239.02	o 20765
229.28/239.17	o 20763
229.43/239.32	o 20760
229.57/239.46	o 20758
229.72/239.62	o 20757
229.93/239.78	o 20755
230.02/239.93	o 20752
230.17/240.08	o 20750
230.33/240.24	o 20749
230.48/240.43	o 20747
230.62/240.59	o 20746
230.78/240.74	o 20744
231.01/240.93	o 20741
231.07/241.08	o 20739
231.23/241.25	o 20738
231.40/241.42	o 20736
231.56/241.58	o 20734
231.72/241.74	o 20733
231.97/241.93	o 20731
232.02/242.08	o 20717
232.17/242.23	o 20712
232.30/242.38	o 20707
232.46/242.53	o 20704
232.60/242.67	o 20702
232.75/242.81	o 20699
232.88/242.96	o 20696
233.13/243.11	o 20693
233.16/243.25	o 20673
233.31/243.39	o 20672
233.46/243.54	o 20670
233.59/243.68	o 20667
233.73/243.82	o 20664
233.87/243.96	o 20662
234.09/244.12	o 20659
234.15/244.26	o 20658
234.29/244.40	o 20657
234.43/244.55	o 20655
234.56/244.69	o 20653
234.70/244.83	o 20652
234.85/244.98	o 20649
234.98/245.12	o 20647
235.17/245.26	o 20644
235.26/245.40	o 20641
235.41/245.54	o 20618
235.54/245.69	o 20586
235.68/245.83	o 20584
235.83/245.98	o 20583
235.97/246.12	o 20581
236.10/246.26	o 20578
236.37/246.40	o 20576
236.39/246.54	o 20575
236.52/246.69	o 20573
236.68/246.84	o 20570
236.82/246.99	o 20568
236.96/247.13	o 20536
237.11/247.27	o 20526
237.34/247.42	o 20521
237.39/247.56	o 20518
237.52/247.70	o 20515
237.66/247.84	o 20512
237.79/247.98	o 20510
237.93/248.12	o 20507
238.07/248.26	o 20504
238.33/248.40	o 20501
238.42/248.54	o 20499
238.48/248.68	o 20496
238.63/248.82	o 20493
238.76/249.02	o 20490
238.89/249.16	o 20489
239.03/249.31	o 20488
239.18/249.45	o 20485
239.32/249.59	o 20477
239.45/249.73	o 20467
239.59/249.88	o 20402
239.74/250.02	o 20388
239.87/250.16	o 20378
240.01/250.30	o 20373
240.14/250.44	o 20370
240.29/250.58	o 20367
240.51/250.73	o 20364
240.55/250.93	o 20361
240.69/251.07	o 20360
240.84/251.22	o 20358
240.98/251.36	o 20357
241.12/251.50	o 20355
241.25/251.64	o 20352
241.40/251.78	o 20349
241.63/251.92	o 20347
241.66/252.06	o 20346
241.81/252.23	o 20344
241.94/252.36	o 20343
242.09/252.51	o 20342
242.23/252.66	o 20341
242.36/252.81	o 20338
242.58/252.94	o 20337
242.65/253.09	o 20336
242.79/253.23	o 20333
242.93/253.44	o 20330
243.08/253.58	o 20328
243.23/253.73	o 20327
243.37/253.88	o 20326
243.61/254.02	o 20323
243.65/254.22	o 20321
243.78/254.37	o 20320
243.93/254.51	o 20319
244.06/254.67	o 20318
244.21/254.82	o 20315
244.36/254.96	o 20312
244.59/255.13	o 20311
244.65/255.27	o 20310
244.79/255.42	o 20307
244.92/255.57	o 20304
245.08/255.71	o 20301
245.22/255.86	o 20299
245.36/256.00	o 20297
245.50/256.15	o 20294
245.78/256.30	o 20293
245.80/256.45	o 20291
245.94/256.59	o 20290
246.08/256.74	o 20289
246.21/256.88	o 20286
246.35/257.03	o 20285
246.50/257.18	o 20284
246.75/257.34	o 20282
246.80/257.49	o 20279
246.95/257.64	o 20277
247.10/257.79	o 20276
247.26/257.95	o 20274
247.41/258.09	o 20271
247.56/258.24	o 20269
247.70/258.40	o 20268
247.86/258.55	o 20266
248.00/258.71	o 20265
248.15/258.87	o 20263
248.31/259.02	o 20260
248.46/259.18	o 20258
248.62/259.35	o 20257
248.87/259.54	o 20255
248.94/259.71	o 20253
249.10/259.87	o 20252
249.26/260.03	o 20250
249.43/260.20	o 20240
249.60/260.38	o 20233
249.89/260.61	o 20232
249.90/260.76	o 20230
250.06/260.91	o 20227
250.22/261.07	o 20225
250.37/261.22	o 20224
250.51/261.37	o 20222
250.66/261.52	o 20221
250.80/261.67	o 20219
251.05/261.81	o 20216
251.10/261.97	o 20213
251.24/262.10	o 20210
251.38/262.25	o 20209
251.53/262.40	o 20208
251.67/262.55	o 20206
251.81/262.71	o 20205
252.03/262.86	o 20202
252.12/263.01	o 20201
252.26/263.16	o 20200
252.41/263.31	o 20198
252.57/263.46	o 20196
252.71/263.62	o 20194
252.86/263.77	o 20193
253.11/263.92	o 20192
253.16/264.08	o 20190
253.31/264.24	o 20189
253.48/264.40	o 20187
253.64/264.57	o 20186
253.79/264.73	o 20184
253.94/264.89	o 20183
254.20/265.05	o 20181
254.27/265.21	o 20179
254.43/265.37	o 20178
254.59/265.53	o 20176
254.75/265.70	o 20175
254.91/265.87	o 20174
255.09/266.02	o 20173
255.28/266.19	o 20171
255.40/266.36	o 20168
255.57/266.52	o 20166
255.73/266.69	o 20165
255.88/266.85	o 20163
256.05/267.02	o 20160
256.21/267.17	o 20158
256.46/267.33	o 20157
256.51/267.49	o 20155
256.67/267.65	o 20152
256.83/267.84	o 20150
256.97/268.06	o 20149
257.14/268.23	o 20147
257.35/268.40	o 20146
257.46/268.56	o 20144
257.63/268.72	o 20141
257.80/268.91	o 20139
257.95/269.08	o 20138
258.12/269.25	o 20136
258.40/269.42	o 20133
258.46/269.58	o 20131
258.61/269.77	o 20130
258.79/269.95	o 20128
258.97/270.14	o 20127
259.17/270.32	o 20125
259.34/270.50	o 20124
259.51/270.67	o 20122
259.69/270.84	o 20120
259.85/271.03	o 20119
260.03/271.21	o 20117
260.21/271.39	o 20116
260.39/271.57	o 20114
260.56/271.76	o 20112
260.73/271.94	o 20111
260.92/272.13	o 20109
261.10/272.61	o 20108
261.93/273.03	o 19930
261.99/273.17	o 19859
262.13/273.32	o 19858
262.28/273.46	o 19857
262.42/273.61	o 19855
262.56/273.77	o 19854
262.82/273.92	o 19852
262.87/274.07	o 19849
263.02/274.22	o 19847
263.16/274.37	o 19814
263.31/274.52	o 19813
263.46/274.66	o 19810
263.61/274.80	o 19809
263.81/274.95	o 19808
263.88/275.09	o 19805
264.03/275.24	o 19804
264.17/275.38	o 19801
264.30/275.53	o 19799
264.44/275.73	o 19798
264.58/275.87	o 19797
264.81/276.01	o 19796
264.85/276.16	o 19795
265.01/276.31	o 19793
265.16/276.46	o 19791
265.30/276.60	o 19790
265.44/276.75	o 19788
265.58/276.91	o 19787
265.75/277.06	o 19785
266.01/277.22	o 19784
266.04/277.38	o 19782
266.19/277.53	o 19779
266.35/277.69	o 19777
266.50/277.86	o 19776
266.67/278.02	o 19774
266.82/278.19	o 19772
267.01/278.35	o 19771
267.15/278.51	o 19769
267.30/278.67	o 19754
267.46/278.83	o 19744
267.60/278.98	o 19739
267.75/279.12	o 19736
267.88/279.27	o 19733
268.12/279.42	o 19730
268.17/279.56	o 19728
268.31/279.71	o 19624
268.46/279.85	o 19621
268.59/279.99	o 19618
268.73/280.13	o 19616
268.88/280.33	o 19613
269.05/280.47	o 19610
269.14/280.62	o 19608
269.28/280.76	o 19605
269.41/280.90	o 19602
269.56/281.04	o 19569
269.70/281.18	o 19564
269.84/281.32	o 19561
269.98/281.47	o 19558
270.23/281.61	o 19550
270.26/281.75	o 19546
270.39/281.89	o 19544
270.53/282.03	o 19543
270.66/282.18	o 19542
270.81/282.32	o 19539
270.95/282.51	o 19536
271.15/282.65	o 19535
271.22/282.83	o 19534
271.35/282.97	o 19533
271.50/283.11	o 19531
271.63/283.25	o 19530
271.78/283.39	o 19528
271.92/283.53	o 19527
272.05/283.67	o 19526
272.29/283.81	o 19523
272.33/283.95	o 19515
272.47/284.10	o 19510
272.61/284.24	o 19500
272.75/284.38	o 19497
272.88/284.52	o 19495
273.03/284.66	o 19492
273.28/284.81	o 19489
273.30/284.95	o 19488
273.44/285.09	o 19485
273.58/285.23	o 19484
273.72/285.37	o 19483
273.87/285.51	o 19480
274.00/285.66	o 19477
274.14/285.80	o 19476
274.35/285.94	o 19475
274.42/286.08	o 19472
274.55/286.22	o 19469
274.70/286.36	o 19468
274.83/286.50	o 19467
274.97/286.65	o 19464
275.11/286.80	o 19461
275.25/286.94	o 19458
275.43/287.08	o 19456
275.52/287.22	o 19453
275.66/287.37	o 19450
275.80/287.51	o 19448
275.94/287.65	o 19445
276.09/287.84	o 19426
276.23/287.98	o 19416
276.46/288.12	o 19411
276.51/288.33	o 19408
276.63/288.47	o 19405
276.77/288.61	o 19402
276.91/288.76	o 19399
277.06/288.90	o 19398
277.20/289.04	o 19396
277.41/289.23	o 19395
277.46/289.37	o 19393
277.60/289.52	o 19390
277.74/289.66	o 19387
277.88/289.80	o 19385
278.02/289.95	o 19384
278.16/290.10	o 19382
278.31/290.24	o 19381
278.49/290.39	o 19380
278.60/290.53	o 19379
278.73/290.68	o 19376
278.88/290.81	o 19375
279.02/290.96	o 19374
279.15/291.10	o 19371
279.30/291.25	o 19368
279.44/291.40	o 19366
279.60/291.54	o 19365
279.74/291.75	o 19364
279.90/291.90	o 19361
280.03/292.04	o 19359
280.16/292.18	o 19358
280.30/292.33	o 19357
280.45/292.47	o 19356
280.66/292.63	o 19353
280.74/292.78	o 19350
280.88/292.93	o 19349
281.02/293.07	o 19348
281.17/293.22	o 19345
281.31/293.44	o 19342
281.45/293.59	o 19339
281.59/293.73	o 19337
281.75/293.88	o 19335
281.89/294.02	o 19332
282.02/294.16	o 19331
282.15/294.31	o 19329
282.30/294.46	o 19328
282.44/294.60	o 19327
282.65/294.75	o 19324
282.72/294.89	o 19323
282.86/295.05	o 19322
283.02/295.20	o 19320
283.16/295.34	o 19317
283.31/295.49	o 19315
283.46/295.64	o 19314
283.74/295.80	o 19312
283.76/295.96	o 19309
283.91/296.11	o 19307
284.07/296.26	o 19306
284.23/296.44	o 19304
284.36/296.60	o 19303
284.52/296.76	o 19301
284.79/296.92	o 19298
284.84/297.08	o 19296
284.98/297.25	o 19295
285.15/297.41	o 19293
285.32/297.58	o 19290
285.48/297.74	o 19288
285.64/297.92	o 19278
285.95/298.11	o 19271
285.97/298.27	o 19270
286.12/298.42	o 19268
286.27/298.58	o 19265
286.44/298.73	o 19263
286.58/298.95	o 19262
286.84/299.11	o 19260
286.87/299.26	o 19259
287.02/299.41	o 19257
287.17/299.56	o 19254
287.32/299.71	o 19251
287.46/299.86	o 19248
287.61/300.01	o 19247
287.77/300.16	o 19246
288.02/300.31	o 19244
288.05/300.47	o 19243
288.20/300.62	o 19240
288.36/300.77	o 19239
288.50/300.92	o 19238
288.66/301.07	o 19236
288.81/301.22	o 19234
288.95/301.44	o 19232
289.09/301.59	o 19231
289.24/301.74	o 19230
289.53/301.90	o 19228
289.54/302.06	o 19227
289.70/302.22	o 19225
289.88/302.39	o 19224
290.03/302.57	o 19222
290.19/302.73	o 19221
290.34/302.89	o 19220
290.49/303.04	o 19219
290.65/303.25	o 19217
290.80/303.41	o 19216
291.03/303.58	o 19214
291.12/303.76	o 19213
291.27/303.92	o 19211
291.43/304.09	o 19209
291.60/304.26	o 19206
291.77/304.42	o 19204
291.93/304.58	o 19203
292.09/304.75	o 19201
292.26/304.92	o 19198
292.42/305.08	o 19196
292.57/305.24	o 19195
292.73/305.40	o 19193
292.90/305.56	o 19190
293.18/305.73	o 19188
293.22/305.89	o 19187
293.38/306.05	o 19185
293.54/306.22	o 19184
293.70/306.38	o 19182
293.87/306.55	o 19179
294.03/306.70	o 19177
294.24/306.89	o 19176
294.37/307.05	o 19174
294.52/307.22	o 19171
294.69/307.38	o 19169
294.85/307.57	o 19168
295.04/307.76	o 19166
295.34/307.94	o 19165
295.41/308.18	o 19163
295.58/308.38	o 19162
295.75/308.55	o 19160
295.92/308.71	o 19158
296.08/308.89	o 19157
296.33/309.09	o 19155
296.44/309.27	o 19154
296.62/309.44	o 19152
296.79/309.62	o 19150
296.97/309.80	o 19149
297.15/309.99	o 19147
298.10/310.87	o 19141
298.19/311.05	o 19139
298.59/311.39	o 19068
298.69/311.53	o 19019
298.83/311.68	o 19018
298.98/311.84	o 19000
299.12/311.98	o 18997
299.26/312.12	o 18993
299.40/312.26	o 18950
299.66/312.41	o 18948
299.68/312.55	o 18945
299.82/312.69	o 18942
299.95/312.83	o 18939
300.09/312.97	o 18936
300.23/313.11	o 18935
300.38/313.26	o 18934
300.63/313.40	o 18931
300.65/313.55	o 18928
300.80/313.69	o 18927
300.94/313.84	o 18926
301.08/313.98	o 18923
301.23/314.12	o 18920
301.37/314.27	o 18918
301.50/314.41	o 18917
301.72/314.55	o 18915
301.79/314.69	o 18914
301.92/314.83	o 18912
302.06/314.97	o 18910
302.21/315.11	o 18909
302.34/315.25	o 18907
302.48/315.40	o 18906
302.62/315.54	o 18904
302.79/315.68	o 18903
302.91/315.83	o 18901
303.05/315.97	o 18900
303.19/316.12	o 18899
303.33/316.26	o 18898
303.47/316.40	o 18895
303.61/316.55	o 18894
303.76/316.69	o 18893
303.90/316.84	o 18890
304.03/316.99	o 18887
304.19/317.13	o 18885
304.34/317.28	o 18884
304.48/317.43	o 18883
304.62/317.58	o 18880
304.76/317.73	o 18877
304.96/317.87	o 18876
305.06/318.02	o 18875
305.21/318.17	o 18872
305.35/318.32	o 18869
305.50/318.47	o 18868
305.64/318.61	o 18867
305.80/318.76	o 18864
306.01/318.95	o 18860
306.08/319.09	o 18859
306.23/319.24	o 18858
306.37/319.43	o 18855
306.50/319.58	o 18854
306.65/319.72	o 18851
306.79/319.95	o 18850
306.95/320.09	o 18848
307.08/320.24	o 18847
307.23/320.38	o 18846
307.37/320.55	o 18843
307.50/320.70	o 18842
307.65/320.85	o 18841
307.80/321.00	o 18839
308.03/321.15	o 18836
308.10/321.30	o 18834
308.25/321.45	o 18833
308.38/321.61	o 18831
308.56/321.76	o 18828
308.70/321.91	o 18826
308.85/322.07	o 18825
309.11/322.22	o 18823
309.16/322.38	o 18822
309.31/322.54	o 18820
309.47/322.69	o 18817
309.62/322.85	o 18815
309.77/323.02	o 18814
309.95/323.19	o 18812
310.20/323.35	o 18810
310.27/323.51	o 18809
310.43/323.67	o 18807
310.59/323.85	o 18797
310.78/324.01	o 18790
310.93/324.17	o 18789
311.07/324.33	o 18787
311.29/324.48	o 18784
311.39/324.63	o 18782
311.53/324.79	o 18781
311.67/324.94	o 18779
311.82/325.09	o 18778
311.97/325.24	o 18776
312.13/325.39	o 18773
312.36/325.54	o 18770
312.42/325.75	o 18767
312.57/325.90	o 18766
312.71/326.05	o 18765
312.85/326.20	o 18763
312.99/326.35	o 18762
313.28/326.50	o 18759
313.37/326.65	o 18758
313.43/326.79	o 18757
313.57/326.94	o 18755
313.73/327.12	o 18753
313.87/327.27	o 18751
314.03/327.42	o 18750
314.17/327.57	o 18749
314.39/327.77	o 18747
314.47/327.92	o 18746
314.63/328.08	o 18744
314.78/328.25	o 18743
314.96/328.41	o 18741
315.11/328.57	o 18740
315.28/328.73	o 18738
315.47/328.88	o 18736
315.57/329.04	o 18735
315.73/329.21	o 18733
315.92/329.38	o 18732
316.08/329.54	o 18730
316.24/329.71	o 18728
316.39/329.88	o 18727
316.66/330.04	o 18726
316.72/330.21	o 18725
316.88/330.37	o 18723
317.04/330.53	o 18722
317.20/330.69	o 18720
317.37/330.85	o 18717
317.65/331.01	o 18715
317.68/331.18	o 18714
317.84/331.36	o 18712
317.99/331.52	o 18709
318.17/331.69	o 18707
318.33/331.85	o 18706
318.48/332.01	o 18704
318.71/332.18	o 18703
318.80/332.42	o 18701
318.98/332.58	o 18698
319.14/332.74	o 18696
319.28/332.91	o 18695
319.46/333.09	o 18693
319.72/333.26	o 18691
319.80/333.42	o 18690
319.94/333.57	o 18688
320.11/333.76	o 18687
320.29/333.98	o 18685
320.48/334.17	o 18684
320.77/334.36	o 18682
320.84/334.53	o 18681
321.02/334.70	o 18679
321.18/334.87	o 18677
321.36/335.06	o 18676
321.54/335.28	o 18674
321.80/335.46	o 18673
321.89/335.64	o 18671
322.08/335.81	o 18669
322.24/336.00	o 18668
322.43/336.19	o 18666
323.11/336.73	o 18644
323.17/337.13	o 18643
323.57/337.45	o 18556
324.10/337.77	o 18493
324.20/338.18	o 18492
324.59/338.58	o 18288
325.09/338.73	o 18286
325.15/338.87	o 18283
325.28/339.01	o 18268
325.43/339.15	o 18263
325.56/339.29	o 18260
325.71/339.44	o 18258
325.85/339.58	o 18256
325.99/339.72	o 18255
326.12/339.94	o 18253
326.25/340.08	o 18252
326.39/340.23	o 18250
326.54/340.37	o 18248
326.68/340.51	o 18247
326.81/340.66	o 18244
326.97/340.80	o 18242
327.18/340.94	o 18239
327.24/341.09	o 18236
327.39/341.23	o 18234
327.53/341.37	o 18231
327.67/341.51	o 18228
327.81/341.66	o 18226
327.95/341.80	o 18223
328.08/341.94	o 18220
328.25/342.09	o 18213
328.38/342.23	o 18201
328.52/342.37	o 18198
328.66/342.52	o 18196
328.79/342.66	o 18195
328.95/342.80	o 18193
329.09/342.95	o 18192
329.22/343.09	o 18190
329.35/343.23	o 18188
329.51/343.37	o 18187
329.64/343.52	o 18185
329.79/343.74	o 18184
329.92/343.88	o 18182
330.05/344.03	o 18181
330.19/344.17	o 18179
330.35/344.35	o 18178
330.49/344.48	o 18177
330.62/344.63	o 18176
330.76/344.77	o 18173
330.89/344.92	o 18171
331.05/345.14	o 18168
331.18/345.29	o 18165
331.32/345.44	o 18163
331.46/345.59	o 18131
331.62/345.73	o 18122
331.75/345.87	o 18117
331.89/346.01	o 18112
332.03/346.16	o 18111
332.16/346.29	o 18108
332.38/346.44	o 18103
332.44/346.58	o 18100
332.57/346.76	o 18097
332.71/346.90	o 18094
332.85/347.04	o 18093
332.99/347.19	o 18092
333.14/347.33	o 18089
333.38/347.52	o 18086
333.41/347.67	o 18085
333.56/347.82	o 18084
333.69/347.96	o 18081
333.82/348.10	o 18062
333.97/348.24	o 18057
334.11/348.46	o 18054
334.36/348.60	o 18051
334.38/348.75	o 18048
334.52/348.88	o 18043
334.65/349.02	o 18040
334.79/349.16	o 18037
334.92/349.30	o 18036
335.06/349.44	o 18034
335.19/349.58	o 18033
335.44/349.72	o 18032
335.48/349.86	o 18029
335.61/350.06	o 18024
335.76/350.21	o 18021
335.89/350.35	o 18018
336.05/350.49	o 18016
336.19/350.65	o 18015
336.32/350.80	o 18013
336.46/350.94	o 18010
336.61/351.09	o 18007
336.75/351.23	o 18006
336.88/351.37	o 18005
337.03/351.52	o 18002
337.16/351.66	o 17983
337.31/351.81	o 17973
337.53/351.95	o 17968
337.60/352.09	o 17965
337.73/352.23	o 17962
337.86/352.37	o 17959
338.00/352.51	o 17956
338.13/352.66	o 17953
338.29/352.80	o 17952
338.43/352.94	o 17950
338.63/353.14	o 17947
338.70/353.29	o 17944
338.84/353.43	o 17942
338.97/353.58	o 17941
339.12/353.72	o 17939
339.27/353.87	o 17938
339.41/354.01	o 17937
339.61/354.16	o 17936
339.68/354.30	o 17933
339.84/354.45	o 17932
339.98/354.59	o 17931
340.12/354.73	o 17928
340.26/354.88	o 17925
340.41/355.03	o 17923
340.56/355.18	o 17922
340.80/355.32	o 17921
340.83/355.47	o 17918
340.98/355.61	o 17915
341.13/355.76	o 17914
341.29/355.91	o 17913
341.42/356.05	o 17910
341.57/356.20	o 17907
341.78/356.35	o 17906
341.86/356.50	o 17905
342.01/356.65	o 17902
342.15/356.80	o 17899
342.31/356.94	o 17896
342.45/357.09	o 17894
342.59/357.23	o 17825
342.73/357.37	o 17810
342.97/357.51	o 17807
343.00/357.65	o 17804
343.14/357.80	o 17695
343.28/357.94	o 17694
343.42/358.08	o 17692
343.56/358.22	o 17689
343.70/358.36	o 17686
343.95/358.50	o 17645
343.98/358.64	o 17640
344.11/358.79	o 17637
344.26/358.93	o 17634
344.39/359.07	o 17626
344.53/359.20	o 17622
344.67/359.34	o 17620
344.79/359.48	o 17619
344.99/359.64	o 17618
345.07/359.78	o 17615
345.20/359.93	o 17612
345.34/360.07	o 17611
345.49/360.21	o 17610
345.64/360.35	o 17609
345.77/360.49	o 17607
345.92/360.63	o 17606
346.09/360.77	o 17604
346.19/360.91	o 17603
346.32/361.06	o 17602
346.59/361.20	o 17599
346.62/361.34	o 17591
346.76/361.48	o 17586
346.90/361.63	o 17576
347.03/361.77	o 17573
347.27/361.91	o 17571
347.31/362.05	o 17568
347.45/362.19	o 17565
347.59/362.33	o 17564
347.74/362.47	o 17561
347.88/362.62	o 17560
348.01/362.76	o 17559
348.19/362.96	o 17556
348.28/363.10	o 17553
348.43/363.25	o 17552
348.57/363.39	o 17551
348.70/363.53	o 17548
348.84/363.68	o 17545
349.00/363.82	o 17544
349.20/364.05	o 17543
349.26/364.19	o 17540
349.40/364.34	o 17537
349.54/364.48	o 17534
349.68/364.63	o 17532
349.83/364.77	o 17529
349.97/364.92	o 17526
350.12/365.07	o 17524
350.38/365.21	o 17521
350.40/365.35	o 17502
350.54/365.49	o 17492
350.68/365.64	o 17487
350.82/365.78	o 17484
350.95/365.92	o 17481
351.10/366.06	o 17478
351.36/366.21	o 17475
351.38/366.35	o 17474
351.52/366.49	o 17472
351.65/366.63	o 17471
351.79/366.77	o 17469
351.94/366.92	o 17466
352.07/367.06	o 17463
352.22/367.20	o 17461
352.43/367.35	o 17460
352.63/367.50	o 17458
352.65/367.64	o 17457
352.79/367.79	o 17456
352.94/367.94	o 17455
353.08/368.08	o 17452
353.21/368.23	o 17451
353.37/368.37	o 17450
353.61/368.51	o 17447
353.64/368.66	o 17444
353.80/368.81	o 17442
353.94/368.95	o 17441
354.09/369.10	o 17440
354.24/369.25	o 17437
354.38/369.45	o 17435
354.54/369.60	o 17434
354.66/369.74	o 17433
354.81/369.89	o 17432
354.95/370.04	o 17429
355.10/370.26	o 17426
355.23/370.40	o 17425
355.49/370.63	o 17424
355.53/370.78	o 17421
355.68/370.92	o 17418
355.82/371.07	o 17415
355.96/371.22	o 17413
356.12/371.36	o 17411
356.26/371.55	o 17408
356.45/371.76	o 17407
356.53/371.90	o 17405
356.67/372.04	o 17404
356.81/372.18	o 17403
356.95/372.33	o 17400
357.09/372.48	o 17399
357.24/372.63	o 17398
357.39/372.78	o 17396
357.63/372.92	o 17393
357.67/373.07	o 17391
357.82/373.23	o 17390
357.98/373.38	o 17388
358.13/373.53	o 17385
358.27/373.69	o 17383
358.43/373.84	o 17382
358.60/373.99	o 17380
358.72/374.15	o 17379
358.87/374.30	o 17377
359.03/374.46	o 17374
359.19/374.61	o 17372
359.33/374.78	o 17371
359.50/374.95	o 17369
359.80/375.12	o 17367
359.84/375.28	o 17366
359.99/375.44	o 17364
360.14/375.62	o 17354
360.32/375.78	o 17347
360.49/375.94	o 17346
360.64/376.09	o 17344
360.78/376.25	o 17341
360.94/376.40	o 17339
361.10/376.55	o 17338
361.24/376.71	o 17336
361.39/376.86	o 17335
361.54/377.01	o 17333
361.69/377.16	o 17330
361.96/377.30	o 17327
361.97/377.45	o 17324
362.11/377.60	o 17323
362.27/377.75	o 17322
362.41/377.90	o 17320
362.55/378.06	o 17319
362.72/378.21	o 17316
362.92/378.35	o 17315
363.01/378.50	o 17314
363.15/378.65	o 17312
363.30/378.81	o 17310
363.45/378.96	o 17308
363.61/379.11	o 17307
363.75/379.26	o 17306
364.01/379.42	o 17304
364.05/379.58	o 17303
364.22/379.74	o 17301
364.37/379.90	o 17300
364.52/380.06	o 17298
364.68/380.22	o 17297
364.85/380.38	o 17296
365.10/380.54	o 17295
365.16/380.70	o 17293
365.31/380.86	o 17292
365.47/381.03	o 17290
365.64/381.19	o 17289
365.80/381.36	o 17287
365.96/381.58	o 17285
366.22/381.75	o 17282
366.29/381.91	o 17280
366.46/382.08	o 17279
366.61/382.24	o 17277
366.79/382.41	o 17274
366.95/382.57	o 17272
367.22/382.73	o 17271
367.27/382.89	o 17269
367.42/383.05	o 17266
367.59/383.22	o 17264
367.74/383.48	o 17263
367.90/383.64	o 17261
368.19/383.82	o 17260
368.23/383.99	o 17258
368.40/384.15	o 17255
368.57/384.31	o 17253
368.73/384.48	o 17252
368.89/384.66	o 17250
369.07/384.83	o 17248
369.28/385.00	o 17247
369.39/385.16	o 17245
369.54/385.35	o 17244
369.73/385.54	o 17242
369.93/385.79	o 17241
370.10/385.97	o 17239
370.44/386.23	o 17238
370.46/386.40	o 17236
370.63/386.58	o 17234
370.80/386.77	o 17233
370.99/386.95	o 17231
371.30/387.14	o 17230
371.36/387.31	o 17228
371.53/387.49	o 17226
371.70/387.71	o 17225
371.88/387.89	o 17223
372.55/388.41	o 17221
372.76/388.60	o 17220
372.77/388.78	o 17219
372.95/388.96	o 17217
373.13/389.14	o 17215
373.73/389.64	o 17213
373.81/390.04	o 17148
374.19/390.19	o 17090
374.33/390.33	o 17089
374.53/390.47	o 17086
374.62/390.66	o 17081
374.76/390.80	o 17071
374.89/390.94	o 17026
375.03/391.08	o 17024
375.17/391.23	o 17021
375.32/391.37	o 17018
375.56/391.51	o 17015
375.59/391.65	o 17012
375.73/391.79	o 17011
375.87/391.93	o 17010
376.00/392.08	o 17007
376.14/392.22	o 17004
376.28/392.37	o 17003
376.43/392.56	o 17002
376.57/392.85	o 16999
376.71/392.99	o 16996
376.84/393.14	o 16994
376.98/393.28	o 16993
377.13/393.42	o 16991
377.27/393.56	o 16990
377.52/393.71	o 16988
377.54/393.85	o 16986
377.69/393.99	o 16985
377.82/394.13	o 16983
377.96/394.27	o 16982
378.10/394.41	o 16980
378.24/394.56	o 16979
378.39/394.76	o 16977
378.63/394.90	o 16976
378.66/395.05	o 16975
378.82/395.19	o 16974
378.95/395.33	o 16971
379.09/395.48	o 16970
379.23/395.62	o 16969
379.37/395.76	o 16966
379.63/395.92	o 16963
379.67/396.06	o 16961
379.81/396.21	o 16960
379.95/396.43	o 16959
380.10/396.58	o 16956
380.25/396.73	o 16953
380.40/396.93	o 16952
380.54/397.16	o 16951
380.69/397.31	o 16948
380.84/397.46	o 16945
380.98/397.61	o 16944
381.12/397.76	o 16943
381.28/397.90	o 16940
381.43/398.05	o 16936
381.58/398.20	o 16935
381.71/398.34	o 16934
381.86/398.49	o 16931
381.99/398.63	o 16930
382.14/398.78	o 16927
382.28/398.97	o 16926
382.44/399.11	o 16924
382.63/399.26	o 16923
382.71/399.40	o 16922
382.85/399.54	o 16919
383.00/399.69	o 16918
383.15/399.84	o 16917
383.29/400.00	o 16915
383.45/400.15	o 16912
383.59/400.30	o 16910
383.75/400.46	o 16909
383.90/400.61	o 16907
384.07/400.76	o 16904
384.21/400.92	o 16902
384.35/401.07	o 16901
384.50/401.22	o 16899
384.65/401.38	o 16898
384.81/401.54	o 16896
384.97/401.70	o 16893
385.13/401.86	o 16891
385.28/402.03	o 16890
385.44/402.19	o 16888
385.61/402.36	o 16886
385.89/402.52	o 16885
385.92/402.68	o 16883
386.08/402.90	o 16873
386.26/403.06	o 16866
386.43/403.21	o 16865
386.58/403.37	o 16863
386.72/403.52	o 16860
386.89/403.77	o 16858
387.03/403.92	o 16857
387.18/404.07	o 16855
387.33/404.22	o 16854
387.49/404.38	o 16852
387.64/404.53	o 16849
387.78/404.68	o 16846
388.02/404.83	o 16843
388.06/404.98	o 16842
388.22/405.13	o 16841
388.36/405.28	o 16839
388.51/405.44	o 16838
388.67/405.59	o 16835
388.82/405.74	o 16834
389.02/405.88	o 16833
389.11/406.03	o 16831
389.25/406.18	o 16829
389.40/406.33	o 16827
389.55/406.56	o 16826
389.71/406.71	o 16825
389.86/406.87	o 16823
390.10/407.04	o 16822
390.16/407.20	o 16820
390.32/407.43	o 16819
390.49/407.59	o 16817
390.65/407.75	o 16816
390.81/407.91	o 16814
391.03/408.08	o 16812
391.12/408.24	o 16811
391.44/408.50	o 16809
391.45/408.66	o 16808
391.61/408.83	o 16806
391.78/408.99	o 16804
392.01/409.17	o 16803
392.11/409.34	o 16802
392.28/409.50	o 16801
392.44/409.66	o 16799
392.60/409.83	o 16798
392.76/410.08	o 16796
392.98/410.28	o 16793
393.08/410.44	o 16791
393.24/410.61	o 16790
393.41/410.77	o 16788
393.57/410.98	o 16785
393.73/411.14	o 16783
394.02/411.30	o 16782
394.05/411.47	o 16780
394.21/411.64	o 16779
394.37/411.80	o 16777
394.54/411.96	o 16774
394.70/412.12	o 16772
394.86/412.30	o 16771
395.11/412.47	o 16769
395.20/412.68	o 16767
395.37/412.84	o 16766
395.52/413.00	o 16764
395.68/413.19	o 16763
395.86/413.38	o 16761
396.14/413.56	o 16760
396.24/413.75	o 16758
396.42/413.92	o 16757
396.58/414.09	o 16755
396.76/414.27	o 16753
396.92/414.49	o 16752
397.17/414.68	o 16750
397.27/414.90	o 16749
397.44/415.07	o 16747
397.62/415.25	o 16745
397.80/415.44	o 16744
397.98/415.62	o 16742
398.61/416.16	o 16731
398.69/416.66	o 16717
399.51/417.03	o 16711
399.56/417.34	o 16677
399.86/417.52	o 16676
400.04/417.69	o 16674
400.49/418.07	o 16638
400.59/418.26	o 16636
400.78/418.45	o 16634
400.96/418.88	o 16541
401.48/419.05	o 16530
401.54/419.21	o 16503
401.69/419.36	o 16488
401.87/419.51	o 16485
402.01/419.67	o 16484
402.15/419.82	o 16464
402.30/419.96	o 16461
402.48/420.17	o 16458
402.58/420.32	o 16455
402.72/420.47	o 16452
402.87/420.61	o 16373
403.01/420.76	o 16370
403.17/420.91	o 16368
403.31/421.06	o 16367
403.56/421.22	o 16365
403.60/421.36	o 16364
403.76/421.56	o 16362
403.90/421.71	o 16359
404.03/421.85	o 16356
404.17/422.00	o 16349
404.32/422.14	o 16342
404.46/422.28	o 16339
404.60/422.43	o 16336
404.74/422.66	o 16308
404.90/422.80	o 16307
405.04/422.95	o 16304
405.17/423.16	o 16302
405.32/423.36	o 16299
405.47/423.50	o 16296
405.59/423.64	o 16289
405.74/423.79	o 16284
405.87/423.92	o 16282
406.01/424.06	o 16281
406.14/424.21	o 16280
406.28/424.35	o 16277
406.43/424.50	o 16274
406.58/424.66	o 16262
406.71/424.85	o 16257
406.83/424.99	o 16254
406.99/425.13	o 16251
407.12/425.28	o 16249
407.26/425.42	o 16246
407.40/425.56	o 16243
407.66/425.70	o 16241
407.67/425.85	o 16238
407.82/425.99	o 16235
407.96/426.17	o 16202
408.10/426.31	o 16197
408.24/426.46	o 16194
408.38/426.60	o 16191
408.58/426.76	o 16183
408.77/426.90	o 16179
408.78/427.04	o 16177
408.91/427.18	o 16176
409.07/427.32	o 16175
409.21/427.46	o 16172
409.35/427.66	o 16169
409.48/427.80	o 16168
409.62/427.94	o 16167
409.76/428.08	o 16166
409.89/428.22	o 16164
410.02/428.36	o 16163
410.16/428.50	o 16161
410.30/428.64	o 16160
410.44/428.78	o 16159
410.68/428.92	o 16156
410.73/429.07	o 16148
410.86/429.21	o 16138
411.01/429.35	o 16073
411.14/429.50	o 16059
411.29/429.64	o 16049
411.42/429.78	o 16044
411.55/429.92	o 16041
411.74/430.06	o 16038
411.84/430.20	o 16035
411.99/430.34	o 16032
412.12/430.49	o 16031
412.26/430.67	o 16029
412.40/430.85	o 16028
412.53/430.99	o 16026
412.75/431.13	o 16023
412.80/431.28	o 16020
412.95/431.42	o 16018
413.09/431.57	o 16017
413.23/431.71	o 16015
413.37/431.86	o 16014
413.51/432.00	o 16013
413.65/432.15	o 16012
413.81/432.36	o 16009
413.94/432.56	o 16008
414.08/432.70	o 16007
414.23/432.85	o 16004
414.52/433.00	o 16001
414.52/433.14	o 15999
414.66/433.29	o 15998
414.80/433.44	o 15997
414.96/433.59	o 15994
415.09/433.73	o 15992
415.23/433.88	o 15991
415.38/434.03	o 15990
415.54/434.17	o 15989
415.67/434.32	o 15986
415.87/434.47	o 15983
415.96/434.61	o 15982
416.09/434.76	o 15981
416.25/434.90	o 15978
416.39/435.06	o 15975
416.53/435.21	o 15972
416.68/435.36	o 15970
416.93/435.51	o 15968
416.97/435.76	o 15965
417.10/435.91	o 15964
417.25/436.06	o 15962
417.40/436.20	o 15961
417.55/436.35	o 15960
417.69/436.49	o 15957
417.90/436.64	o 15956
417.97/436.79	o 15955
418.11/436.95	o 15953
418.28/437.10	o 15950
418.42/437.25	o 15948
418.56/437.41	o 15947
418.71/437.56	o 15945
418.98/437.72	o 15942
419.02/437.87	o 15940
419.17/438.03	o 15939
419.32/438.18	o 15937
419.48/438.34	o 15936
419.65/438.50	o 15934
419.80/438.66	o 15931
420.08/438.81	o 15929
420.11/438.98	o 15928
420.28/439.15	o 15926
420.44/439.32	o 15924
420.61/439.53	o 15923
420.77/439.69	o 15921
420.93/439.87	o 15911
421.20/440.03	o 15904
421.27/440.19	o 15903
421.42/440.35	o 15901
421.57/440.50	o 15898
421.71/440.65	o 15896
421.87/440.81	o 15895
422.02/440.96	o 15893
422.29/441.11	o 15892
422.33/441.26	o 15890
422.47/441.40	o 15887
422.61/441.56	o 15884
422.76/441.77	o 15881
422.91/441.92	o 15880
423.05/442.07	o 15879
423.32/442.22	o 15877
423.36/442.37	o 15876
423.50/442.53	o 15873
423.66/442.68	o 15872
423.80/442.83	o 15871
423.96/442.98	o 15869
424.11/443.13	o 15867
424.31/443.28	o 15865
424.40/443.43	o 15864
424.55/443.58	o 15863
424.71/443.74	o 15861
424.87/443.91	o 15860
425.03/444.07	o 15858
425.20/444.24	o 15857
425.50/444.40	o 15855
425.52/444.57	o 15854
425.68/444.73	o 15852
425.84/444.89	o 15850
425.99/445.05	o 15849
426.14/445.27	o 15847
426.42/445.45	o 15845
426.49/445.68	o 15844
426.64/445.84	o 15842
426.80/446.00	o 15841
426.96/446.17	o 15840
427.13/446.34	o 15839
427.29/446.50	o 15837
427.44/446.66	o 15836
427.61/446.88	o 15834
427.77/447.04	o 15831
427.93/447.20	o 15829
428.09/447.37	o 15828
428.25/447.53	o 15826
428.45/447.70	o 15823
428.59/447.86	o 15821
428.74/448.02	o 15820
428.91/448.18	o 15818
429.07/448.34	o 15817
429.22/448.51	o 15815
429.40/448.67	o 15812
429.65/448.83	o 15810
429.70/449.01	o 15809
429.88/449.18	o 15807
430.05/449.35	o 15805
430.23/449.51	o 15804
430.38/449.67	o 15802
430.63/449.86	o 15801
430.72/450.05	o 15799
430.90/450.23	o 15798
431.10/450.42	o 15796
431.28/450.59	o 15795
431.45/450.77	o 15793
431.72/450.94	o 15791
431.79/451.13	o 15790
431.97/451.32	o 15788
432.16/451.50	o 15787
432.34/451.67	o 15785
432.50/451.85	o 15783
432.81/452.04	o 15782
432.87/452.23	o 15780
433.06/452.77	o 15737
433.60/453.09	o 15733
433.92/453.28	o 15732
434.09/453.46	o 15730
434.28/453.64	o 15728
434.47/453.83	o 15726
434.65/454.01	o 15725
434.82/454.19	o 15724
435.01/454.37	o 15723
435.17/454.54	o 15721
435.34/454.72	o 15720
435.52/455.14	o 15719
436.08/455.32	o 15718
436.12/455.50	o 15716
436.30/455.68	o 15714
436.46/455.85	o 15712
437.16/456.41	o 15711
441.06/460.37	o 15708
441.15/460.56	o 15706
441.33/460.75	o 15704
441.85/461.15	o 15703
442.77/462.13	o 15702
443.67/463.02	o 15701
443.71/463.68	o 15691
444.37/464.09	o 15688
446.96/466.33	o 15687
447.02/466.65	o 15625
447.33/467.04	o 15617
453.74/473.15	o 15614
453.84/473.54	o 15613
454.22/473.88	o 15506
454.65/474.05	o 15504
454.73/474.23	o 15501
454.90/474.62	o 15499
455.74/475.16	o 15476
455.82/475.33	o 15475
455.99/475.50	o 15472
456.16/475.67	o 15470
456.33/475.85	o 15469
456.50/476.03	o 15468
456.82/476.21	o 15467
456.87/476.39	o 15464
457.05/476.55	o 15462
457.20/476.72	o 15461
457.38/476.88	o 15459
457.53/477.06	o 15458
457.70/477.22	o 15456
458.01/477.41	o 15455
458.04/477.60	o 15453
458.23/477.78	o 15450
458.40/477.95	o 15448
458.58/478.13	o 15447
458.75/478.32	o 15445
458.99/478.50	o 15443
459.12/478.66	o 15442
459.28/478.84	o 15440
459.45/479.02	o 15439
459.64/479.20	o 15437
459.82/479.38	o 15434
460.09/479.54	o 15432
460.15/479.79	o 15430
460.31/479.95	o 15429
460.48/480.10	o 15428
460.64/480.26	o 15426
460.80/480.42	o 15423
460.95/480.57	o 15421
461.20/480.73	o 15420
461.25/480.88	o 15418
461.42/481.03	o 15417
461.56/481.19	o 15415
461.71/481.35	o 15414
461.87/481.51	o 15412
462.03/481.67	o 15409
462.29/481.82	o 15407
462.33/481.99	o 15406
462.50/482.15	o 15404
462.66/482.31	o 15401
462.81/482.46	o 15399
462.98/482.62	o 15398
463.13/482.78	o 15396
463.37/482.94	o 15395
463.44/483.10	o 15393
463.61/483.25	o 15392
463.76/483.41	o 15390
463.91/483.57	o 15388
464.06/483.73	o 15387
464.23/483.89	o 15385
464.39/484.06	o 15384
464.54/484.21	o 15383
464.69/484.36	o 15382
464.85/484.52	o 15380
465.01/484.68	o 15379
465.17/484.84	o 15377
465.46/485.01	o 15376
465.50/485.18	o 15374
465.65/485.34	o 15373
465.81/485.49	o 15371
465.97/485.64	o 15369
466.11/485.81	o 15368
466.29/485.98	o 15366
466.55/486.14	o 15365
466.61/486.38	o 15363
466.76/486.54	o 15362
466.93/486.70	o 15361
467.08/486.87	o 15358
467.25/487.07	o 15356
467.52/487.24	o 15355
467.57/487.41	o 15353
467.75/487.57	o 15350
467.90/487.73	o 15348
468.07/487.90	o 15347
468.23/488.06	o 15345
468.40/488.22	o 15342
468.68/488.40	o 15340
468.72/488.56	o 15339
468.88/488.73	o 15337
469.03/488.90	o 15336
469.19/489.06	o 15334
469.35/489.23	o 15331
469.52/489.39	o 15329
469.67/489.56	o 15328
469.83/489.73	o 15326
470.00/489.90	o 15324
470.16/490.06	o 15323
470.31/490.22	o 15321
470.48/490.41	o 15320
470.72/490.60	o 15318
470.86/490.79	o 15317
471.04/490.97	o 15315
471.23/491.15	o 15314
471.39/491.32	o 15312
471.58/491.50	o 15310
471.81/491.69	o 15309
471.94/491.88	o 15307
472.12/492.06	o 15306
472.30/492.25	o 15304
472.48/492.43	o 15302
472.64/492.62	o 15301
472.98/492.81	o 15299
474.06/493.98	o 15290
474.18/494.38	o 15289
474.59/494.79	o 15286
475.07/494.98	o 15285
477.55/497.49	o 15273
477.67/497.81	o 15103
477.99/498.13	o 15058
478.54/498.43	o 15031
478.59/498.73	o 7186
478.90/499.04	o 7184
479.45/499.35	o 7183
479.52/499.66	o 7181
479.82/499.97	o 7178
480.14/500.36	o 7166
480.65/500.65	o 7161
480.73/500.96	o 7160
481.04/501.33	o 7158
481.59/501.64	o 7155
481.64/501.95	o 7147
481.96/502.26	o 7144
482.27/502.57	o 7141
482.77/502.86	o 7139
482.86/503.33	o 7136
483.26/503.62	o 7129
484.10/504.23	o 7127
484.69/504.87	o 7123
484.80/505.52	o 7122
485.98/506.15	o 7117
486.06/506.81	o 7116
487.27/507.46	o 7114
487.92/508.18	o 7113
488.02/508.85	o 7112
489.21/509.50	o 7111
489.33/510.16	o 7110
490.55/510.85	o 7109
491.26/511.54	o 7107
491.32/512.22	o 7105
492.54/512.87	o 7104
492.63/513.53	o 7102
493.84/514.16	o 7101
494.53/514.82	o 7099
494.56/515.48	o 7097
495.82/516.15	o 7095
495.88/516.81	o 7094
497.10/517.43	o 7092
497.69/518.09	o 7088
497.81/518.74	o 7087
499.08/519.40	o 7085
499.11/520.06	o 7083
500.38/520.72	o 7082
500.99/521.38	o 7081
501.08/522.04	o 7080
501.74/522.70	o 7078
502.39/523.08	o 7075
502.76/523.46	o 7074
503.36/523.75	o 7073
503.43/524.04	o 7071
505.54/525.95	o 7068
505.63/526.34	o 7066
506.00/526.73	o 7063
506.73/527.10	o 7061
506.75/527.64	o 7060
507.62/528.02	o 7059
507.67/528.41	o 7058
508.62/529.02	o 7056
508.67/529.41	o 7053
509.05/530.06	o 7051
511.59/532.04	o 7050
520.27/540.75	o 7049
521.09/541.57	o 7048
522.68/543.18	o 7046
523.58/544.04	o 7045
523.96/544.43	o 7044
524.01/545.07	o 7043
525.76/546.22	o 7042
526.15/546.63	o 7041
526.18/547.02	o 7039
527.81/548.30	o 7036
529.81/550.37	o 7034
531.61/552.11	o 7032
533.29/553.80	o 7031
537.37/557.93	o 7030
590.01/610.65	o 7029
591.62/612.26	o 7028
592.91/613.52	o 7026
595.30/615.93	o 7024
596.69/617.37	o 7023
608.87/629.54	o 7022
608.93/630.12	o 7015
609.51/630.40	o 7014
609.77/630.70	o 7011
610.08/631.03	o 7008
610.66/631.36	o 7006
610.74/631.69	o 7005
611.06/631.99	o 7002
611.37/632.32	o 7000
611.94/632.63	o 6997
612.00/632.96	o 6995
612.33/633.29	o 6992
612.94/633.62	o 6991
612.98/633.96	o 6990
613.63/634.30	o 6989
613.91/634.65	o 6986
613.96/634.98	o 6974
614.30/635.30	o 6971
614.61/635.62	o 6968
615.19/635.94	o 6965
615.25/636.26	o 6960
615.57/636.58	o 6957
616.09/636.89	o 6952
616.20/637.20	o 6950
616.50/637.49	o 6938
616.80/637.78	o 6934
617.27/638.06	o 6931
617.35/638.35	o 6930
617.64/638.64	o 6928
618.18/639.02	o 6926
618.22/639.31	o 6923
618.52/639.60	o 6920
618.80/639.89	o 6915
619.26/640.19	o 6912
619.37/640.48	o 6911
619.66/640.77	o 6910
619.94/641.06	o 6907
620.46/641.35	o 6802
620.53/641.68	o 6801
620.86/642.02	o 6798
621.43/642.33	o 6796
621.47/642.71	o 6793
621.80/643.05	o 6792
622.14/643.39	o 6791
622.47/643.74	o 6788
622.82/644.08	o 6785
623.15/644.41	o 6784
623.73/644.73	o 6781
623.79/645.06	o 6780
624.12/645.39	o 6779
624.72/645.73	o 6776
624.79/646.05	o 6775
625.10/646.38	o 6774
625.42/646.69	o 6771
625.73/647.07	o 6770
626.12/647.45	o 6768
627.42/648.46	o 6767
627.49/648.84	o 6764
628.19/649.20	o 6737
628.23/649.58	o 6734
628.60/649.96	o 6731
629.28/650.32	o 6722
629.32/650.70	o 6719
629.71/651.08	o 6716
630.38/651.44	o 6715
630.45/651.82	o 6714
630.82/652.16	o 6695
641.95/663.07	o 6694
651.96/673.08	o 6693
673.51/694.65	o 6692
681.60/702.80	o 6691
835.62/856.82	o 6685
846.91/868.11	o 6682
869.28/890.55	o 6681
907.39/928.76	o 6680
916.68/938.05	o 6679
940.95/962.38	o 6678
948.94/970.38	o 6677
1037.08/1058.51	o 6676
1048.46/1069.93	o 6675
1064.25/1085.75	o 6674
1135.71/1157.23	o 6673
1170.99/1192.51	o 6672
1177.88/1199.47	o 6671
1186.06/1207.67	o 6670
1193.35/1214.97	o 6668
1200.24/1221.86	o 6667
1216.44/1238.09	o 6666
1226.13/1247.76	o 6665
1240.80/1262.41	o 6664
1258.68/1280.32	o 6663
1264.77/1286.43	o 6662
1301.35/1323.08	o 6661
1312.23/1334.00	o 6660
1320.13/1341.87	o 6657
1333.61/1355.38	o 6656
1344.80/1366.60	o 6655
1352.59/1374.38	o 6654
1355.49/1377.21	o 6652
1355.52/1377.67	o 6651
1355.97/1378.10	o 6649
1356.78/1378.54	o 6648
1356.83/1378.96	o 6646
1357.55/1379.38	o 6644
1357.67/1379.81	o 6642
1358.10/1380.22	o 6640
1358.86/1380.62	o 6639
1358.89/1381.03	o 6638
1359.30/1381.43	o 6637
1360.03/1381.85	o 6636
1360.13/1382.26	o 6635
1360.94/1382.70	o 6634
1360.97/1383.16	o 6632
1361.42/1383.64	o 6630
1362.18/1384.04	o 6629
1362.24/1384.46	o 6627
1362.96/1384.87	o 6625
1363.05/1385.32	o 6624
1363.52/1385.85	o 6623
1364.27/1386.26	o 6622
1364.35/1386.69	o 6621
1365.17/1387.12	o 6620
1365.21/1387.56	o 6619
1365.64/1387.98	o 6618
1366.45/1388.41	o 6617
1366.48/1388.83	o 6616
1367.34/1389.35	o 6614
1367.42/1389.89	o 6613
1368.35/1390.39	o 6611
1368.45/1390.88	o 6609
1368.94/1391.36	o 6608
1369.84/1391.81	o 6606
1369.87/1392.32	o 6604
1370.67/1392.76	o 6602
1370.77/1393.19	o 6600
1371.58/1393.63	o 6599
1371.62/1394.06	o 6597
1372.05/1394.49	o 6595
1372.85/1394.94	o 6594
1372.93/1395.41	o 6592
1373.39/1395.70	o 6579
1374.13/1396.22	o 6577
1374.18/1396.75	o 6576
1375.12/1397.26	o 6575
1375.21/1397.95	o 6574
1376.53/1398.65	o 6572
1377.12/1399.28	o 6570
1377.22/1399.90	o 6569
1378.31/1400.47	o 6567
1378.41/1401.04	o 6565
1379.50/1401.64	o 6564
1379.56/1402.18	o 6563
1380.60/1402.77	o 6562
1380.70/1403.35	o 6561
1381.69/1403.89	o 6560
1381.80/1404.47	o 6559
1382.89/1405.00	o 6558
1382.91/1405.56	o 6557
1383.87/1406.09	o 6556
1384.00/1406.75	o 6555
1385.17/1407.39	o 6554
1385.86/1408.01	o 6553
1385.90/1408.71	o 6551
1386.96/1409.29	o 6550
1387.07/1409.87	o 6548
1388.15/1410.44	o 6547
1388.21/1411.00	o 6546
1389.35/1411.63	o 6545
1389.40/1412.25	o 6544
1390.53/1412.83	o 6543
1391.13/1413.42	o 6542
1391.17/1414.06	o 6541
1392.33/1414.64	o 6540
1392.38/1415.23	o 6539
1393.52/1415.81	o 6538
1393.56/1416.40	o 6537
1461.66/1484.09	o 6536
1464.24/1486.66	o 6535
1464.95/1487.30	o 6533
1464.97/1487.59	o 6522
1468.62/1491.00	o 6521
1471.91/1494.34	o 6519
1475.31/1497.70	o 6517
1478.61/1501.03	o 6515
1481.90/1504.35	o 6514
1485.19/1507.66	o 6512
1488.50/1510.98	o 6511
1491.84/1514.32	o 6510
1495.14/1517.69	o 6509
1498.71/1521.22	o 6507
1502.12/1524.60	o 6505
1505.52/1528.00	o 6504
1508.99/1531.55	o 6502
1512.49/1535.03	o 6500
1515.77/1538.39	o 6499
1519.17/1541.72	o 6498
1522.46/1545.05	o 6497
1525.75/1548.37	o 6496
1529.15/1551.72	o 6495
1532.49/1555.12	o 6493
1535.73/1558.44	o 6492
1539.01/1561.75	o 6491
1542.51/1565.24	o 6489
1546.12/1568.84	o 6488
1549.60/1572.39	o 6486
1553.09/1575.88	o 6485
1556.68/1579.48	o 6483
1560.18/1582.95	o 6481
1563.66/1586.41	o 6480
1567.16/1589.92	o 6479
1570.53/1593.31	o 6477
1573.95/1596.70	o 6476
1577.52/1600.31	o 6474
1580.92/1603.72	o 6473
1586.49/1609.34	o 6471
1592.99/1615.81	o 6469
1593.03/1616.10	o 6451
1593.31/1616.39	o 6450
1593.59/1616.69	o 6445
1594.08/1616.99	o 6442
1594.18/1617.30	o 6440
1594.48/1617.59	o 6437
1594.77/1617.90	o 6434
1595.23/1618.19	o 6431
1595.34/1618.48	o 6430
1595.63/1618.77	o 6429
1595.93/1619.07	o 6428
1596.40/1619.37	o 6426
1596.49/1619.66	o 6423
1596.78/1619.95	o 6420
1597.30/1620.24	o 6418
1597.35/1620.53	o 6415
1597.64/1620.82	o 6413
1597.93/1621.12	o 6411
1598.45/1621.45	o 6408
1598.52/1621.74	o 6406
1598.80/1622.03	o 6405
1599.09/1622.32	o 6403
1599.62/1622.61	o 6401
1599.67/1622.90	o 6400
1599.95/1623.19	o 6398
1600.24/1623.48	o 6397
1600.73/1623.77	o 6395
1600.82/1624.06	o 6394
1601.11/1624.37	o 6393
1601.59/1624.66	o 6390
1601.67/1624.95	o 6389
1601.96/1625.24	o 6388
1602.24/1625.53	o 6385
1602.77/1625.83	o 6384
1602.81/1626.12	o 6381
1603.12/1626.41	o 6380
1603.40/1626.69	o 6379
1603.86/1626.98	o 6378
1603.97/1627.27	o 6376
1604.26/1627.56	o 6375
1604.54/1627.85	o 6372
1605.04/1628.14	o 6370
1605.11/1628.43	o 6354
1605.40/1628.72	o 6351
1605.92/1629.07	o 6348
1606.01/1629.49	o 6347
1606.39/1629.78	o 6346
1606.68/1630.07	o 6343
1607.16/1630.36	o 6340
1607.25/1630.65	o 6339
1607.55/1630.95	o 6338
1608.07/1631.24	o 6337
1608.13/1631.53	o 6336
1608.41/1631.82	o 6335
1608.69/1632.11	o 6332
1609.25/1632.40	o 6319
1609.29/1632.70	o 6301
1609.57/1632.99	o 6300
1609.86/1633.30	o 6292
1610.32/1633.59	o 6290
1614.50/1637.80	o 6287
1616.31/1639.58	o 6286
1617.10/1640.34	o 6284
1617.89/1641.14	o 6283
1617.96/1641.94	o 6282
1733.02/1756.38	o 6281
1800.04/1823.40	sh: line 1: 28225 Done                    cat /tmp/evaluation/351360-1176596887/temp/instance-351360-1176596887.opb.op
1800.04/1823.40	     28226 Terminated              | clasp-1.0 --trans=no >/tmp/evaluation/351360-1176596887/temp/instance-351360-1176596887.opb.clasp
1800.04/1823.41	c Somebody sent me a SIGTERM
1800.04/1823.41	s SATISFIABLE
1800.04/1823.41	v x166 x168 x169 x171 x181 x182 x183 x184 x186 x187 x191 x192 x193 x230 x264 x291 x691 x714 x736 x739 x741 x744 x769 x771 x774 x1052
1800.04/1823.41	v x1074 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1101 x1102
1800.04/1823.41	v x1132 x1141 x1142 x1143 x1144 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1195 x1221 x1222 x1223 x1224 x1242 x1243 x1244
1800.04/1823.41	v x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1288 x1318 x1330 x1331 x1333 x1334 x1335 x1336
1800.04/1823.41	v x1337 x1341 x1342 x1345 x1348 x1379 x1409 x1438 x1468 x1498 x1525 x1557 x1586 x1616 x1638 x1640 x1642 x1644 x1658 x1660 x1661
1800.04/1823.41	v x1663 x1665 x1667 x1676 x1677 x1680 x1682 x1686 x1687 x1691 x1692 x1694 x1696 x1698 x1701 x1702 x1704 x1706 x1708 x1718 x1719
1800.04/1823.41	v x1721 x1728 x1729 x1731 x1733 x1735 x1742 x1743 x1745 x1747 x1749 x1757 x1758 x1760 x1769 x1770 x1772 x1774 x1776 x1784 x1785
1800.04/1823.41	v x1787 x1789 x1798 x1799 x1801 x1803 x1811 x1826 x1835 x1836 x1837 x1847 x1849 x1876 x1877 x1878 x1889 x1899 x1900 x1901 x1913
1800.04/1823.41	v x1914 x1915 x1927 x1928 x1929 x1941 x1942 x1943
1800.04/1823.42	pb2clasp1: no process killed
1800.04/1823.42	clasp-1.0: no process killed
1802.03/1825.42	sh: line 1: 28236 Done                    cat /tmp/evaluation/351360-1176596887/temp/instance-351360-1176596887.opb.op
1802.03/1825.42	     28237 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/351360-1176596887/temp/instance-351360-1176596887.opb.clasp

Verifier Data (download as text)

OK	6281

Conversion Script Data (download as text)

/tmp/evaluation/351360-1176596887/instance-351360-1176596887.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node43/watcher-351360-1176596887 -o ROOT/results/node43/solver-351360-1176596887 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351360-1176596887.opb /tmp/evaluation/351360-1176596887/temp 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.94 0.96 0.98 3/64 442
/proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12268 CPUtime=0
/proc/442/stat : 442 (pbclasp) D 440 442 32460 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 107600525 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216849414757 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/442/statm: 3067 317 242 3 0 167 0

[startup+0.028124 s]
/proc/loadavg: 0.94 0.96 0.98 3/64 442
/proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12672 CPUtime=0.02
/proc/442/stat : 442 (pbclasp) R 440 442 32460 0 -1 4194304 530 0 0 0 2 0 0 0 18 0 1 0 107600525 12976128 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216849093345 0 0 4224 16384 0 0 0 17 1 0 0
/proc/442/statm: 3168 496 320 3 0 268 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12672

[startup+0.101138 s]
/proc/loadavg: 0.94 0.96 0.98 3/64 442
/proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12804 CPUtime=0.03
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 590 0 0 0 3 0 0 0 16 0 1 0 107600525 13111296 543 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858144866 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/442/statm: 3201 543 324 3 0 301 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12804

[startup+0.301151 s]
/proc/loadavg: 0.94 0.96 0.98 3/64 442
/proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=0.22
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 900 3480 0 0 4 0 16 2 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 600 343 3 0 334 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 12936

[startup+0.701186 s]
/proc/loadavg: 0.94 0.96 0.98 3/64 442
/proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=0.63
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 1246 9171 0 0 4 1 52 6 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 600 343 3 0 334 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 12936

[startup+1.50126 s]
/proc/loadavg: 0.94 0.96 0.98 2/67 500
/proc/meminfo: memFree=1696920/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1.45
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 1925 20553 0 0 6 1 124 14 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 600 343 3 0 334 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 12936

[startup+3.1014 s]
/proc/loadavg: 0.94 0.96 0.98 2/67 564
/proc/meminfo: memFree=1696624/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=2.94
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 3151 41018 0 0 8 2 255 29 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 600 343 3 0 334 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 12936

[startup+6.30167 s]
/proc/loadavg: 0.94 0.96 0.98 2/68 748
/proc/meminfo: memFree=1697040/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=5.95
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 5619 82752 0 0 13 5 519 58 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858144866 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/442/statm: 3234 600 343 3 0 334 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 12936

[startup+12.7022 s]
/proc/loadavg: 1.03 0.97 0.98 2/67 1117
/proc/meminfo: memFree=1696344/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=12.11
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 10691 168519 0 0 24 10 1059 118 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 600 343 3 0 334 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 12936

[startup+25.5013 s]
/proc/loadavg: 1.02 0.97 0.98 2/67 1851
/proc/meminfo: memFree=1696024/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=24.22
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 20553 335102 0 0 45 20 2121 236 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 600 343 3 0 334 0
Current children cumulated CPU time (s) 24.22
Current children cumulated vsize (KiB) 12936

[startup+51.1016 s]
/proc/loadavg: 1.01 0.97 0.98 1/66 3293
/proc/meminfo: memFree=1696672/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=48.73
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 40605 673782 0 0 87 41 4263 482 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 600 343 3 0 334 0
Current children cumulated CPU time (s) 48.73
Current children cumulated vsize (KiB) 12936

[startup+102.306 s]
/proc/loadavg: 1.05 0.99 0.99 2/67 6160
/proc/meminfo: memFree=1695256/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=97.52
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 80382 1344907 0 0 168 86 8540 958 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 601 343 3 0 334 0
Current children cumulated CPU time (s) 97.52
Current children cumulated vsize (KiB) 12936

[startup+162.301 s]
/proc/loadavg: 1.02 0.99 0.99 2/67 9432
/proc/meminfo: memFree=1694872/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=155.44
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 127138 2127985 0 0 260 143 13621 1520 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 601 343 3 0 334 0
Current children cumulated CPU time (s) 155.44
Current children cumulated vsize (KiB) 12936

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/67 12616
/proc/meminfo: memFree=1694552/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=213.14
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 171798 2877835 0 0 350 195 18712 2057 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 601 343 3 0 334 0
Current children cumulated CPU time (s) 213.14
Current children cumulated vsize (KiB) 12936

[startup+282.302 s]
/proc/loadavg: 1.04 1.00 0.99 2/68 15720
/proc/meminfo: memFree=1694800/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=270.81
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 215425 3623354 0 0 438 244 23809 2590 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 601 343 3 0 334 0
Current children cumulated CPU time (s) 270.81
Current children cumulated vsize (KiB) 12936

[startup+342.302 s]
/proc/loadavg: 1.22 1.05 1.01 2/67 18688
/proc/meminfo: memFree=1693784/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=328.52
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 256565 4325544 0 0 519 298 28946 3089 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 601 343 3 0 334 0
Current children cumulated CPU time (s) 328.52
Current children cumulated vsize (KiB) 12936

[startup+402.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/67 21725
/proc/meminfo: memFree=1694360/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=385.61
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 299046 5054097 0 0 605 349 34006 3601 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 601 343 3 0 334 0
Current children cumulated CPU time (s) 385.61
Current children cumulated vsize (KiB) 12936

[startup+462.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/67 24328
/proc/meminfo: memFree=1692440/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=442.82
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 334751 5668925 0 0 677 393 39177 4035 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 601 343 3 0 334 0
Current children cumulated CPU time (s) 442.82
Current children cumulated vsize (KiB) 12936

[startup+522.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 25672
/proc/meminfo: memFree=1692312/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=501.74
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 353723 5998133 0 0 717 414 44771 4272 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
Current children cumulated CPU time (s) 501.74
Current children cumulated vsize (KiB) 12936

[startup+522.602 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 25688
/proc/meminfo: memFree=1692568/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=501.74
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 353723 5998133 0 0 717 414 44771 4272 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=25686] ppid=442 vsize=5352 CPUtime=0
/proc/25686/stat : 25686 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 107652731 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25686/statm: 1338 224 188 169 0 49 0
[pid=25688] ppid=25686 vsize=3832 CPUtime=0.53
/proc/25688/stat : 25688 (clasp-1.0) R 25686 442 32460 0 -1 4194304 605 0 0 0 53 0 0 0 22 0 1 0 107652731 3923968 567 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134789632 0 0 4096 0 0 0 0 17 1 0 0
/proc/25688/statm: 958 567 249 81 0 332 0
Current children cumulated CPU time (s) 502.27
Current children cumulated vsize (KiB) 22120

# WARNING:
# current cumulated CPU time (501.74 s) is less than in the last sample (502.27 s)
# The time of a child was probably not reported to its father.

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


[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27538
/proc/meminfo: memFree=1690912/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1519.22
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 380404 6493268 0 0 769 447 146089 4617 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=27536] ppid=442 vsize=5352 CPUtime=0
/proc/27536/stat : 27536 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 107754699 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27536/statm: 1338 224 188 169 0 49 0
[pid=27538] ppid=27536 vsize=3968 CPUtime=0.55
/proc/27538/stat : 27538 (clasp-1.0) R 27536 442 32460 0 -1 4194304 629 0 0 0 55 0 0 0 21 0 1 0 107754700 4063232 591 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784670 0 0 4096 0 0 0 0 17 0 0 0
/proc/27538/statm: 992 591 249 81 0 366 0
Current children cumulated CPU time (s) 1519.77
Current children cumulated vsize (KiB) 22256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 27674
/proc/meminfo: memFree=1690152/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1577.56
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 382342 6532464 0 0 773 450 151887 4646 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=27672] ppid=442 vsize=5352 CPUtime=0
/proc/27672/stat : 27672 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 107760558 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27672/statm: 1338 224 188 169 0 49 0
[pid=27674] ppid=27672 vsize=4236 CPUtime=1.95
/proc/27674/stat : 27674 (clasp-1.0) R 27672 442 32460 0 -1 4194304 718 0 0 0 195 0 0 0 25 0 1 0 107760558 4337664 680 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 0 0 0
/proc/27674/statm: 1059 680 249 81 0 433 0
Current children cumulated CPU time (s) 1579.51
Current children cumulated vsize (KiB) 22524

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28218
/proc/meminfo: memFree=1686896/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1618.76
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390234 6667407 0 0 788 459 155888 4741 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=28216] ppid=442 vsize=5352 CPUtime=0
/proc/28216/stat : 28216 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 107764721 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28216/statm: 1338 224 188 169 0 49 0
[pid=28218] ppid=28216 vsize=7492 CPUtime=20.31
/proc/28218/stat : 28218 (clasp-1.0) R 28216 442 32460 0 -1 4194304 1535 0 0 0 2030 1 0 0 25 0 1 0 107764721 7671808 1497 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784651 0 0 4096 0 0 0 0 17 0 0 0
/proc/28218/statm: 1873 1497 249 81 0 1247 0
Current children cumulated CPU time (s) 1639.07
Current children cumulated vsize (KiB) 25780

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28218
/proc/meminfo: memFree=1685424/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1618.76
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390234 6667407 0 0 788 459 155888 4741 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=28216] ppid=442 vsize=5352 CPUtime=0
/proc/28216/stat : 28216 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 107764721 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28216/statm: 1338 224 188 169 0 49 0
[pid=28218] ppid=28216 vsize=9016 CPUtime=80.28
/proc/28218/stat : 28218 (clasp-1.0) R 28216 442 32460 0 -1 4194304 1899 0 0 0 8027 1 0 0 25 0 1 0 107764721 9232384 1861 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784714 0 0 4096 0 0 0 0 17 0 0 0
/proc/28218/statm: 2254 1861 249 81 0 1628 0
Current children cumulated CPU time (s) 1699.04
Current children cumulated vsize (KiB) 27304

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28226
/proc/meminfo: memFree=1686192/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1733.13
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390348 6671460 0 0 789 459 167321 4744 15 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=28224] ppid=442 vsize=5352 CPUtime=0
/proc/28224/stat : 28224 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 107776165 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28224/statm: 1338 224 188 169 0 49 0
[pid=28226] ppid=28224 vsize=8052 CPUtime=25.85
/proc/28226/stat : 28226 (clasp-1.0) R 28224 442 32460 0 -1 4194304 1663 0 0 0 2585 0 0 0 25 0 1 0 107776166 8245248 1625 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616320 0 0 4096 0 0 0 0 17 0 0 0
/proc/28226/statm: 2013 1625 249 81 0 1387 0
Current children cumulated CPU time (s) 1758.98
Current children cumulated vsize (KiB) 26340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1823.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28226
/proc/meminfo: memFree=1684976/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1733.13
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390348 6671460 0 0 789 459 167321 4744 15 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=28224] ppid=442 vsize=5352 CPUtime=0
/proc/28224/stat : 28224 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 107776165 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28224/statm: 1338 224 188 169 0 49 0
[pid=28226] ppid=28224 vsize=9288 CPUtime=66.91
/proc/28226/stat : 28226 (clasp-1.0) R 28224 442 32460 0 -1 4194304 1970 0 0 0 6691 0 0 0 25 0 1 0 107776166 9510912 1932 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784665 0 0 4096 0 0 0 0 17 0 0 0
/proc/28226/statm: 2322 1932 249 81 0 1696 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 27576

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1823.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28237
/proc/meminfo: memFree=1690392/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1800.08
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390514 6675221 0 0 789 460 174013 4746 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=28235] ppid=442 vsize=5352 CPUtime=0
/proc/28235/stat : 28235 (sh) S 442 442 32460 0 -1 4194304 288 121 0 0 0 0 0 0 18 0 1 0 107782869 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28235/statm: 1338 224 188 169 0 49 0
[pid=28237] ppid=28235 vsize=3696 CPUtime=0.35
/proc/28237/stat : 28237 (clasp-1.0) R 28235 442 32460 0 -1 4194304 584 0 0 0 35 0 0 0 20 0 1 0 107782869 3784704 546 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713955 0 0 4096 0 0 0 0 17 0 0 0
/proc/28237/statm: 924 546 249 81 0 298 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 21984

[startup+1824.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28237
/proc/meminfo: memFree=1690392/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1800.08
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390514 6675221 0 0 789 460 174013 4746 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=28235] ppid=442 vsize=5352 CPUtime=0
/proc/28235/stat : 28235 (sh) S 442 442 32460 0 -1 4194304 288 121 0 0 0 0 0 0 18 0 1 0 107782869 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28235/statm: 1338 224 188 169 0 49 0
[pid=28237] ppid=28235 vsize=4352 CPUtime=1.15
/proc/28237/stat : 28237 (clasp-1.0) R 28235 442 32460 0 -1 4194304 729 0 0 0 115 0 0 0 25 0 1 0 107782869 4456448 691 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 5166715 0 0 4096 0 0 0 0 17 0 0 0
/proc/28237/statm: 1088 691 249 81 0 462 0
Current children cumulated CPU time (s) 1801.23
Current children cumulated vsize (KiB) 22640

[startup+1825 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28237
/proc/meminfo: memFree=1689368/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1800.08
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390514 6675221 0 0 789 460 174013 4746 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=28235] ppid=442 vsize=5352 CPUtime=0
/proc/28235/stat : 28235 (sh) S 442 442 32460 0 -1 4194304 288 121 0 0 0 0 0 0 18 0 1 0 107782869 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28235/statm: 1338 224 188 169 0 49 0
[pid=28237] ppid=28235 vsize=5124 CPUtime=1.55
/proc/28237/stat : 28237 (clasp-1.0) R 28235 442 32460 0 -1 4194304 918 0 0 0 155 0 0 0 25 0 1 0 107782869 5246976 880 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134741904 0 0 4096 0 0 0 0 17 0 0 0
/proc/28237/statm: 1281 880 249 81 0 655 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 23412

[startup+1825.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 28237
/proc/meminfo: memFree=1689368/2055920 swapFree=4191892/4192956
[pid=442] ppid=440 vsize=12936 CPUtime=1800.08
/proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390514 6675221 0 0 789 460 174013 4746 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/442/statm: 3234 602 343 3 0 334 0
[pid=28235] ppid=442 vsize=5352 CPUtime=0
/proc/28235/stat : 28235 (sh) S 442 442 32460 0 -1 4194304 288 121 0 0 0 0 0 0 18 0 1 0 107782869 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28235/statm: 1338 224 188 169 0 49 0
[pid=28237] ppid=28235 vsize=5124 CPUtime=1.95
/proc/28237/stat : 28237 (clasp-1.0) R 28235 442 32460 0 -1 4194304 942 0 0 0 195 0 0 0 25 0 1 0 107782869 5246976 904 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713938 0 0 4096 0 0 0 0 17 0 0 0
/proc/28237/statm: 1281 904 249 81 0 655 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 23412

Child status: 0

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

Real time (s): 1825.43
CPU time (s): 1802.76
CPU user time (s): 1750.68
CPU system time (s): 52.0821
CPU usage (%): 98.7586
Max. virtual memory (cumulated for all children) (KiB): 30584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750
system time used= 52.0821
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7067299
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= 267277
involuntary context switches= 111543

runsolver used 1.88071 second user time and 5.01024 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Sun Apr 15 00:28:07 UTC 2007

IDJOB= 351360
IDBENCH= 1728
IDSOLVER= 167
FILE ID= node43/351360-1176596887

PBS_JOBID= 4557010

Free space on /tmp= 66564 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb
COMMAND LINE= pbclasp instance-351360-1176596887.opb /tmp/evaluation/351360-1176596887/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node43/convwatcher-351360-1176596887 -o ROOT/results/node43/conversion-351360-1176596887 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351360-1176596887/instance-351360-1176596887.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-351360-1176596887 -o ROOT/results/node43/solver-351360-1176596887 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-351360-1176596887.opb /tmp/evaluation/351360-1176596887/temp

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  51e821dd343df6d9e97b4cdfcd83ec3f

RANDOM SEED= 867107168

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1700000 kB
Buffers:          9520 kB
Cached:         245696 kB
SwapCached:        396 kB
Active:          54676 kB
Inactive:       215640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1700000 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:             716 kB
Writeback:           0 kB
Mapped:          23880 kB
Slab:            71672 kB
Committed_AS:   147312 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66564 MiB

End job on node43 on Sun Apr 15 00:58:33 UTC 2007