0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
0.59/0.63	o 536870912
0.59/0.64	o 536805376
0.79/0.83	o 536803328
11.89/12.00	o 536541192
11.89/12.01	o 536410120
11.89/12.01	o 536377352
12.00/12.02	o 536360968
12.00/12.02	o 536356872
12.00/12.03	o 534259720
12.00/12.04	o 533211144
12.00/12.04	o 529016840
12.00/12.05	o 520628232
12.00/12.06	o 520103944
12.00/12.06	o 520095752
12.00/12.07	o 520095744
12.00/12.07	o 520093696
12.00/12.08	o 503316480
12.00/12.09	o 369098752
14.39/14.40	o 268173312
14.39/14.42	o 267911168
14.39/14.43	o 266862592
14.39/14.44	o 264765440
14.39/14.46	o 264503296
14.39/14.47	o 247726080
14.99/15.05	o 234874888
14.99/15.06	o 234874880
14.99/15.07	o 234872832
14.99/15.08	o 234807296
14.99/15.08	o 234799104
14.99/15.09	o 234668032
14.99/15.10	o 234651648
15.09/15.10	o 234618880
15.09/15.11	o 234356736
15.09/15.12	o 233308160
15.09/15.12	o 216530944
15.09/15.13	o 208142336
15.09/15.14	o 203948032
15.09/15.15	o 203685888
15.09/15.16	o 201588736
16.89/16.95	o 201490432
16.89/16.96	o 201457664
16.89/16.97	o 201424896
16.89/16.99	o 201424384
16.99/17.00	o 201424256
16.99/17.01	o 201424224
16.99/17.01	o 201424222
16.99/17.02	o 201424221
16.99/17.02	o 201424220
16.99/17.03	o 201424216
16.99/17.05	o 201424212
16.99/17.05	o 201424196
16.99/17.06	o 201423972
16.99/17.06	o 201423968
16.99/17.07	o 201423964
16.99/17.07	o 201423960
16.99/17.08	o 201423944
16.99/17.09	o 201423936
16.99/17.09	o 201423904
17.09/17.10	o 201423892
17.09/17.11	o 201423888
17.09/17.12	o 201423880
17.09/17.13	o 201423872
18.10/18.15	o 201420799
18.10/18.15	o 201412607
18.10/18.16	o 201396223
18.10/18.17	o 201394175
18.10/18.18	o 201394174
18.10/18.18	o 201394172
18.10/18.19	o 201394168
18.20/18.20	o 201394160
18.20/18.21	o 201394096
18.20/18.21	o 201393584
18.20/18.22	o 201393552
18.20/18.23	o 201393536
18.20/18.24	o 201328000
18.20/18.25	o 201327872
18.20/18.26	o 201327616
18.20/18.27	o 201326592
18.20/18.28	o 134217728
18.40/18.49	o 67503104
18.50/18.50	o 67502080
18.50/18.51	o 67371008
18.50/18.56	o 67110272
18.50/18.57	o 67110016
18.50/18.58	o 67109888
18.50/18.59	o 67109760
18.50/18.61	o 67109504
18.50/18.61	o 67109440
18.60/18.62	o 67109412
18.60/18.62	o 67109411
18.60/18.63	o 67109410
18.60/18.64	o 67109409
18.60/18.64	o 67109380
18.60/18.65	o 67109378
18.60/18.65	o 67109377
18.60/18.66	o 67109376
18.60/18.67	o 67108864
19.60/19.66	o 66322559
19.60/19.67	o 66322557
19.60/19.68	o 66322493
19.60/19.68	o 66322492
19.60/19.69	o 66322476
19.60/19.70	o 66322468
19.60/19.70	o 66322436
19.60/19.71	o 66322432
19.70/19.72	o 62128128
19.70/19.72	o 61079552
19.70/19.73	o 58982400
19.70/19.74	o 58720256
19.70/19.74	o 56623104
19.70/19.75	o 56377344
19.70/19.76	o 56361984
19.70/19.76	o 56361856
19.70/19.77	o 56361792
19.70/19.78	o 56361776
19.70/19.78	o 56361775
19.70/19.79	o 56361771
19.70/19.80	o 56361770
19.70/19.81	o 56361768
19.70/19.81	o 56361760
19.81/19.82	o 56361739
19.81/19.82	o 56361737
19.81/19.83	o 56361736
19.81/19.84	o 56076800
19.81/19.85	o 56076288
19.81/19.85	o 55945216
19.81/19.86	o 55879680
19.81/19.86	o 55846912
19.81/19.87	o 55844864
19.81/19.88	o 55837472
19.81/19.88	o 55837448
19.89/19.91	o 55810816
19.89/19.92	o 55810560
19.89/19.93	o 55810048
19.89/19.93	o 55808000
19.89/19.94	o 55676928
19.89/19.95	o 55611392
19.89/19.95	o 55578624
19.89/19.96	o 54530048
19.89/19.96	o 54525952
19.89/19.97	o 52428800
19.89/19.98	o 51904512
19.89/19.98	o 51643168
19.89/19.99	o 51643144
19.99/20.00	o 51643136
19.99/20.02	o 51380992
29.90/29.92	o 51217376
29.90/29.93	o 51217344
29.90/29.93	o 51217088
29.90/29.94	o 51216576
29.90/29.94	o 51216448
29.90/29.95	o 51216384
29.90/29.96	o 51150848
29.90/29.98	o 51118144
29.90/29.99	o 51118112
30.00/30.00	o 51118111
30.00/30.01	o 51118109
30.00/30.01	o 51118101
30.00/30.02	o 51118097
30.00/30.02	o 51118096
30.00/30.03	o 51118080
44.10/44.16	o 46659600
44.10/44.17	o 46651408
44.10/44.18	o 46647312
44.10/44.19	o 46647296
44.10/44.20	o 46645248
44.20/44.23	o 46514176
44.20/44.24	o 46252032
44.20/44.24	o 46235648
44.20/44.25	o 46233600
44.20/44.26	o 46232608
44.20/44.26	o 46232576
44.20/44.27	o 46231808
44.20/44.28	o 46231712
44.20/44.28	o 46231704
44.20/44.29	o 46228120
44.30/44.30	o 46228104
44.30/44.30	o 46227976
44.30/44.31	o 46227968
44.30/44.32	o 46227608
44.30/44.35	o 46227583
44.30/44.36	o 46227582
44.30/44.37	o 46227580
44.30/44.37	o 46227576
44.30/44.38	o 46227568
44.30/44.38	o 46227552
44.30/44.39	o 46227520
44.30/44.40	o 46227473
44.40/44.40	o 46227472
44.80/44.88	o 46227456
44.80/44.89	o 46211072
44.80/44.90	o 46145536
44.90/44.90	o 46137344
44.90/44.91	o 41943040
44.90/44.96	o 33562624
44.90/44.96	o 33561728
44.90/44.97	o 33561680
44.90/44.98	o 33561664
44.90/44.99	o 33561600
45.20/45.28	o 33560576
45.20/45.29	o 33558528
45.30/45.30	o 33554432
46.50/46.59	o 31462260
46.50/46.59	o 31462196
46.60/46.60	o 31462192
46.60/46.61	o 31462160
46.60/46.61	o 31462144
46.60/46.62	o 31461888
46.60/46.63	o 31461376
46.60/46.63	o 31457280
46.60/46.64	o 27267072
46.60/46.65	o 25169920
46.60/46.66	o 25165824
46.60/46.66	o 18874368
46.60/46.69	o 16777984
46.60/46.69	o 16777728
46.69/46.70	o 16777472
46.69/46.72	o 16777232
46.69/46.73	o 16777220
46.69/46.74	o 16777216
47.99/48.08	o 16752660
47.99/48.09	o 16752644
47.99/48.09	o 16752640
48.09/48.10	o 16744448
48.09/48.11	o 16711680
48.09/48.11	o 16646144
48.09/48.12	o 16515072
48.09/48.13	o 16482304
48.09/48.14	o 16449536
48.19/48.23	o 16416768
48.19/48.24	o 16412672
48.19/48.25	o 16404480
48.19/48.26	o 16388096
48.19/48.27	o 16387076
48.19/48.27	o 16387074
48.19/48.28	o 16386050
48.19/48.28	o 16386048
48.19/48.29	o 16384004
48.19/48.30	o 16384001
48.19/48.31	o 16384000
49.09/49.11	o 16382005
49.09/49.11	o 16381973
49.09/49.12	o 16381957
49.09/49.12	o 16381956
49.09/49.13	o 16381952
49.09/49.14	o 16379904
49.09/49.14	o 16347136
49.09/49.15	o 16281600
49.09/49.15	o 15757312
49.09/49.16	o 15740928
49.09/49.17	o 15736832
49.09/49.17	o 15728640
49.09/49.18	o 14680064
49.09/49.18	o 12582912
49.09/49.19	o 11534336
49.19/49.23	o 9449472
49.19/49.23	o 9447936
49.19/49.24	o 9445888
49.19/49.25	o 9441792
49.19/49.25	o 9439744
49.19/49.26	o 9439736
49.19/49.27	o 9439734
49.30/49.35	o 9439730
49.30/49.36	o 9439728
49.30/49.36	o 9439718
49.30/49.37	o 9439716
49.30/49.37	o 9439714
49.40/49.45	o 9439712
49.40/49.45	o 9439680
49.40/49.46	o 9439664
49.40/49.47	o 9439650
49.51/49.57	o 9439640
49.51/49.57	o 9439624
49.51/49.58	o 9439618
49.60/49.65	o 9439524
49.60/49.66	o 9439520
49.60/49.66	o 9439490
49.60/49.67	o 9439488
49.60/49.69	o 9439232
49.80/49.83	o 9437184
49.80/49.85	o 8388609
49.80/49.86	o 8388608
49.80/49.88	o 8355840
49.80/49.89	o 8351744
49.90/49.98	o 8255488
49.90/49.98	o 8253440
49.90/49.99	o 8245248
50.00/50.00	o 8228864
50.00/50.00	o 8224768
50.00/50.03	o 8208384
50.00/50.04	o 8207266
50.00/50.05	o 8207264
50.00/50.06	o 8207232
50.00/50.07	o 8207104
50.00/50.07	o 8207074
50.00/50.08	o 8207072
50.00/50.09	o 8207040
50.00/50.09	o 8207010
50.10/50.11	o 8207008
50.10/50.11	o 8206752
50.10/50.12	o 8206720
50.10/50.13	o 8206592
50.10/50.13	o 8206498
50.10/50.15	o 8205944
50.10/50.16	o 8205912
50.10/50.16	o 8205904
50.10/50.17	o 8205888
50.10/50.18	o 8205824
50.10/50.18	o 8205312
50.10/50.19	o 8201216
50.10/50.20	o 8200192
50.20/50.20	o 8198656
50.20/50.21	o 8198400
50.20/50.22	o 8198336
50.20/50.22	o 8198312
50.20/50.23	o 8198310
50.20/50.24	o 8198308
50.20/50.25	o 8198306
50.20/50.26	o 8198304
50.20/50.26	o 8198280
50.20/50.27	o 8198276
50.20/50.28	o 8198274
50.40/50.48	o 8198272
50.40/50.48	o 8197120
50.40/50.49	o 8196608
50.40/50.50	o 8196352
50.40/50.51	o 8196224
50.40/50.51	o 8194048
50.50/50.52	o 8192512
50.50/50.53	o 8192256
50.50/50.53	o 8192128
50.80/50.87	o 8192000
50.80/50.88	o 8126464
50.80/50.89	o 7864320
50.90/50.91	o 7667712
50.90/50.91	o 7610368
50.90/50.92	o 7604224
50.90/50.92	o 7603328
50.90/50.93	o 7603232
50.90/50.94	o 7603204
50.90/50.95	o 7603200
51.10/51.13	o 7603199
51.10/51.14	o 7603197
51.10/51.15	o 7603196
51.10/51.15	o 7603164
51.10/51.16	o 7603160
51.10/51.17	o 7603032
51.10/51.17	o 7603024
51.10/51.18	o 7603008
51.10/51.19	o 7602944
51.10/51.19	o 7602432
51.20/51.20	o 7602176
51.20/51.22	o 7340032
51.20/51.27	o 6816064
51.20/51.27	o 6816000
51.20/51.28	o 6815744
51.30/51.32	o 6619136
51.30/51.33	o 6579200
51.30/51.33	o 6579008
51.30/51.34	o 6578993
51.30/51.35	o 6578992
51.30/51.35	o 6578976
51.30/51.36	o 6578944
51.30/51.37	o 6578496
51.30/51.37	o 6578481
54.70/54.73	o 6578479
54.70/54.74	o 6578478
54.70/54.75	o 6578470
54.70/54.76	o 6578466
54.70/54.77	o 6578464
54.70/54.77	o 6578208
54.70/54.78	o 6578176
54.70/54.79	o 6561792
54.80/54.80	o 6553600
54.80/54.80	o 6291456
54.80/54.81	o 6234624
54.80/54.82	o 6234210
54.80/54.83	o 6234208
56.80/56.86	o 6234160
56.80/56.86	o 6234144
56.80/56.87	o 6234112
56.80/56.88	o 6103040
56.80/56.89	o 6094864
56.90/56.90	o 6094849
56.90/56.91	o 6094848
57.10/57.17	o 6094847
57.10/57.18	o 6094831
57.10/57.19	o 6094799
57.10/57.19	o 6086607
57.10/57.20	o 6082511
57.10/57.21	o 6082509
57.21/57.22	o 6082501
57.21/57.22	o 6081989
57.21/57.23	o 6081985
57.21/57.24	o 6065601
57.21/57.24	o 6064577
57.21/57.25	o 6064449
57.21/57.26	o 6064448
57.21/57.26	o 6064384
57.21/57.27	o 6064128
57.21/57.28	o 5539840
57.21/57.28	o 5537792
57.21/57.29	o 5275648
57.30/57.30	o 5242880
57.30/57.31	o 4980736
57.30/57.31	o 4947968
57.30/57.32	o 4946272
57.30/57.32	o 4946257
57.30/57.33	o 4946256
57.30/57.34	o 4946112
57.30/57.35	o 4946048
57.30/57.35	o 4944000
57.30/57.36	o 4943872
57.30/57.36	o 4942208
57.30/57.37	o 4942176
57.30/57.38	o 4942160
58.40/58.49	o 4194303
58.50/58.50	o 4194239
58.50/58.51	o 4194231
58.50/58.52	o 4194229
58.50/58.53	o 4194225
58.50/58.54	o 4194224
58.50/58.55	o 4194192
58.50/58.55	o 4194176
58.50/58.56	o 4194048
58.50/58.57	o 4193792
58.50/58.58	o 4192768
58.60/58.60	o 4192256
58.60/58.61	o 4190208
58.60/58.62	o 4186112
58.60/58.63	o 4185600
58.60/58.64	o 4185592
58.60/58.64	o 4185587
58.60/58.65	o 4185566
58.60/58.66	o 4185558
58.60/58.67	o 4185556
58.60/58.67	o 4185555
58.60/58.68	o 4185507
58.60/58.69	o 4185506
58.60/58.69	o 4185504
58.70/58.70	o 4185491
58.70/58.72	o 4185489
58.70/58.72	o 4185473
58.70/58.73	o 4185217
58.70/58.74	o 4185089
58.70/58.74	o 4185088
58.70/58.75	o 4184467
58.70/58.75	o 4184463
58.70/58.76	o 4184462
58.70/58.77	o 4184460
58.70/58.77	o 4184332
58.70/58.78	o 4184328
58.70/58.79	o 4184320
58.80/58.80	o 4184067
58.80/58.81	o 4184066
58.80/58.82	o 4184064
58.80/58.88	o 4182016
58.80/58.89	o 4177920
58.90/58.90	o 4112384
58.90/58.91	o 4111367
58.90/58.91	o 4111366
58.90/58.92	o 4111364
58.90/58.93	o 4109316
58.90/58.93	o 4109312
58.90/58.94	o 4108288
58.90/58.97	o 4104193
58.90/58.98	o 4104192
58.90/58.99	o 4102144
58.90/58.99	o 4101408
59.00/59.00	o 4101396
59.00/59.01	o 4101392
59.00/59.02	o 4100384
59.00/59.02	o 4100368
59.00/59.03	o 3506432
59.00/59.04	o 3506176
59.00/59.05	o 3473408
59.00/59.06	o 3211264
59.00/59.06	o 3145728
59.10/59.11	o 2883584
59.10/59.14	o 2621440
59.10/59.15	o 2551812
59.10/59.16	o 2551808
59.20/59.20	o 2519044
59.20/59.21	o 2519040
59.20/59.22	o 2510848
59.20/59.22	o 2502656
59.20/59.23	o 2498560
59.20/59.25	o 2494464
59.20/59.29	o 2491685
59.20/59.30	o 2491681
59.20/59.31	o 2491680
59.20/59.31	o 2491648
59.30/59.32	o 2491392
59.30/59.33	o 2490368
59.30/59.33	o 2428960
59.30/59.34	o 2428939
59.30/59.35	o 2428938
59.30/59.35	o 2428936
59.30/59.36	o 2428928
59.30/59.37	o 2427904
59.90/59.98	o 2426880
60.00/60.01	o 2361344
60.00/60.01	o 2359296
60.00/60.02	o 2097152
60.00/60.09	o 1381476
60.00/60.09	o 1381412
60.09/60.10	o 1377316
60.09/60.11	o 1377284
60.09/60.12	o 1377280
60.09/60.16	o 1376356
60.09/60.17	o 1376292
60.09/60.18	o 1376260
60.09/60.18	o 1376256
60.19/60.20	o 1310720
60.19/60.23	o 1179648
60.19/60.28	o 1048576
60.19/60.29	o 917504
60.40/60.42	o 869380
60.40/60.42	o 869376
60.40/60.45	o 868352
60.79/60.85	o 819195
60.79/60.85	o 818171
60.79/60.86	o 817915
60.79/60.87	o 817403
60.79/60.87	o 817387
60.79/60.88	o 817259
60.79/60.89	o 817258
60.79/60.89	o 817250
60.89/60.90	o 817186
60.89/60.91	o 817184
60.89/60.91	o 817152
60.89/60.93	o 815152
60.89/60.93	o 815147
60.89/60.94	o 815146
60.89/60.95	o 815145
60.89/60.96	o 815144
60.89/60.96	o 815136
60.89/60.97	o 815120
60.89/60.97	o 815114
60.89/60.98	o 815113
60.89/60.99	o 815112
60.89/61.00	o 815106
60.99/61.00	o 815104
60.99/61.02	o 811056
60.99/61.03	o 811024
60.99/61.04	o 811008
60.99/61.09	o 802864
61.09/61.10	o 802863
61.09/61.11	o 802861
61.09/61.12	o 802860
61.09/61.13	o 802857
61.09/61.13	o 802849
61.09/61.14	o 802833
61.09/61.14	o 802832
61.09/61.15	o 802828
61.09/61.16	o 802824
62.49/62.52	o 802823
62.49/62.53	o 802819
62.49/62.54	o 802818
63.09/63.19	o 786245
63.19/63.20	o 786244
63.19/63.21	o 786240
63.19/63.22	o 786176
63.19/63.22	o 785920
63.19/63.23	o 785408
63.19/63.24	o 783360
63.19/63.24	o 782336
63.19/63.25	o 778240
63.19/63.26	o 776128
63.19/63.27	o 776100
63.19/63.27	o 776098
63.19/63.28	o 776096
63.19/63.29	o 776088
63.29/63.30	o 776080
63.29/63.31	o 775888
63.29/63.31	o 775856
63.29/63.32	o 775840
63.29/63.33	o 775808
63.29/63.33	o 775712
63.29/63.34	o 775424
63.29/63.34	o 775296
63.29/63.35	o 775200
63.70/63.79	o 775176
63.70/63.79	o 775168
63.70/63.80	o 774144
63.70/63.81	o 770048
63.81/63.82	o 757760
63.81/63.83	o 753664
63.81/63.85	o 720896
64.09/64.13	o 693248
64.09/64.13	o 692224
64.09/64.14	o 688128
64.09/64.15	o 659456
64.09/64.17	o 654344
64.09/64.18	o 654336
64.09/64.19	o 653824
64.09/64.19	o 653440
64.19/64.20	o 653376
64.19/64.21	o 653368
64.19/64.22	o 653360
64.19/64.23	o 653359
64.19/64.24	o 653351
64.19/64.25	o 653350
64.19/64.25	o 653348
64.19/64.26	o 653344
73.49/73.61	o 653311
73.49/73.61	o 653303
73.60/73.62	o 652791
73.60/73.63	o 652787
73.60/73.64	o 652771
73.60/73.64	o 652769
73.60/73.65	o 652705
73.60/73.66	o 652673
73.60/73.66	o 652417
73.60/73.67	o 652416
73.60/73.69	o 652288
73.60/73.71	o 635904
73.71/73.72	o 634880
74.39/74.49	o 622590
74.39/74.50	o 622462
74.49/74.50	o 622430
74.49/74.51	o 622426
74.49/74.52	o 622362
74.49/74.52	o 622360
74.49/74.53	o 622344
74.49/74.54	o 622336
74.49/74.54	o 621824
74.49/74.55	o 621568
74.49/74.56	o 619776
74.49/74.57	o 619529
74.49/74.58	o 619528
74.49/74.58	o 619520
76.70/76.70	o 606207
76.70/76.71	o 606206
76.70/76.72	o 606204
76.70/76.72	o 606200
76.70/76.73	o 606168
76.70/76.74	o 606160
76.70/76.75	o 606144
76.70/76.75	o 605120
76.70/76.76	o 601024
76.70/76.77	o 600896
76.70/76.77	o 600640
76.70/76.78	o 600144
76.70/76.79	o 600137
76.70/76.80	o 600136
76.80/76.80	o 600129
76.80/76.81	o 600096
76.80/76.81	o 600080
76.80/76.82	o 600072
76.80/76.83	o 600065
76.80/76.83	o 600064
76.80/76.85	o 598032
76.80/76.86	o 598016
77.30/77.30	o 565247
77.30/77.31	o 565231
77.30/77.32	o 565223
77.30/77.33	o 565222
77.30/77.34	o 565220
77.30/77.34	o 565188
77.30/77.35	o 565184
77.30/77.36	o 565120
77.30/77.37	o 564608
77.30/77.38	o 564480
77.30/77.39	o 563584
77.40/77.40	o 563536
99.10/99.17	o 563199
99.10/99.18	o 563197
99.10/99.18	o 563196
99.10/99.19	o 563192
99.10/99.20	o 563128
99.20/99.20	o 563000
99.20/99.21	o 562984
99.20/99.21	o 562976
99.20/99.22	o 562944
99.20/99.23	o 561920
99.20/99.23	o 561664
99.20/99.24	o 561152
99.20/99.25	o 557824
99.20/99.26	o 557568
99.30/99.33	o 557562
99.30/99.33	o 557530
99.30/99.34	o 557522
99.30/99.34	o 557520
99.30/99.35	o 557504
99.30/99.35	o 557456
99.30/99.36	o 557446
101.60/101.62	o 523647
101.60/101.63	o 523646
101.60/101.64	o 523642
101.60/101.65	o 523626
101.60/101.65	o 523624
101.60/101.66	o 523592
101.60/101.67	o 523584
101.60/101.68	o 523520
101.60/101.69	o 523328
101.70/101.70	o 523272
101.70/101.72	o 523268
101.90/101.96	o 523267
101.90/101.97	o 523266
101.90/101.98	o 523265
101.90/101.99	o 523264
102.20/102.22	o 522752
102.20/102.23	o 522368
102.20/102.24	o 522364
102.20/102.24	o 522362
102.20/102.25	o 522360
102.20/102.26	o 522356
102.20/102.26	o 522354
102.20/102.27	o 522352
102.20/102.28	o 522328
102.20/102.29	o 522320
102.20/102.29	o 522304
102.20/102.30	o 522240
102.20/102.31	o 520192
102.31/102.33	o 516160
102.31/102.34	o 516096
102.60/102.60	o 512064
102.60/102.61	o 512000
102.60/102.69	o 507904
102.70/102.70	o 491520
102.70/102.74	o 475136
102.70/102.76	o 474112
102.70/102.80	o 474111
102.80/102.80	o 474047
102.80/102.81	o 474039
102.80/102.82	o 474038
102.80/102.83	o 473526
102.80/102.83	o 473270
102.80/102.84	o 473254
102.80/102.85	o 473252
102.80/102.85	o 473124
102.80/102.86	o 473120
102.80/102.87	o 473088
102.80/102.88	o 471040
102.90/102.90	o 466944
102.90/102.91	o 466943
102.90/102.92	o 464895
102.90/102.93	o 464894
102.90/102.93	o 464892
102.90/102.94	o 464888
102.90/102.94	o 464856
102.90/102.95	o 464728
102.90/102.96	o 463704
102.90/102.96	o 463640
102.90/102.97	o 463632
102.90/102.98	o 463120
102.90/102.98	o 462864
102.90/102.99	o 462848
103.00/103.09	o 458753
103.10/103.10	o 458752
103.10/103.16	o 454657
103.10/103.17	o 454656
103.10/103.18	o 454528
103.10/103.18	o 454496
103.10/103.19	o 454480
103.20/103.20	o 454464
103.20/103.27	o 454432
103.20/103.28	o 454400
103.20/103.28	o 454144
103.20/103.29	o 453760
103.20/103.30	o 453696
103.60/103.62	o 452926
103.60/103.63	o 452922
103.60/103.63	o 452906
103.60/103.64	o 452898
103.60/103.65	o 452896
103.60/103.66	o 452864
103.60/103.67	o 452608
103.60/103.69	o 448540
103.60/103.70	o 446492
103.70/103.71	o 442876
103.70/103.72	o 442844
103.70/103.73	o 442828
103.70/103.74	o 442820
103.70/103.75	o 442816
103.70/103.75	o 442810
103.70/103.76	o 442808
103.70/103.77	o 442800
103.70/103.78	o 442792
103.70/103.78	o 442760
103.70/103.79	o 442696
103.80/103.80	o 442688
103.80/103.80	o 442672
103.80/103.81	o 442416
104.10/104.10	o 438288
104.10/104.11	o 438272
104.10/104.15	o 434207
104.10/104.16	o 434191
104.10/104.17	o 434190
104.10/104.18	o 434182
104.10/104.19	o 434178
104.20/104.20	o 434177
104.20/104.21	o 434176
104.70/104.72	o 432415
104.70/104.73	o 432414
104.70/104.73	o 432412
104.70/104.74	o 432408
104.70/104.75	o 432400
104.70/104.76	o 432384
104.70/104.76	o 432128
104.70/104.78	o 430080
104.70/104.79	o 425984
104.80/104.84	o 393472
104.80/104.86	o 393216
110.10/110.18	o 377306
110.10/110.18	o 377304
110.10/110.19	o 377288
110.10/110.19	o 377032
110.20/110.20	o 376968
110.20/110.21	o 376960
110.20/110.21	o 376832
110.20/110.25	o 311296
110.20/110.27	o 303104
110.70/110.79	o 303101
110.80/110.80	o 302973
110.80/110.81	o 302965
110.80/110.81	o 302961
110.80/110.82	o 302960
110.80/110.83	o 302928
110.80/110.84	o 302912
110.80/110.85	o 302848
110.80/110.86	o 301824
110.80/110.87	o 301712
110.80/110.88	o 301704
110.80/110.89	o 301606
110.80/110.89	o 301602
110.90/110.90	o 301600
110.90/110.91	o 301344
110.90/110.91	o 301216
110.90/110.92	o 301200
110.90/110.93	o 301192
110.90/110.93	o 301184
110.90/110.94	o 301072
110.90/110.95	o 301064
110.90/110.96	o 301056
110.90/110.98	o 299008
111.20/111.29	o 299007
111.30/111.30	o 299006
111.30/111.31	o 299004
111.30/111.32	o 299000
111.30/111.32	o 298984
111.30/111.33	o 298976
111.30/111.34	o 298848
111.30/111.35	o 298784
111.30/111.35	o 298272
111.30/111.36	o 298240
111.30/111.37	o 298016
111.50/111.56	o 296992
111.50/111.56	o 296960
111.50/111.57	o 296192
111.50/111.59	o 296016
111.50/111.59	o 296009
111.60/111.60	o 296001
111.60/111.61	o 296000
111.60/111.62	o 295976
111.60/111.62	o 295968
111.60/111.63	o 295937
112.21/112.26	o 295936
112.21/112.27	o 294912
112.30/112.32	o 288767
112.30/112.33	o 287743
112.30/112.34	o 287742
112.30/112.34	o 287740
112.30/112.35	o 287736
112.30/112.36	o 287731
112.30/112.36	o 287730
112.30/112.37	o 287729
112.30/112.38	o 287714
112.30/112.39	o 287713
112.30/112.39	o 287680
112.40/112.40	o 287616
112.40/112.41	o 287586
112.40/112.41	o 287585
112.40/112.42	o 287584
112.40/112.43	o 287074
112.40/112.43	o 287073
112.40/112.44	o 287072
112.40/112.45	o 286818
112.40/112.46	o 286817
112.40/112.46	o 286816
112.40/112.47	o 286752
112.40/112.48	o 286720
112.50/112.59	o 278912
112.60/112.60	o 278656
112.60/112.60	o 278528
113.70/113.77	o 278527
113.70/113.78	o 278525
113.70/113.79	o 278524
113.70/113.79	o 278516
113.80/113.80	o 278512
113.80/113.81	o 278496
113.80/113.82	o 278464
113.80/113.82	o 278400
113.80/113.83	o 278272
113.80/113.85	o 278016
113.80/113.87	o 278005
113.80/113.87	o 277989
113.80/113.88	o 277985
113.80/113.89	o 277953
113.90/113.90	o 277952
113.90/113.90	o 277888
113.90/113.91	o 277760
113.90/113.92	o 277504
113.90/113.93	o 277044
113.90/113.94	o 277028
113.90/113.95	o 277024
113.90/113.96	o 277012
113.90/113.96	o 277008
113.90/113.98	o 276992
113.90/113.99	o 276480
114.00/114.02	o 274421
114.00/114.03	o 274417
114.00/114.04	o 273905
114.00/114.04	o 273873
114.00/114.05	o 273857
114.00/114.06	o 273856
114.00/114.06	o 273792
114.00/114.07	o 273664
114.00/114.08	o 273408
114.30/114.38	o 272613
114.30/114.39	o 272612
114.30/114.39	o 272548
114.30/114.40	o 272544
114.30/114.41	o 272528
114.41/114.41	o 272524
114.41/114.42	o 272522
114.41/114.43	o 272520
114.41/114.44	o 272518
114.41/114.44	o 272514
114.41/114.45	o 272512
114.41/114.46	o 272416
114.41/114.47	o 272400
114.41/114.47	o 272392
114.41/114.48	o 272386
114.50/114.54	o 271104
114.50/114.55	o 270592
114.90/114.98	o 262142
114.90/115.00	o 262140
115.00/115.01	o 262124
115.00/115.02	o 262120
115.00/115.03	o 262088
115.00/115.04	o 262024
115.00/115.05	o 261896
115.00/115.06	o 261888
115.00/115.07	o 261632
115.00/115.09	o 261120
115.20/115.28	o 261104
115.20/115.29	o 261088
115.30/115.30	o 261056
115.30/115.31	o 260992
115.30/115.33	o 260736
115.30/115.34	o 260610
115.30/115.35	o 260608
115.80/115.84	o 260606
115.80/115.85	o 260604
115.80/115.86	o 260596
115.80/115.86	o 260592
115.80/115.87	o 260528
115.80/115.88	o 260512
115.80/115.88	o 260480
115.80/115.89	o 260224
115.80/115.89	o 260096
115.90/115.90	o 259072
116.20/116.20	o 259070
116.20/116.21	o 259068
116.20/116.22	o 259064
116.20/116.22	o 259000
116.20/116.23	o 258984
116.20/116.23	o 258976
116.20/116.24	o 258848
116.20/116.25	o 258816
116.20/116.25	o 258304
116.20/116.26	o 258048
116.20/116.29	o 255696
116.20/116.29	o 255632
116.30/116.30	o 255616
116.30/116.30	o 255488
116.30/116.31	o 254976
116.40/116.44	o 254464
116.40/116.44	o 253952
116.40/116.45	o 245760
116.40/116.49	o 245758
116.40/116.49	o 245754
116.40/116.50	o 245752
116.40/116.51	o 245744
116.40/116.51	o 245712
116.50/116.52	o 245648
116.50/116.53	o 245632
116.50/116.53	o 245616
116.50/116.54	o 245600
116.50/116.55	o 245568
116.50/116.56	o 245504
116.50/116.60	o 245248
116.50/116.61	o 244736
116.62/116.64	o 243712
116.62/116.64	o 241664
116.62/116.65	o 240640
116.62/116.66	o 240510
116.62/116.67	o 240508
116.62/116.67	o 240506
116.62/116.68	o 240504
116.62/116.69	o 240492
116.62/116.69	o 240490
116.70/116.70	o 240488
116.70/116.71	o 240480
116.80/116.84	o 240432
116.80/116.85	o 240176
116.80/116.86	o 239664
116.80/116.86	o 239648
116.80/116.87	o 237616
116.90/116.91	o 237584
116.90/116.92	o 237568
116.90/116.94	o 233472
116.90/116.97	o 231456
116.90/116.98	o 231424
117.20/117.23	o 231391
117.20/117.24	o 231375
117.20/117.25	o 231373
117.20/117.26	o 231372
117.20/117.26	o 231368
117.20/117.27	o 231360
117.20/117.28	o 231232
117.20/117.29	o 230720
117.30/117.30	o 230656
117.30/117.31	o 230400
117.30/117.32	o 230144
117.30/117.33	o 229952
117.30/117.34	o 229888
117.30/117.34	o 229440
117.30/117.35	o 229376
117.30/117.38	o 227872
117.30/117.38	o 227360
117.30/117.39	o 227328
117.40/117.40	o 226816
117.40/117.41	o 226770
117.40/117.42	o 226706
117.40/117.42	o 226450
117.40/117.43	o 226434
117.40/117.44	o 226432
117.40/117.44	o 226304
117.40/117.50	o 225280
117.72/117.74	o 224256
117.72/117.75	o 223232
117.72/117.75	o 222720
117.72/117.76	o 222713
117.72/117.77	o 222649
117.72/117.77	o 222521
118.10/118.16	o 222489
118.10/118.17	o 222488
118.10/118.18	o 222480
118.10/118.19	o 222464
118.10/118.19	o 222208
118.20/118.20	o 221441
118.20/118.21	o 221440
118.20/118.23	o 221439
118.20/118.23	o 221438
118.20/118.24	o 221430
118.20/118.25	o 221414
118.20/118.25	o 221410
118.20/118.26	o 221378
118.20/118.27	o 221376
118.20/118.27	o 221248
118.40/118.44	o 205887
118.40/118.45	o 205886
118.40/118.46	o 205878
118.40/118.47	o 205862
118.40/118.48	o 205858
118.40/118.48	o 205826
118.40/118.49	o 205824
118.50/118.50	o 204800
118.50/118.51	o 200192
118.50/118.52	o 199936
118.50/118.53	o 199811
118.50/118.54	o 199810
118.50/118.55	o 199808
118.50/118.57	o 199804
118.50/118.57	o 199796
118.50/118.58	o 199780
118.50/118.59	o 199776
118.50/118.59	o 199752
118.60/118.60	o 199712
118.60/118.61	o 199688
118.60/118.61	o 199680
118.70/118.73	o 197632
118.70/118.73	o 196608
118.70/118.76	o 192511
118.70/118.77	o 191999
118.70/118.78	o 191995
118.70/118.79	o 191994
118.70/118.79	o 191992
118.70/118.80	o 191960
118.70/118.81	o 191952
118.81/118.82	o 191936
118.81/118.82	o 191808
118.81/118.83	o 191552
118.81/118.84	o 190533
118.81/118.85	o 190532
118.81/118.86	o 190528
118.81/118.87	o 190474
118.81/118.88	o 190472
118.81/118.88	o 190464
118.81/118.89	o 189312
118.90/118.90	o 189184
118.90/118.91	o 188672
118.90/118.91	o 188416
119.10/119.18	o 187392
119.10/119.19	o 186368
119.20/119.20	o 182272
119.20/119.22	o 180224
119.20/119.23	o 179200
119.20/119.24	o 178688
119.20/119.25	o 178176
119.30/119.36	o 176128
119.30/119.37	o 172032
119.30/119.39	o 172031
119.30/119.39	o 172027
119.40/119.40	o 171899
119.40/119.41	o 171835
119.40/119.41	o 171819
119.40/119.42	o 171811
119.40/119.43	o 171779
119.40/119.43	o 171777
119.40/119.44	o 171521
119.40/119.45	o 171520
119.40/119.46	o 170496
119.40/119.47	o 169984
119.40/119.48	o 169471
119.40/119.48	o 169467
119.40/119.49	o 169465
119.40/119.50	o 169457
119.50/119.50	o 169456
119.50/119.51	o 169424
119.50/119.51	o 169408
119.50/119.52	o 169280
119.50/119.53	o 169220
119.50/119.54	o 169216
119.50/119.55	o 168960
119.60/119.63	o 168192
119.60/119.64	o 168191
119.60/119.65	o 168187
119.60/119.66	o 168185
119.60/119.66	o 168184
119.60/119.67	o 168176
119.60/119.68	o 168160
119.60/119.68	o 168128
119.60/119.69	o 168064
119.70/119.70	o 167936
119.80/119.90	o 167935
119.80/119.90	o 167934
119.80/119.91	o 167932
119.91/119.92	o 167928
119.91/119.92	o 167920
119.91/119.93	o 167904
119.91/119.94	o 167872
119.91/119.94	o 167616
119.91/119.95	o 167552
119.91/119.96	o 167432
119.91/119.97	o 166920
119.91/119.97	o 166912
119.91/119.99	o 166400
120.00/120.00	o 165888
120.00/120.01	o 164352
120.00/120.06	o 164096
120.00/120.07	o 164050
120.00/120.08	o 164048
120.00/120.08	o 164032
120.00/120.09	o 163986
120.10/120.10	o 163985
120.10/120.11	o 163984
120.10/120.12	o 163968
120.10/120.12	o 163840
120.10/120.15	o 162880
120.10/120.16	o 162816
120.10/120.17	o 161792
120.30/120.32	o 161791
120.30/120.33	o 161790
120.30/120.33	o 161788
120.30/120.34	o 161784
120.30/120.35	o 161776
120.30/120.36	o 161772
120.30/120.37	o 161760
120.30/120.37	o 161744
120.30/120.38	o 161740
120.30/120.39	o 161736
120.40/120.40	o 161728
120.40/120.40	o 161664
120.40/120.41	o 161408
120.40/120.42	o 160896
120.40/120.42	o 159872
120.40/120.43	o 159744
120.40/120.46	o 157695
120.40/120.47	o 157694
120.40/120.48	o 157692
120.40/120.48	o 157628
120.40/120.49	o 157624
120.50/120.50	o 157592
120.50/120.50	o 157576
120.50/120.51	o 157448
120.50/120.52	o 157192
120.50/120.52	o 157184
120.50/120.53	o 156672
120.50/120.54	o 155648
120.90/121.01	o 155647
121.02/121.02	o 155643
121.02/121.03	o 155635
121.02/121.03	o 155571
121.02/121.04	o 155570
121.02/121.05	o 155554
121.02/121.06	o 155552
121.02/121.06	o 155296
121.02/121.07	o 155264
121.02/121.08	o 154752
121.02/121.09	o 154624
121.10/121.10	o 153600
121.10/121.11	o 151552
121.10/121.12	o 150528
121.20/121.26	o 150527
121.20/121.27	o 150463
121.20/121.28	o 150447
121.20/121.29	o 150415
121.30/121.30	o 150411
121.30/121.31	o 150403
121.30/121.31	o 150402
121.30/121.32	o 150400
121.30/121.33	o 150144
121.30/121.34	o 150083
121.30/121.35	o 150082
121.30/121.36	o 150080
121.60/121.68	o 150015
121.60/121.69	o 150011
121.70/121.70	o 149995
121.70/121.70	o 149994
121.70/121.71	o 149992
121.70/121.72	o 149984
121.70/121.73	o 149952
121.70/121.73	o 149888
121.70/121.74	o 149760
121.70/121.75	o 149504
121.70/121.76	o 149248
121.70/121.77	o 148992
121.70/121.78	o 148480
121.80/121.84	o 147968
121.80/121.84	o 147456
121.80/121.86	o 142827
121.80/121.87	o 142826
121.80/121.87	o 142824
121.80/121.88	o 142816
121.80/121.89	o 142784
121.80/121.89	o 142720
121.90/121.90	o 142592
121.90/121.91	o 142336
121.90/121.91	o 141312
121.90/121.92	o 139264
121.90/121.99	o 132139
121.90/122.00	o 132138
121.90/122.00	o 132136
121.90/122.01	o 132128
122.00/122.02	o 132096
122.00/122.03	o 131072
122.12/122.12	o 131071
122.12/122.13	o 131070
122.12/122.14	o 131068
122.12/122.14	o 131060
122.12/122.15	o 131028
122.12/122.16	o 130516
122.12/122.17	o 130512
122.12/122.18	o 130496
122.12/122.18	o 130432
122.12/122.19	o 130304
122.20/122.20	o 130048
122.20/122.29	o 130047
122.30/122.30	o 130046
122.30/122.30	o 130044
122.30/122.31	o 130040
122.30/122.32	o 130024
122.30/122.33	o 129960
122.30/122.33	o 129832
122.30/122.34	o 129576
122.30/122.35	o 129568
122.30/122.35	o 129536
122.30/122.36	o 128512
122.30/122.38	o 128008
122.30/122.39	o 128000
122.40/122.47	o 127472
122.40/122.48	o 127440
122.40/122.49	o 127424
122.40/122.49	o 127360
122.50/122.50	o 127232
122.50/122.51	o 126976
122.50/122.52	o 122912
122.50/122.53	o 122880
122.50/122.54	o 118784
122.50/122.55	o 114688
122.50/122.58	o 114640
122.50/122.59	o 114624
122.60/122.60	o 114560
122.60/122.61	o 110464
122.60/122.62	o 110336
122.60/122.62	o 110080
122.60/122.63	o 109568
122.60/122.64	o 108544
122.60/122.64	o 106496
122.60/122.66	o 102352
122.60/122.66	o 102336
122.60/122.67	o 102208
122.60/122.68	o 101952
122.60/122.68	o 101440
122.60/122.69	o 101376
122.80/122.83	o 101312
122.80/122.84	o 101248
122.80/122.84	o 101120
122.80/122.85	o 100928
122.80/122.87	o 100864
122.80/122.87	o 100352
122.90/122.97	o 100351
122.90/122.98	o 100287
122.90/122.99	o 100159
123.00/123.00	o 99903
123.00/123.01	o 99887
123.00/123.01	o 99879
123.00/123.02	o 99875
123.00/123.03	o 99873
123.00/123.04	o 99872
123.00/123.05	o 99840
123.00/123.06	o 99328
123.00/123.11	o 99327
123.11/123.12	o 99326
123.11/123.12	o 99070
123.11/123.13	o 99038
123.11/123.14	o 98974
123.11/123.14	o 98846
123.11/123.15	o 98830
123.11/123.16	o 98822
123.11/123.16	o 98818
123.11/123.17	o 98816
123.11/123.18	o 98560
123.11/123.19	o 98304
123.40/123.44	o 98303
123.40/123.44	o 98175
123.40/123.45	o 97663
123.40/123.46	o 97407
123.40/123.47	o 97391
123.40/123.47	o 97383
123.40/123.48	o 97379
123.40/123.49	o 97347
123.40/123.49	o 97283
123.50/123.50	o 97282
123.50/123.51	o 97280
123.50/123.52	o 93184
123.50/123.53	o 93180
123.50/123.54	o 92668
123.50/123.55	o 92540
123.50/123.55	o 92284
123.50/123.56	o 92268
123.50/123.57	o 92260
123.50/123.57	o 91236
123.50/123.58	o 91204
123.50/123.59	o 91140
123.50/123.59	o 91136
123.80/123.81	o 91134
123.80/123.82	o 91126
123.80/123.83	o 91110
123.80/123.84	o 91078
123.80/123.85	o 91074
123.80/123.85	o 91010
123.80/123.86	o 90882
123.80/123.87	o 90626
123.80/123.88	o 90624
123.80/123.89	o 90112
123.90/123.92	o 83967
123.90/123.93	o 83965
123.90/123.95	o 83964
123.90/123.96	o 83962
123.90/123.97	o 83960
124.32/124.36	o 83932
124.32/124.37	o 83928
124.32/124.38	o 83800
124.32/124.39	o 83736
124.32/124.39	o 83728
124.40/124.40	o 83216
124.40/124.41	o 83200
124.40/124.42	o 82944
124.40/124.43	o 82939
124.40/124.44	o 82938
124.40/124.45	o 82937
124.40/124.47	o 82936
124.40/124.48	o 82928
124.50/124.52	o 82868
124.50/124.53	o 82864
124.50/124.54	o 82848
124.50/124.54	o 82816
124.50/124.55	o 82596
124.50/124.56	o 82594
124.50/124.57	o 82593
124.50/124.57	o 82592
124.50/124.58	o 82528
124.50/124.59	o 82496
124.50/124.59	o 82432
124.60/124.60	o 82176
124.60/124.61	o 82080
124.60/124.62	o 82048
124.60/124.62	o 81952
124.60/124.63	o 81920
124.70/124.71	o 75264
124.70/124.72	o 74752
124.70/124.73	o 73728
124.70/124.74	o 66048
124.70/124.75	o 65536
124.70/124.78	o 62976
124.70/124.79	o 62464
125.00/125.04	o 61439
125.00/125.05	o 60927
125.00/125.06	o 60923
125.00/125.07	o 60921
125.00/125.07	o 60920
125.00/125.08	o 60912
125.00/125.09	o 60896
125.00/125.10	o 60864
125.10/125.10	o 60608
125.10/125.11	o 60480
125.10/125.12	o 60416
125.10/125.13	o 60160
125.10/125.14	o 59648
125.10/125.15	o 59392
125.50/125.57	o 59264
125.50/125.58	o 59136
125.50/125.59	o 58880
125.60/125.60	o 57856
125.60/125.62	o 57344
125.70/125.70	o 56319
125.70/125.71	o 56063
125.70/125.72	o 56031
125.70/125.73	o 56027
125.70/125.73	o 55963
125.70/125.74	o 55961
125.70/125.75	o 55960
125.70/125.76	o 55952
125.70/125.76	o 55824
125.70/125.77	o 55808
125.70/125.77	o 55296
130.70/130.76	o 55295
130.70/130.77	o 55039
130.70/130.78	o 55035
130.70/130.79	o 55034
130.70/130.80	o 55032
130.70/130.80	o 55024
130.70/130.81	o 54992
130.81/130.82	o 54928
130.81/130.83	o 54800
130.81/130.84	o 54784
130.81/130.85	o 54272
130.81/130.86	o 53248
130.81/130.91	o 53247
130.92/130.92	o 53246
130.92/130.93	o 52734
130.92/130.94	o 52726
130.92/130.94	o 52710
130.92/130.95	o 52708
130.92/130.96	o 51684
130.92/130.97	o 51428
130.92/130.98	o 51424
130.92/130.98	o 51392
130.92/130.99	o 51264
131.00/131.00	o 51200
131.00/131.02	o 50367
131.00/131.03	o 50363
131.00/131.03	o 50331
131.00/131.04	o 50203
131.00/131.05	o 50202
131.00/131.06	o 50200
131.00/131.06	o 50192
131.00/131.08	o 50176
131.60/131.69	o 50175
131.60/131.69	o 50174
131.70/131.70	o 50172
131.70/131.71	o 50164
131.70/131.72	o 50036
131.70/131.73	o 50004
131.70/131.74	o 49988
131.70/131.75	o 49984
131.70/131.76	o 49728
131.70/131.76	o 49664
131.70/131.77	o 49413
131.70/131.78	o 49157
131.70/131.79	o 49156
131.80/131.80	o 49152
131.90/131.92	o 46079
131.90/131.93	o 46015
131.90/131.94	o 46013
131.90/131.95	o 46012
131.90/131.95	o 45500
131.90/131.96	o 45244
131.90/131.97	o 45240
131.90/131.98	o 45112
131.90/131.98	o 45080
131.90/131.99	o 45072
131.90/132.00	o 45056
131.90/132.01	o 44036
132.02/132.02	o 44032
132.10/132.16	o 43007
132.10/132.17	o 43006
132.10/132.18	o 43005
132.20/132.20	o 43004
132.20/132.21	o 42940
132.20/132.21	o 42812
132.20/132.22	o 42780
132.20/132.23	o 42764
132.20/132.23	o 42508
132.20/132.24	o 42504
132.20/132.25	o 42496
132.20/132.26	o 42493
132.20/132.27	o 42492
132.20/132.28	o 42488
132.20/132.28	o 42480
132.20/132.29	o 42464
132.20/132.29	o 42432
132.30/132.30	o 42368
132.30/132.31	o 42364
132.30/132.34	o 42360
132.30/132.34	o 42352
132.30/132.35	o 42336
132.30/132.36	o 42332
132.30/132.37	o 42328
132.30/132.38	o 42324
132.30/132.39	o 42320
132.30/132.39	o 42304
132.40/132.40	o 42300
132.40/132.41	o 42296
132.40/132.42	o 42288
132.40/132.43	o 42272
132.40/132.43	o 42268
132.40/132.44	o 42264
132.40/132.45	o 42256
132.40/132.48	o 42240
132.40/132.49	o 41984
132.50/132.50	o 41472
132.50/132.51	o 40960
132.50/132.54	o 40956
132.50/132.55	o 40924
132.50/132.55	o 40908
132.50/132.56	o 40844
132.50/132.57	o 40840
132.50/132.57	o 40712
132.50/132.58	o 40704
132.50/132.59	o 40448
132.50/132.59	o 39936
530.41/530.49	o 38399
530.51/530.50	o 38398
530.51/530.51	o 38394
530.51/530.52	o 38386
530.51/530.52	o 38370
530.51/530.53	o 38306
530.51/530.54	o 38274
530.51/530.55	o 38272
530.51/530.55	o 38016
530.51/530.56	o 37888
530.51/530.57	o 37249
530.51/530.58	o 37248
530.51/530.60	o 37244
530.61/530.60	o 37236
530.61/530.61	o 37228
530.61/530.61	o 37226
530.61/530.62	o 37224
530.61/530.63	o 37216
530.61/530.65	o 36976
530.71/530.76	o 36961
530.71/530.77	o 36960
530.71/530.77	o 36928
530.71/530.79	o 36896
530.81/530.80	o 36888
530.81/530.80	o 36881
530.81/530.81	o 36880
530.81/530.82	o 36872
530.81/530.83	o 36869
530.91/530.94	o 36867
530.91/530.94	o 36866
530.91/530.96	o 36865
530.91/530.96	o 36864
531.01/531.02	o 35456
531.01/531.03	o 35328
531.01/531.03	o 35010
531.01/531.04	o 35008
531.01/531.04	o 34946
531.01/531.05	o 34944
531.01/531.07	o 32896
531.01/531.08	o 32768
531.51/531.50	o 32767
531.51/531.51	o 32766
531.51/531.52	o 32764
531.51/531.52	o 32760
531.51/531.53	o 32744
531.51/531.54	o 32736
531.51/531.55	o 32704
531.51/531.55	o 32640
531.51/531.58	o 32576
531.51/531.58	o 32512
531.51/531.59	o 32256
531.61/531.60	o 32160
531.61/531.61	o 32128
531.61/531.64	o 31880
531.61/531.65	o 31872
531.61/531.67	o 31750
531.61/531.67	o 31748
531.61/531.69	o 31744
656.92/656.93	o 31739
656.92/656.94	o 31738
656.92/656.95	o 31674
656.92/656.96	o 31658
656.92/656.96	o 31654
656.92/656.97	o 31652
656.92/656.98	o 31140
656.92/656.99	o 31136
657.22/657.27	o 31132
657.22/657.28	o 31128
657.22/657.28	o 31112
657.22/657.29	o 31104
657.32/657.30	o 30979
657.32/657.31	o 30978
657.32/657.32	o 30976
1800.07/1800.01	>>> Terminate signal received
1800.07/1800.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 x34 -x35 -x36 x37 x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 x52 x53 -x54 -x55 -x56 -x57 -x58 x59 x60 -x61 -x62 -x63 -x64 -x65 x66 x67 x68 x69 -x70 x71 x72 -x73 x74 -x75 -x76 x77 x78 -x79 x80 -x81 -x82 x83 x84 -x85 x86 x87 x88 x89 x90 -x91 -x92 x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 x116 x117 x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 -x151 x152 -x153 x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 -x182 x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 x205 x206 x207 x208 x209 -x210 x211 x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 x235 x236 x237 x238 x239 -x240 x241 x242 x243 x244 x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 x264 x265 x266 x267 x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 x295 x296 x297 x298 x299 -x300 x301 -x302 -x303 -x304 x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 -x363 x364 -x365 x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 x395 x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 x445 -x446 x447 -x448 x449 x450 x451 x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 x476 -x477 x478 -x479 x480 x481 x482 x483 -x484 -x485 x486 x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 x508 -x509 -x510 x511 -x512 -x513 -x514 x515 x516 x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 x575 x576 x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 x627 x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 x657 x658 -x659 -x660 -x661 x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 x694 -x695 x696 x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 x747 x748 -x749 x750 x751 -x752 x753 x754 x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 x779 -x780 x781 x782 -x783 x784 x785 x786 x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 x809 x810 -x811 -x812 x813 -x814 -x815 -x816 x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 x839 x840 -x841 -x842 x843 -x844 -x845 x846 x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 x901 x902 -x903 -x904 x905 x906 x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 x928 -x929 x930 -x931 -x932 -x933 -x934 x935 x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 x958 -x959 x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 

OK	30976

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3466741-1307401801/watcher-3466741-1307401801 -o /tmp/evaluation-result-3466741-1307401801/solver-3466741-1307401801 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466741-1307401801.opb --verbosity=0 --format=opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/515 5416
/proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=7728 CPUtime=0 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 460 0 0 0 0 0 0 0 25 0 1 0 930410782 7913472 408 33554432000 4194304 6736272 140736038133984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1932 408 248 621 0 1302 0

[startup+0.0724811 s]
/proc/loadavg: 2.00 2.01 2.00 2/515 5416
/proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=9668 CPUtime=0.07 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 973 0 0 0 7 0 0 0 25 0 1 0 930410782 9900032 921 33554432000 4194304 6736272 140736038133984 18446744073709551615 5816786 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 2417 921 274 621 0 1787 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9668

[startup+0.100498 s]
/proc/loadavg: 2.00 2.01 2.00 2/515 5416
/proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=9668 CPUtime=0.09 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 986 0 0 0 9 0 0 0 25 0 1 0 930410782 9900032 934 33554432000 4194304 6736272 140736038133984 18446744073709551615 5146886 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 2417 934 275 621 0 1787 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9668

[startup+0.30044 s]
/proc/loadavg: 2.00 2.01 2.00 2/515 5416
/proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=5472 CPUtime=0.29 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1089 0 0 0 29 0 0 0 25 0 1 0 930410782 5603328 973 33554432000 4194304 6736272 140736038133984 18446744073709551615 5154864 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1368 973 284 621 0 738 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5472

[startup+0.700369 s]
/proc/loadavg: 2.00 2.01 2.00 2/515 5416
/proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=5676 CPUtime=0.69 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1119 0 0 0 69 0 0 0 25 0 1 0 930410782 5812224 1003 33554432000 4194304 6736272 140736038133984 18446744073709551615 5146909 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1419 1003 286 621 0 789 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5676

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 5417
/proc/meminfo: memFree=21688876/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=5676 CPUtime=1.49 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1119 0 0 0 149 0 0 0 25 0 1 0 930410782 5812224 1003 33554432000 4194304 6736272 140736038133984 18446744073709551615 5806544 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1419 1003 286 621 0 789 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5676

[startup+3.10091 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 5417
/proc/meminfo: memFree=21687636/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=5676 CPUtime=3.09 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1138 0 0 0 309 0 0 0 25 0 1 0 930410782 5812224 1022 33554432000 4194304 6736272 140736038133984 18446744073709551615 5148079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1419 1022 286 621 0 789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5676

[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 5417
/proc/meminfo: memFree=21687724/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=5676 CPUtime=6.29 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1138 0 0 0 629 0 0 0 25 0 1 0 930410782 5812224 1022 33554432000 4194304 6736272 140736038133984 18446744073709551615 5149219 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1419 1022 286 621 0 789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5676

[startup+12.7011 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 5417
/proc/meminfo: memFree=21686252/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=5676 CPUtime=12.7 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1148 0 0 0 1270 0 0 0 25 0 1 0 930410782 5812224 1032 33554432000 4194304 6736272 140736038133984 18446744073709551615 5141856 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1419 1032 286 621 0 789 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 5676

[startup+25.5007 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 5418
/proc/meminfo: memFree=21682904/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6008 CPUtime=25.5 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1206 0 0 0 2550 0 0 0 25 0 1 0 930410782 6152192 1090 33554432000 4194304 6736272 140736038133984 18446744073709551615 5806336 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1502 1090 286 621 0 872 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 6008

[startup+51.1008 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 5418
/proc/meminfo: memFree=21679128/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6160 CPUtime=51.1 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1268 0 0 0 5110 0 0 0 25 0 1 0 930410782 6307840 1151 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811923 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1540 1151 286 621 0 910 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 6160

[startup+102.319 s]
/proc/loadavg: 2.15 2.04 2.01 3/516 5420
/proc/meminfo: memFree=21665576/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6600 CPUtime=102.31 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1389 0 0 0 10231 0 0 0 25 0 1 0 930410782 6758400 1268 33554432000 4194304 6736272 140736038133984 18446744073709551615 4279333 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1650 1268 286 621 0 1020 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 6600

[startup+162.301 s]
/proc/loadavg: 2.20 2.07 2.02 3/516 5421
/proc/meminfo: memFree=21648560/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6600 CPUtime=162.3 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1389 0 0 0 16230 0 0 0 25 0 1 0 930410782 6758400 1268 33554432000 4194304 6736272 140736038133984 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1650 1268 286 621 0 1020 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 6600

[startup+222.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/516 5423
/proc/meminfo: memFree=21643920/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6600 CPUtime=222.3 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1389 0 0 0 22230 0 0 0 25 0 1 0 930410782 6758400 1268 33554432000 4194304 6736272 140736038133984 18446744073709551615 4732982 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1650 1268 286 621 0 1020 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 6600

[startup+282.301 s]
/proc/loadavg: 1.99 2.04 2.00 3/516 5452
/proc/meminfo: memFree=22823716/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6600 CPUtime=282.3 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1389 0 0 0 28230 0 0 0 25 0 1 0 930410782 6758400 1268 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818582 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1650 1268 286 621 0 1020 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 6600

[startup+342.301 s]
/proc/loadavg: 1.99 2.03 2.00 3/516 5454
/proc/meminfo: memFree=22822440/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6600 CPUtime=342.3 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1395 0 0 0 34230 0 0 0 25 0 1 0 930410782 6758400 1274 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818046 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1650 1274 286 621 0 1020 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 6600

[startup+402.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/516 5456
/proc/meminfo: memFree=22821652/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=402.31 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1412 0 0 0 40231 0 0 0 25 0 1 0 930410782 7065600 1291 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818812 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1291 286 621 0 1095 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 6900

[startup+462.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/516 5457
/proc/meminfo: memFree=22818496/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=462.31 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1415 0 0 0 46231 0 0 0 25 0 1 0 930410782 7065600 1294 33554432000 4194304 6736272 140736038133984 18446744073709551615 4758688 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1294 286 621 0 1095 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 6900

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/516 5459
/proc/meminfo: memFree=22818696/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=522.31 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 52231 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 4753646 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1299 286 621 0 1095 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 6900

[startup+582.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/516 5460
/proc/meminfo: memFree=22817296/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=582.31 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 58231 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 4745120 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1299 286 621 0 1095 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 6900


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

[startup+822.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 5467
/proc/meminfo: memFree=22816728/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=822.32 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 82232 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811942 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1299 286 621 0 1095 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 6900

[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 5468
/proc/meminfo: memFree=22816304/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=882.32 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 88232 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 5146854 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1299 286 621 0 1095 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 6900

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 5470
/proc/meminfo: memFree=22816256/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=942.33 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 94233 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811850 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1299 286 621 0 1095 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 6900

[startup+1002.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/516 5472
/proc/meminfo: memFree=22816204/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1002.33 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1424 0 0 0 100233 0 0 0 25 0 1 0 930410782 7065600 1303 33554432000 4194304 6736272 140736038133984 18446744073709551615 4758730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1303 286 621 0 1095 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 6900

[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/516 5473
/proc/meminfo: memFree=22816032/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1062.33 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1429 0 0 0 106233 0 0 0 25 0 1 0 930410782 7065600 1308 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1308 286 621 0 1095 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 6900

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/516 5475
/proc/meminfo: memFree=22815496/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1122.33 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1429 0 0 0 112233 0 0 0 25 0 1 0 930410782 7065600 1308 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818375 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1308 286 621 0 1095 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 6900

[startup+1182.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/516 5476
/proc/meminfo: memFree=22815576/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1182.34 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1429 0 0 0 118234 0 0 0 25 0 1 0 930410782 7065600 1308 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811920 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1308 286 621 0 1095 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 6900

[startup+1242.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/516 5478
/proc/meminfo: memFree=22815276/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1242.34 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1429 0 0 0 124234 0 0 0 25 0 1 0 930410782 7065600 1308 33554432000 4194304 6736272 140736038133984 18446744073709551615 5806442 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1308 286 621 0 1095 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 6900

[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/516 5480
/proc/meminfo: memFree=22814848/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1302.35 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 130235 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811840 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1310 286 621 0 1095 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 6900

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 5481
/proc/meminfo: memFree=22814804/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1362.34 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 136234 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 4734650 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1310 286 621 0 1095 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 6900

[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 5483
/proc/meminfo: memFree=22815988/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1422.36 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 142236 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 5806346 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1310 286 621 0 1095 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 6900

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 5484
/proc/meminfo: memFree=22815428/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1482.35 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 148235 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818587 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1310 286 621 0 1095 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 6900

[startup+1542.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/516 5486
/proc/meminfo: memFree=22814768/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1542.35 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 154235 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 4753753 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1310 286 621 0 1095 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 6900

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/516 5488
/proc/meminfo: memFree=22814724/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1602.35 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 160235 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 5149303 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1311 286 621 0 1095 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 6900

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/516 5489
/proc/meminfo: memFree=22815788/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1662.35 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 166235 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 4514348 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1311 286 621 0 1095 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 6900

[startup+1722.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/516 5491
/proc/meminfo: memFree=22815748/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1722.36 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 172236 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 5150908 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1311 286 621 0 1095 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 6900

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/516 5495
/proc/meminfo: memFree=22814280/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1782.36 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 178236 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811872 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1311 286 621 0 1095 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 6900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.05 2.00 3/516 5496
/proc/meminfo: memFree=22814400/32950928 swapFree=58671692/67111528
[pid=5416] ppid=5414 vsize=6900 CPUtime=1800.07 cores=1,3,5,7
/proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 180007 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 5817063 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5416/statm: 1725 1311 286 621 0 1095 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6900

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

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

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.09
CPU user time (s): 1800.08
CPU system time (s): 0.003999
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 9668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1437
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= 5
involuntary context switches= 4542

runsolver used 9.00663 second user time and 20.5119 second system time

The end

Begin job on node115 at 2011-06-07 01:10:01
IDJOB=3466741
IDBENCH=2502
IDSOLVER=1957
FILE ID=node115/3466741-1307401801
RUNJOBID= node115-1307398441-5158
PBS_JOBID= 13514192
Free space on /tmp= 73924 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466741-1307401801/watcher-3466741-1307401801 -o /tmp/evaluation-result-3466741-1307401801/solver-3466741-1307401801 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466741-1307401801.opb --verbosity=0 --format=opb 

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

MD5SUM BENCH= 064c172c08e0726f78b89fe587697d96
RANDOM SEED=1197140912

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21692988 kB
Buffers:        243516 kB
Cached:         517388 kB
SwapCached:      65852 kB
Active:        2375860 kB
Inactive:      8626296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21692988 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:            3232 kB
Writeback:           0 kB
AnonPages:    10180008 kB
Mapped:          28660 kB
Slab:           108856 kB
PageTables:      77732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 153046964 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73956 MiB
End job on node115 at 2011-06-07 01:40:03