0.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: -1
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
2.65/1.52	o 0
2.65/1.52	objective:0
2.65/1.53	o 1525
2.65/1.53	objective:-1525
2.65/1.53	o 20929
2.65/1.54	objective:-20929
2.65/1.54	o 22454
2.65/1.54	objective:-22454
2.65/1.54	o 29546
2.65/1.54	objective:-29546
2.65/1.54	o 31071
2.65/1.54	objective:-31071
2.65/1.54	o 32196
2.65/1.55	objective:-32196
2.65/1.55	o 53125
2.65/1.55	objective:-53125
2.65/1.55	o 61742
2.65/1.55	objective:-61742
2.65/1.55	o 63267
2.65/1.55	objective:-63267
2.65/1.56	o 66951
2.65/1.56	objective:-66951
2.65/1.56	o 75568
2.65/1.56	objective:-75568
2.65/1.56	o 77641
2.65/1.56	objective:-77641
2.65/1.56	o 84013
2.65/1.56	objective:-84013
2.65/1.56	o 93896
2.65/1.56	objective:-93896
2.65/1.57	o 102513
2.65/1.57	objective:-102513
2.65/1.57	o 103476
2.65/1.57	objective:-103476
2.65/1.57	o 112093
2.65/1.57	objective:-112093
2.65/1.58	o 115462
2.65/1.58	objective:-115462
2.65/1.58	o 124079
2.65/1.58	objective:-124079
2.65/1.58	o 126143
2.65/1.58	objective:-126143
2.65/1.58	o 134760
2.65/1.58	objective:-134760
2.65/1.59	o 141313
2.65/1.59	objective:-141313
2.65/1.59	o 141840
2.65/1.59	objective:-141840
2.91/1.60	o 147714
2.91/1.60	objective:-147714
2.91/1.60	o 148241
2.91/1.60	objective:-148241
2.91/1.61	o 148372
2.91/1.61	objective:-148372
2.91/1.61	o 149929
2.91/1.61	objective:-149929
2.91/1.61	o 150456
2.91/1.61	objective:-150456
2.91/1.61	o 150587
2.91/1.62	objective:-150587
2.91/1.62	o 151195
2.91/1.62	objective:-151195
2.91/1.62	o 151326
2.91/1.62	objective:-151326
2.91/1.62	o 153259
2.91/1.62	objective:-153259
2.91/1.62	o 153390
2.91/1.62	objective:-153390
2.91/1.62	o 153411
2.91/1.62	objective:-153411
2.91/1.62	o 159812
2.91/1.62	objective:-159812
2.91/1.62	o 159943
2.91/1.62	objective:-159943
2.91/1.62	o 160339
2.91/1.62	objective:-160339
2.91/1.62	o 160470
2.91/1.62	objective:-160470
2.91/1.63	o 161117
2.91/1.63	objective:-161117
2.91/1.63	o 167518
2.91/1.63	objective:-167518
2.91/1.63	o 167649
2.91/1.63	objective:-167649
2.91/1.64	o 168045
2.91/1.64	objective:-168045
2.91/1.64	o 168176
2.91/1.64	objective:-168176
2.91/1.64	o 168197
2.91/1.64	objective:-168197
2.91/1.64	o 174071
2.91/1.65	objective:-174071
2.91/1.65	o 174598
2.91/1.65	objective:-174598
2.91/1.65	o 174729
2.91/1.65	objective:-174729
2.91/1.65	o 176398
2.91/1.65	objective:-176398
2.91/1.65	o 178614
2.91/1.65	objective:-178614
2.91/1.65	o 185015
2.91/1.65	objective:-185015
2.91/1.65	o 185542
2.91/1.65	objective:-185542
2.91/1.67	o 185702
2.91/1.67	objective:-185702
2.91/1.67	o 185726
2.91/1.67	objective:-185726
2.91/1.67	o 186093
2.91/1.67	objective:-186093
2.91/1.67	o 186253
2.91/1.68	objective:-186253
2.91/1.68	o 191967
2.91/1.68	objective:-191967
2.91/1.68	o 192127
2.91/1.68	objective:-192127
2.91/1.68	o 192494
2.91/1.68	objective:-192494
2.91/1.68	o 192654
2.91/1.68	objective:-192654
2.91/1.68	o 197159
2.91/1.68	objective:-197159
2.91/1.69	o 197290
2.91/1.69	objective:-197290
2.91/1.69	o 197686
2.91/1.69	objective:-197686
2.91/1.69	o 197817
2.91/1.69	objective:-197817
2.91/1.69	o 200236
2.91/1.69	objective:-200236
2.91/1.69	o 200763
2.91/1.69	objective:-200763
2.91/1.69	o 206637
2.91/1.69	objective:-206637
2.91/1.69	o 207164
2.91/1.69	objective:-207164
4.08/2.58	o 207390
4.08/2.58	objective:-207390
4.08/2.58	o 207618
4.08/2.58	objective:-207618
4.08/2.58	o 209906
4.08/2.58	objective:-209906
4.08/2.58	o 210134
4.08/2.58	objective:-210134
4.08/2.58	o 216107
4.08/2.58	objective:-216107
4.08/2.58	o 222401
4.08/2.58	objective:-222401
4.08/2.58	o 224950
4.08/2.58	objective:-224950
4.08/2.58	o 227466
4.08/2.58	objective:-227466
4.08/2.58	o 229226
4.08/2.58	objective:-229226
4.08/2.58	o 231775
4.08/2.58	objective:-231775
4.08/2.58	o 232003
4.08/2.58	objective:-232003
4.08/2.59	o 234291
4.08/2.59	objective:-234291
4.08/2.59	o 234519
4.08/2.59	objective:-234519
4.08/2.59	o 240492
4.08/2.59	objective:-240492
4.08/2.59	o 246786
4.08/2.59	objective:-246786
4.08/2.59	o 249335
4.08/2.59	objective:-249335
4.08/2.59	o 251851
4.08/2.59	objective:-251851
4.08/2.59	o 257808
4.08/2.59	objective:-257808
4.08/2.59	o 260357
4.08/2.59	objective:-260357
4.08/2.59	o 262873
4.08/2.59	objective:-262873
4.25/2.60	o 263093
4.25/2.60	objective:-263093
4.25/2.60	o 265609
4.25/2.60	objective:-265609
4.25/2.60	o 265642
4.25/2.60	objective:-265642
4.25/2.60	o 268158
4.25/2.60	objective:-268158
4.25/2.60	o 271867
4.25/2.60	objective:-271867
4.25/2.61	o 274383
4.25/2.61	objective:-274383
4.25/2.61	o 277529
4.25/2.61	objective:-277529
4.25/2.61	o 282814
4.25/2.61	objective:-282814
4.25/2.61	o 285330
4.25/2.61	objective:-285330
4.25/2.62	o 286370
4.25/2.62	objective:-286370
4.25/2.62	o 288886
4.25/2.62	objective:-288886
4.25/2.63	o 291029
4.25/2.63	objective:-291029
4.25/2.63	o 297323
4.25/2.63	objective:-297323
4.25/2.63	o 300879
4.25/2.63	objective:-300879
4.25/2.63	o 302316
4.25/2.63	objective:-302316
4.25/2.64	o 303395
4.25/2.64	objective:-303395
4.25/2.64	o 304832
4.25/2.64	objective:-304832
4.25/2.64	o 306164
4.25/2.64	objective:-306164
4.25/2.64	o 308680
4.25/2.64	objective:-308680
4.25/2.65	o 308922
4.25/2.65	objective:-308922
4.25/2.65	o 312478
4.25/2.65	objective:-312478
4.25/2.65	o 314994
4.25/2.65	objective:-314994
5.19/3.55	o 322846
5.19/3.55	objective:-322846
5.19/3.55	o 323667
5.19/3.55	objective:-323667
5.19/3.55	o 331522
5.19/3.55	objective:-331522
5.19/3.55	o 342466
5.19/3.55	objective:-342466
5.19/3.55	o 342544
5.19/3.55	objective:-342544
5.19/3.56	o 353488
5.19/3.56	objective:-353488
5.19/3.56	o 353491
5.19/3.56	objective:-353491
5.19/3.56	o 364435
5.19/3.56	objective:-364435
5.19/3.56	o 373494
5.19/3.56	objective:-373494
5.19/3.56	o 381885
5.19/3.56	objective:-381885
5.19/3.56	o 390537
5.19/3.56	objective:-390537
5.19/3.56	o 398928
5.19/3.56	objective:-398928
5.19/3.56	o 401988
5.19/3.56	objective:-401988
5.19/3.57	o 402235
5.19/3.57	objective:-402235
5.19/3.57	o 410887
5.19/3.57	objective:-410887
5.19/3.57	o 419278
5.19/3.57	objective:-419278
5.19/3.57	o 422338
5.19/3.57	objective:-422338
5.19/3.57	o 423012
5.19/3.57	objective:-423012
5.19/3.57	o 426072
5.19/3.57	objective:-426072
5.19/3.58	o 427506
5.19/3.58	objective:-427506
5.19/3.58	o 428003
5.19/3.58	objective:-428003
5.19/3.60	o 428699
5.19/3.60	objective:-428699
5.19/3.60	o 432433
5.19/3.60	objective:-432433
5.32/3.60	o 433867
5.32/3.60	objective:-433867
5.32/3.60	o 434364
5.32/3.60	objective:-434364
5.32/3.60	o 435493
5.32/3.60	objective:-435493
5.32/3.60	o 436927
5.32/3.60	objective:-436927
5.32/3.60	o 437424
5.32/3.60	objective:-437424
5.32/3.60	o 437587
5.32/3.60	objective:-437587
5.32/3.60	o 440150
5.32/3.60	objective:-440150
5.32/3.60	o 440647
5.32/3.60	objective:-440647
5.32/3.61	o 440824
5.32/3.61	objective:-440824
5.32/3.61	o 443884
5.32/3.61	objective:-443884
5.32/3.61	o 444381
5.32/3.61	objective:-444381
5.32/3.61	o 445318
5.32/3.61	objective:-445318
5.32/3.61	o 445815
5.32/3.61	objective:-445815
5.32/3.63	o 446731
5.32/3.63	objective:-446731
6.22/4.52	o 448793
6.22/4.52	objective:-448793
6.22/4.52	o 450536
6.22/4.52	objective:-450536
6.22/4.52	o 454931
6.22/4.52	objective:-454931
6.22/4.52	o 456674
6.22/4.52	objective:-456674
6.22/4.52	o 457705
6.22/4.52	objective:-457705
6.22/4.52	o 459448
6.22/4.52	objective:-459448
6.22/4.52	o 463843
6.22/4.52	objective:-463843
6.22/4.52	o 465586
6.22/4.52	objective:-465586
6.22/4.52	o 466630
6.22/4.52	objective:-466630
6.22/4.52	o 468373
6.22/4.52	objective:-468373
6.22/4.52	o 468797
6.22/4.52	objective:-468797
6.22/4.53	o 470540
6.22/4.53	objective:-470540
6.22/4.53	o 471584
6.22/4.53	objective:-471584
6.22/4.53	o 473327
6.22/4.53	objective:-473327
6.22/4.53	o 475262
6.22/4.53	objective:-475262
6.22/4.53	o 481400
6.22/4.53	objective:-481400
6.22/4.53	o 484187
6.22/4.53	objective:-484187
6.22/4.53	o 486354
6.22/4.53	objective:-486354
6.22/4.53	o 489141
6.22/4.53	objective:-489141
6.22/4.53	o 490884
6.22/4.53	objective:-490884
6.22/4.53	o 491874
6.22/4.53	objective:-491874
6.22/4.53	o 492918
6.22/4.53	objective:-492918
6.22/4.53	o 494661
6.22/4.53	objective:-494661
6.22/4.53	o 494709
6.22/4.53	objective:-494709
6.22/4.54	o 500847
6.22/4.54	objective:-500847
6.22/4.54	o 505801
6.22/4.54	objective:-505801
6.22/4.54	o 509578
6.22/4.54	objective:-509578
6.22/4.54	o 512365
6.22/4.54	objective:-512365
6.22/4.54	o 514108
6.22/4.54	objective:-514108
6.22/4.54	o 516227
6.22/4.54	objective:-516227
6.22/4.54	o 517970
6.22/4.54	objective:-517970
6.22/4.54	o 519487
6.22/4.54	objective:-519487
6.22/4.55	o 522838
6.22/4.55	objective:-522838
6.22/4.55	o 525625
6.22/4.55	objective:-525625
6.22/4.55	o 527368
6.22/4.55	objective:-527368
6.22/4.55	o 528133
6.22/4.55	objective:-528133
6.22/4.55	o 529177
6.22/4.55	objective:-529177
6.22/4.55	o 530920
6.22/4.55	objective:-530920
6.22/4.56	o 532722
6.22/4.56	objective:-532722
6.22/4.56	o 536274
6.22/4.56	objective:-536274
6.22/4.56	o 539061
6.22/4.56	objective:-539061
6.22/4.56	o 540804
6.22/4.56	objective:-540804
6.22/4.57	o 542295
6.22/4.57	objective:-542295
6.22/4.57	o 544038
6.22/4.57	objective:-544038
6.22/4.58	o 547050
6.22/4.58	objective:-547050
6.22/4.58	o 549837
6.22/4.58	objective:-549837
6.22/4.59	o 550275
6.22/4.59	objective:-550275
7.12/5.47	o 551127
7.12/5.47	objective:-551127
7.12/5.47	o 553493
7.12/5.47	objective:-553493
7.12/5.47	o 559507
7.12/5.47	objective:-559507
7.12/5.47	o 563708
7.12/5.47	objective:-563708
7.12/5.47	o 566204
7.12/5.47	objective:-566204
7.12/5.47	o 570405
7.12/5.47	objective:-570405
7.12/5.47	o 573815
7.12/5.47	objective:-573815
7.12/5.47	o 576311
7.12/5.47	objective:-576311
7.12/5.47	o 580512
7.12/5.47	objective:-580512
7.12/5.47	o 583384
7.12/5.47	objective:-583384
7.12/5.48	o 587353
7.12/5.48	objective:-587353
7.12/5.48	o 590225
7.12/5.48	objective:-590225
7.12/5.48	o 591554
7.12/5.48	objective:-591554
7.12/5.48	o 594426
7.12/5.48	objective:-594426
7.12/5.49	o 594803
7.12/5.49	objective:-594803
7.12/5.49	o 599004
7.12/5.49	objective:-599004
7.12/5.49	o 601876
7.12/5.49	objective:-601876
7.12/5.49	o 607698
7.12/5.49	objective:-607698
7.12/5.50	o 608633
7.12/5.50	objective:-608633
7.12/5.50	o 612043
7.12/5.50	objective:-612043
7.12/5.50	o 612726
7.12/5.50	objective:-612726
7.12/5.50	o 618740
7.12/5.50	objective:-618740
7.23/5.50	o 622941
7.23/5.50	objective:-622941
7.23/5.50	o 625813
7.23/5.50	objective:-625813
7.23/5.51	o 627249
7.23/5.51	objective:-627249
7.23/5.51	o 630391
7.23/5.51	objective:-630391
7.23/5.51	o 633263
7.23/5.51	objective:-633263
7.23/5.51	o 634995
7.23/5.51	objective:-634995
7.23/5.51	o 636808
7.23/5.51	objective:-636808
7.23/5.51	o 641009
7.23/5.51	objective:-641009
7.23/5.52	o 643881
7.23/5.52	objective:-643881
7.23/5.53	o 644561
7.23/5.53	objective:-644561
7.23/5.53	o 647433
7.23/5.53	objective:-647433
7.23/5.53	o 650471
7.23/5.53	objective:-650471
8.13/6.43	o 650604
8.13/6.43	objective:-650604
8.13/6.43	o 651894
8.13/6.43	objective:-651894
8.13/6.43	o 653043
8.13/6.43	objective:-653043
8.13/6.43	o 653560
8.13/6.43	objective:-653560
8.13/6.43	o 654289
8.13/6.43	objective:-654289
8.13/6.43	o 655579
8.13/6.43	objective:-655579
8.13/6.43	o 656728
8.13/6.43	objective:-656728
8.13/6.43	o 657245
8.13/6.43	objective:-657245
8.13/6.43	o 657585
8.13/6.43	objective:-657585
8.13/6.43	o 658314
8.13/6.43	objective:-658314
8.13/6.43	o 660753
8.13/6.43	objective:-660753
8.13/6.43	o 661270
8.13/6.43	objective:-661270
8.13/6.44	o 661902
8.13/6.44	objective:-661902
8.13/6.44	o 662419
8.13/6.44	objective:-662419
8.13/6.44	o 664953
8.13/6.44	objective:-664953
8.13/6.44	o 666102
8.13/6.44	objective:-666102
8.13/6.44	o 667392
8.13/6.44	objective:-667392
8.13/6.44	o 668541
8.13/6.44	objective:-668541
8.13/6.44	o 668638
8.13/6.44	objective:-668638
8.13/6.44	o 671077
8.13/6.44	objective:-671077
8.13/6.44	o 672226
8.13/6.44	objective:-672226
8.13/6.44	o 672743
8.13/6.44	objective:-672743
8.13/6.45	o 677453
8.13/6.45	objective:-677453
8.13/6.45	o 677876
8.13/6.45	objective:-677876
8.13/6.45	o 682627
8.13/6.45	objective:-682627
8.13/6.45	o 683144
8.13/6.45	objective:-683144
8.13/6.45	o 683776
8.13/6.45	objective:-683776
8.13/6.45	o 684293
8.13/6.45	objective:-684293
8.13/6.45	o 685066
8.13/6.45	objective:-685066
8.13/6.45	o 685583
8.13/6.45	objective:-685583
8.13/6.45	o 686215
8.13/6.45	objective:-686215
8.13/6.45	o 686732
8.13/6.45	objective:-686732
8.13/6.45	o 686829
8.13/6.45	objective:-686829
8.13/6.45	o 687461
8.13/6.45	objective:-687461
8.13/6.45	o 687978
8.13/6.45	objective:-687978
8.13/6.45	o 688751
8.13/6.45	objective:-688751
8.13/6.45	o 689268
8.13/6.45	objective:-689268
8.13/6.45	o 689900
8.13/6.45	objective:-689900
8.13/6.45	o 690417
8.13/6.45	objective:-690417
8.13/6.46	o 694419
8.13/6.46	objective:-694419
8.13/6.46	o 694936
8.13/6.46	objective:-694936
8.13/6.46	o 695568
8.13/6.46	objective:-695568
8.13/6.46	o 696085
8.13/6.46	objective:-696085
8.13/6.46	o 696858
8.13/6.46	objective:-696858
8.13/6.46	o 697375
8.13/6.46	objective:-697375
8.13/6.46	o 698007
8.13/6.46	objective:-698007
8.13/6.46	o 698524
8.13/6.46	objective:-698524
8.13/6.46	o 699569
8.13/6.46	objective:-699569
8.13/6.46	o 704743
8.13/6.46	objective:-704743
8.13/6.46	o 705892
8.13/6.46	objective:-705892
8.13/6.46	o 707182
8.13/6.46	objective:-707182
8.13/6.46	o 708331
8.13/6.46	objective:-708331
8.13/6.46	o 708848
8.13/6.46	objective:-708848
8.13/6.46	o 709494
8.13/6.46	objective:-709494
8.13/6.46	o 711933
8.13/6.46	objective:-711933
8.13/6.46	o 712450
8.13/6.46	objective:-712450
8.13/6.46	o 713082
8.13/6.46	objective:-713082
8.13/6.46	o 713599
8.13/6.46	objective:-713599
8.13/6.47	o 714627
8.13/6.47	objective:-714627
8.13/6.47	o 719378
8.13/6.47	objective:-719378
8.13/6.47	o 719895
8.13/6.47	objective:-719895
8.13/6.47	o 720527
8.13/6.47	objective:-720527
8.13/6.47	o 721044
8.13/6.47	objective:-721044
8.13/6.47	o 721817
8.13/6.47	objective:-721817
8.13/6.47	o 722334
8.13/6.47	objective:-722334
8.13/6.47	o 722966
8.13/6.47	objective:-722966
8.13/6.47	o 723483
8.13/6.47	objective:-723483
8.13/6.48	o 724421
8.13/6.48	objective:-724421
8.13/6.48	o 724938
8.13/6.48	objective:-724938
9.05/7.38	o 726625
9.05/7.38	objective:-726625
9.05/7.38	o 727633
9.05/7.38	objective:-727633
9.05/7.38	o 729937
9.05/7.38	objective:-729937
9.05/7.38	o 734330
9.05/7.38	objective:-734330
9.05/7.38	o 737740
9.05/7.38	objective:-737740
9.05/7.38	o 740044
9.05/7.38	objective:-740044
9.05/7.38	o 744437
9.05/7.38	objective:-744437
9.05/7.38	o 748214
9.05/7.38	objective:-748214
9.05/7.38	o 753787
9.05/7.38	objective:-753787
9.05/7.38	o 757564
9.05/7.38	objective:-757564
9.05/7.38	o 758180
9.05/7.38	objective:-758180
9.05/7.38	o 761957
9.05/7.38	objective:-761957
9.05/7.38	o 763623
9.05/7.38	objective:-763623
9.05/7.39	o 767400
9.05/7.39	objective:-767400
9.05/7.39	o 771082
9.05/7.39	objective:-771082
9.05/7.39	o 776969
9.05/7.39	objective:-776969
9.05/7.39	o 782412
9.05/7.39	objective:-782412
9.05/7.39	o 786094
9.05/7.39	objective:-786094
9.05/7.39	o 786189
9.05/7.39	objective:-786189
9.05/7.39	o 789871
9.05/7.39	objective:-789871
9.05/7.40	o 790487
9.05/7.40	objective:-790487
9.05/7.40	o 790582
9.05/7.40	objective:-790582
9.05/7.40	o 794264
9.05/7.40	objective:-794264
9.15/7.40	o 795843
9.15/7.40	objective:-795843
9.15/7.40	o 796893
9.15/7.40	objective:-796893
9.15/7.40	o 797509
9.15/7.40	objective:-797509
9.15/7.40	o 801286
9.15/7.40	objective:-801286
9.15/7.40	o 804968
9.15/7.40	objective:-804968
9.15/7.41	o 808307
9.15/7.41	objective:-808307
9.15/7.42	o 808499
9.15/7.42	objective:-808499
9.15/7.42	o 808842
9.15/7.42	objective:-808842
9.15/7.42	o 812181
9.15/7.42	objective:-812181
10.05/8.31	o 813693
10.05/8.31	objective:-813693
10.05/8.31	o 819081
10.05/8.31	objective:-819081
10.05/8.31	o 823845
10.05/8.31	objective:-823845
10.05/8.31	o 824799
10.05/8.31	objective:-824799
10.05/8.31	o 828077
10.05/8.31	objective:-828077
10.05/8.31	o 833465
10.05/8.31	objective:-833465
10.05/8.31	o 838229
10.05/8.31	objective:-838229
10.05/8.31	o 842863
10.05/8.31	objective:-842863
10.05/8.31	o 847627
10.05/8.31	objective:-847627
10.05/8.32	o 849894
10.05/8.32	objective:-849894
10.05/8.32	o 853989
10.05/8.32	objective:-853989
10.05/8.32	o 856256
10.05/8.32	objective:-856256
10.05/8.32	o 858753
10.05/8.32	objective:-858753
10.05/8.32	o 861020
10.05/8.32	objective:-861020
10.05/8.32	o 863010
10.05/8.32	objective:-863010
10.05/8.32	o 868398
10.05/8.32	objective:-868398
10.05/8.32	o 873162
10.05/8.32	objective:-873162
10.05/8.32	o 875429
10.05/8.32	objective:-875429
10.05/8.33	o 878028
10.05/8.33	objective:-878028
10.05/8.33	o 880295
10.05/8.33	objective:-880295
10.05/8.33	o 882013
10.05/8.33	objective:-882013
10.05/8.33	o 884280
10.05/8.33	objective:-884280
10.05/8.34	o 886606
10.05/8.34	objective:-886606
10.05/8.34	o 888873
10.05/8.34	objective:-888873
10.05/8.34	o 890473
10.05/8.34	objective:-890473
10.05/8.34	o 891097
10.05/8.34	objective:-891097
10.05/8.34	o 891268
10.05/8.34	objective:-891268
10.05/8.34	o 891876
10.05/8.34	objective:-891876
10.05/8.34	o 895861
10.05/8.34	objective:-895861
10.05/8.34	o 898128
10.05/8.34	objective:-898128
10.05/8.35	o 898392
10.05/8.35	objective:-898392
10.05/8.35	o 899517
10.05/8.35	objective:-899517
10.05/8.35	o 900516
10.05/8.35	objective:-900516
10.05/8.36	o 900780
10.05/8.36	objective:-900780
10.05/8.36	o 901905
10.05/8.36	objective:-901905
10.05/8.36	o 904011
10.05/8.36	objective:-904011
10.05/8.36	o 904275
10.05/8.36	objective:-904275
10.05/8.36	o 905400
10.05/8.36	objective:-905400
10.05/8.37	o 905659
10.05/8.37	objective:-905659
10.05/8.37	o 907377
10.05/8.37	objective:-907377
10.05/8.37	o 909644
10.05/8.37	objective:-909644
10.05/8.37	o 909908
10.05/8.37	objective:-909908
10.05/8.37	o 911033
10.05/8.37	objective:-911033
10.05/8.37	o 912944
10.05/8.37	objective:-912944
10.05/8.38	o 913208
10.05/8.38	objective:-913208
10.05/8.38	o 915211
10.05/8.38	objective:-915211
10.05/8.38	o 915475
10.05/8.38	objective:-915475
10.05/8.38	o 916600
10.05/8.38	objective:-916600
10.95/9.25	o 918376
10.95/9.25	objective:-918376
10.95/9.25	o 920394
10.95/9.25	objective:-920394
10.95/9.26	o 920683
10.95/9.26	objective:-920683
10.95/9.26	o 922705
10.95/9.26	objective:-922705
10.95/9.26	o 925016
10.95/9.26	objective:-925016
10.95/9.26	o 927034
10.95/9.26	objective:-927034
10.95/9.26	o 928511
10.95/9.26	objective:-928511
10.95/9.26	o 930529
10.95/9.26	objective:-930529
10.95/9.26	o 932387
10.95/9.26	objective:-932387
10.95/9.27	o 932837
10.95/9.27	objective:-932837
10.95/9.27	o 934021
10.95/9.27	objective:-934021
10.95/9.27	o 936332
10.95/9.27	objective:-936332
10.95/9.27	o 938190
10.95/9.27	objective:-938190
10.95/9.27	o 938350
10.95/9.27	objective:-938350
10.95/9.27	o 940208
10.95/9.27	objective:-940208
10.95/9.27	o 940667
10.95/9.27	objective:-940667
10.95/9.28	o 942525
10.95/9.28	objective:-942525
11.86/10.14	o 946005
11.86/10.14	objective:-946005
11.86/10.14	o 946152
11.86/10.14	objective:-946152
11.86/10.14	o 948325
11.86/10.14	objective:-948325
11.86/10.14	o 948472
11.86/10.14	objective:-948472
11.86/10.14	o 951179
11.86/10.14	objective:-951179
11.86/10.14	o 951326
11.86/10.14	objective:-951326
11.86/10.14	o 953499
11.86/10.14	objective:-953499
11.86/10.14	o 953646
11.86/10.14	objective:-953646
11.86/10.14	o 954136
11.86/10.14	objective:-954136
11.86/10.15	o 955686
11.86/10.15	objective:-955686
11.86/10.15	o 958540
11.86/10.15	objective:-958540
11.86/10.15	o 960860
11.86/10.15	objective:-960860
11.86/10.15	o 961007
11.86/10.15	objective:-961007
11.86/10.15	o 961349
11.86/10.15	objective:-961349
11.86/10.15	o 963895
11.86/10.15	objective:-963895
11.86/10.16	o 965726
11.86/10.16	objective:-965726
11.86/10.16	o 966215
11.86/10.16	objective:-966215
12.76/11.05	o 966828
12.76/11.05	objective:-966828
12.76/11.05	o 967602
12.76/11.05	objective:-967602
12.76/11.05	o 971381
12.76/11.05	objective:-971381
12.76/11.06	o 972495
12.76/11.06	objective:-972495
12.76/11.06	o 973389
12.76/11.06	objective:-973389
12.76/11.06	o 974503
12.76/11.06	objective:-974503
13.65/11.92	o 974702
13.65/11.92	objective:-974702
13.65/11.92	o 975088
13.65/11.92	objective:-975088
13.65/11.92	o 976339
13.65/11.92	objective:-976339
13.65/11.92	o 976725
13.65/11.92	objective:-976725
13.65/11.92	o 977391
13.65/11.92	objective:-977391
13.65/11.92	o 980385
13.65/11.92	objective:-980385
13.65/11.92	o 982196
13.65/11.92	objective:-982196
13.65/11.92	o 983833
13.65/11.92	objective:-983833
13.65/11.93	o 984219
13.65/11.93	objective:-984219
13.65/11.93	o 987039
13.65/11.93	objective:-987039
13.65/11.93	o 988850
13.65/11.93	objective:-988850
13.65/11.93	o 990487
13.65/11.93	objective:-990487
13.65/11.93	o 990873
13.65/11.93	objective:-990873
13.65/11.93	o 991670
13.65/11.93	objective:-991670
13.65/11.93	o 992056
13.65/11.93	objective:-992056
13.65/11.93	o 993481
13.65/11.93	objective:-993481
13.65/11.93	o 993867
13.65/11.93	objective:-993867
13.65/11.94	o 995133
13.65/11.94	objective:-995133
13.65/11.94	o 996770
13.65/11.94	objective:-996770
13.65/11.94	o 998127
13.65/11.94	objective:-998127
13.65/11.94	o 999764
13.65/11.94	objective:-999764
13.65/11.94	o 999938
13.65/11.94	objective:-999938
13.65/11.94	o 1001575
13.65/11.94	objective:-1001575
13.65/11.95	o 1001961
13.65/11.95	objective:-1001961
13.65/11.95	o 1002561
13.65/11.95	objective:-1002561
13.65/11.95	o 1004372
13.65/11.95	objective:-1004372
13.65/11.95	o 1004758
13.65/11.95	objective:-1004758
13.65/11.95	o 1006009
13.65/11.95	objective:-1006009
13.65/11.95	o 1006395
13.65/11.95	objective:-1006395
14.55/12.81	o 1008132
14.55/12.81	objective:-1008132
14.55/12.81	o 1010713
14.55/12.81	objective:-1010713
14.55/12.81	o 1012685
14.55/12.81	objective:-1012685
14.55/12.81	o 1013258
14.55/12.81	objective:-1013258
14.55/12.81	o 1013593
14.55/12.81	objective:-1013593
14.55/12.81	o 1015565
14.55/12.81	objective:-1015565
14.55/12.81	o 1016138
14.55/12.81	objective:-1016138
14.55/12.82	o 1016861
14.55/12.82	objective:-1016861
14.55/12.82	o 1018833
14.55/12.82	objective:-1018833
14.55/12.82	o 1021414
14.55/12.82	objective:-1021414
14.55/12.82	o 1023386
14.55/12.82	objective:-1023386
14.55/12.82	o 1023959
14.55/12.82	objective:-1023959
14.55/12.82	o 1024818
14.55/12.82	objective:-1024818
14.55/12.82	o 1025391
14.55/12.82	objective:-1025391
14.55/12.82	o 1025664
14.55/12.82	objective:-1025664
14.55/12.82	o 1026387
14.55/12.82	objective:-1026387
14.55/12.82	o 1028359
14.55/12.82	objective:-1028359
14.55/12.82	o 1030940
14.55/12.82	objective:-1030940
14.55/12.82	o 1032912
14.55/12.82	objective:-1032912
14.55/12.82	o 1033485
14.55/12.82	objective:-1033485
14.55/12.82	o 1033745
14.55/12.82	objective:-1033745
14.55/12.83	o 1033807
14.55/12.83	objective:-1033807
14.55/12.83	o 1035779
14.55/12.83	objective:-1035779
14.55/12.83	o 1036352
14.55/12.83	objective:-1036352
14.55/12.83	o 1036625
14.55/12.83	objective:-1036625
14.55/12.83	o 1037348
14.55/12.83	objective:-1037348
14.55/12.83	o 1039320
14.55/12.83	objective:-1039320
14.55/12.83	o 1041901
14.55/12.83	objective:-1041901
14.55/12.83	o 1043873
14.55/12.83	objective:-1043873
14.55/12.83	o 1044446
14.55/12.83	objective:-1044446
14.55/12.83	o 1045531
14.55/12.83	objective:-1045531
14.55/12.83	o 1048112
14.55/12.83	objective:-1048112
14.55/12.83	o 1050084
14.55/12.83	objective:-1050084
14.55/12.83	o 1050657
14.55/12.83	objective:-1050657
14.55/12.84	o 1051577
14.55/12.84	objective:-1051577
14.55/12.84	o 1053009
14.55/12.84	objective:-1053009
14.55/12.84	o 1053282
14.55/12.84	objective:-1053282
14.55/12.84	o 1054892
14.55/12.84	objective:-1054892
14.55/12.84	o 1058558
14.55/12.84	objective:-1058558
14.55/12.84	o 1061103
14.55/12.84	objective:-1061103
14.55/12.85	o 1061749
14.55/12.85	objective:-1061749
14.55/12.85	o 1061990
14.55/12.85	objective:-1061990
14.55/12.85	o 1066302
14.55/12.85	objective:-1066302
14.55/12.85	o 1068274
14.55/12.85	objective:-1068274
14.55/12.85	o 1068847
14.55/12.85	objective:-1068847
15.46/13.71	o 1069125
15.46/13.71	objective:-1069125
15.46/13.71	o 1070413
15.46/13.71	objective:-1070413
16.26/14.54	o 1071221
16.26/14.54	objective:-1071221
16.26/14.54	o 1071270
16.26/14.54	objective:-1071270
16.26/14.54	o 1072229
16.26/14.54	objective:-1072229
16.26/14.54	o 1072278
16.26/14.54	objective:-1072278
16.26/14.54	o 1072821
16.26/14.54	objective:-1072821
16.26/14.54	o 1072870
16.26/14.54	objective:-1072870
16.26/14.54	o 1073829
16.26/14.54	objective:-1073829
16.26/14.54	o 1073878
16.26/14.54	objective:-1073878
16.26/14.54	o 1074221
16.26/14.54	objective:-1074221
16.26/14.54	o 1075229
16.26/14.54	objective:-1075229
16.26/14.54	o 1075821
16.26/14.54	objective:-1075821
16.26/14.54	o 1076829
16.26/14.54	objective:-1076829
16.26/14.54	o 1076878
16.26/14.54	objective:-1076878
16.26/14.54	o 1078042
16.26/14.54	objective:-1078042
16.26/14.55	o 1079442
16.26/14.55	objective:-1079442
16.26/14.55	o 1081042
16.26/14.55	objective:-1081042
16.26/14.55	o 1081091
16.26/14.55	objective:-1081091
16.26/14.55	o 1082050
16.26/14.55	objective:-1082050
16.26/14.55	o 1082099
16.26/14.55	objective:-1082099
16.26/14.55	o 1084094
16.26/14.55	objective:-1084094
16.26/14.55	o 1084143
16.26/14.55	objective:-1084143
16.26/14.55	o 1085102
16.26/14.55	objective:-1085102
16.26/14.55	o 1085151
16.26/14.55	objective:-1085151
16.26/14.55	o 1085694
16.26/14.55	objective:-1085694
16.26/14.55	o 1085743
16.26/14.55	objective:-1085743
16.26/14.55	o 1086702
16.26/14.55	objective:-1086702
16.26/14.55	o 1086751
16.26/14.55	objective:-1086751
16.26/14.56	o 1087094
16.26/14.56	objective:-1087094
16.26/14.56	o 1087143
16.26/14.56	objective:-1087143
16.26/14.56	o 1088102
16.26/14.56	objective:-1088102
16.26/14.56	o 1088151
16.26/14.56	objective:-1088151
16.26/14.56	o 1088694
16.26/14.56	objective:-1088694
16.26/14.56	o 1088743
16.26/14.56	objective:-1088743
16.26/14.56	o 1089702
16.26/14.56	objective:-1089702
16.26/14.56	o 1089751
16.26/14.56	objective:-1089751
16.26/14.56	o 1090392
16.26/14.56	objective:-1090392
16.26/14.56	o 1091400
16.26/14.56	objective:-1091400
16.26/14.56	o 1091992
16.26/14.56	objective:-1091992
16.26/14.56	o 1093000
16.26/14.56	objective:-1093000
16.26/14.56	o 1094051
16.26/14.56	objective:-1094051
16.26/14.56	o 1096462
16.26/14.56	objective:-1096462
16.26/14.57	o 1097470
16.26/14.57	objective:-1097470
16.26/14.57	o 1098062
16.26/14.57	objective:-1098062
16.26/14.57	o 1099070
16.26/14.57	objective:-1099070
16.26/14.57	o 1099149
16.26/14.57	objective:-1099149
16.26/14.57	o 1102339
16.26/14.57	objective:-1102339
16.26/14.57	o 1102388
16.26/14.57	objective:-1102388
16.26/14.57	o 1103939
16.26/14.57	objective:-1103939
16.26/14.57	o 1103988
16.26/14.57	objective:-1103988
16.26/14.57	o 1105339
16.26/14.57	objective:-1105339
16.26/14.57	o 1105388
16.26/14.57	objective:-1105388
16.26/14.57	o 1106939
16.26/14.57	objective:-1106939
16.26/14.58	o 1106988
16.26/14.58	objective:-1106988
16.26/14.58	o 1107560
16.26/14.58	objective:-1107560
16.26/14.58	o 1107609
16.26/14.58	objective:-1107609
16.26/14.58	o 1109160
16.26/14.58	objective:-1109160
16.26/14.58	o 1109209
16.26/14.58	objective:-1109209
16.26/14.58	o 1110560
16.26/14.58	objective:-1110560
16.26/14.58	o 1110609
16.26/14.58	objective:-1110609
16.26/14.58	o 1112160
16.26/14.58	objective:-1112160
16.26/14.58	o 1112209
16.26/14.58	objective:-1112209
16.26/14.58	o 1112971
16.26/14.58	objective:-1112971
16.26/14.58	o 1113020
16.26/14.58	objective:-1113020
16.26/14.58	o 1114571
16.26/14.58	objective:-1114571
16.26/14.58	o 1114620
16.26/14.58	objective:-1114620
16.26/14.58	o 1115212
16.26/14.58	objective:-1115212
16.26/14.58	o 1115261
16.26/14.58	objective:-1115261
16.26/14.58	o 1116812
16.26/14.58	objective:-1116812
16.26/14.58	o 1116861
16.26/14.58	objective:-1116861
16.26/14.58	o 1117623
16.26/14.58	objective:-1117623
16.26/14.58	o 1117672
16.26/14.58	objective:-1117672
16.26/14.58	o 1119223
16.26/14.58	objective:-1119223
16.26/14.58	o 1119272
16.26/14.58	objective:-1119272
16.26/14.59	o 1119812
16.26/14.59	objective:-1119812
16.26/14.59	o 1119861
16.26/14.59	objective:-1119861
16.26/14.59	o 1120623
16.26/14.59	objective:-1120623
16.26/14.59	o 1120672
16.26/14.59	objective:-1120672
16.26/14.59	o 1122223
16.26/14.59	objective:-1122223
16.26/14.59	o 1122272
16.26/14.59	objective:-1122272
16.26/14.59	o 1123110
16.26/14.59	objective:-1123110
16.26/14.59	o 1123921
16.26/14.59	objective:-1123921
16.26/14.59	o 1125521
16.26/14.59	objective:-1125521
16.26/14.59	o 1126529
16.26/14.59	objective:-1126529
16.26/14.59	o 1127549
16.26/14.59	objective:-1127549
16.26/14.59	o 1127598
16.26/14.59	objective:-1127598
16.26/14.59	o 1129149
16.26/14.59	objective:-1129149
16.26/14.59	o 1129198
16.26/14.59	objective:-1129198
16.26/14.60	o 1129960
16.26/14.60	objective:-1129960
16.26/14.60	o 1130009
16.26/14.60	objective:-1130009
16.26/14.60	o 1131560
16.26/14.60	objective:-1131560
16.26/14.60	o 1131609
16.26/14.60	objective:-1131609
16.36/14.60	o 1132568
16.36/14.60	objective:-1132568
16.36/14.60	o 1132617
16.36/14.60	objective:-1132617
16.36/14.60	o 1132960
16.36/14.60	objective:-1132960
16.36/14.60	o 1133009
16.36/14.60	objective:-1133009
16.36/14.60	o 1134560
16.36/14.60	objective:-1134560
16.36/14.60	o 1134609
16.36/14.60	objective:-1134609
16.36/14.60	o 1135568
16.36/14.60	objective:-1135568
16.36/14.60	o 1135617
16.36/14.60	objective:-1135617
16.36/14.60	o 1136258
16.36/14.60	objective:-1136258
16.36/14.60	o 1137858
16.36/14.60	objective:-1137858
16.36/14.60	o 1138866
16.36/14.60	objective:-1138866
16.36/14.61	o 1139672
16.36/14.61	objective:-1139672
16.36/14.61	o 1141272
16.36/14.61	objective:-1141272
16.36/14.61	o 1142083
16.36/14.61	objective:-1142083
16.36/14.61	o 1143683
16.36/14.61	objective:-1143683
16.36/14.61	o 1144691
16.36/14.61	objective:-1144691
17.87/16.17	o 1144854
17.87/16.17	objective:-1144854
17.87/16.17	o 1146267
17.87/16.17	objective:-1146267
17.87/16.17	o 1147488
17.87/16.17	objective:-1147488
17.87/16.17	o 1148776
17.87/16.17	objective:-1148776
17.87/16.17	o 1149997
17.87/16.17	objective:-1149997
17.87/16.17	o 1150189
17.87/16.17	objective:-1150189
17.87/16.17	o 1151410
17.87/16.17	objective:-1151410
17.87/16.18	o 1151706
17.87/16.18	objective:-1151706
18.66/16.96	o 1152747
18.66/16.96	objective:-1152747
18.66/16.96	o 1155168
18.66/16.96	objective:-1155168
18.66/16.96	o 1155845
18.66/16.96	objective:-1155845
18.66/16.96	o 1156248
18.66/16.96	objective:-1156248
18.66/16.96	o 1156925
18.66/16.96	objective:-1156925
18.66/16.97	o 1158669
18.66/16.97	objective:-1158669
18.66/16.97	o 1159346
18.66/16.97	objective:-1159346
18.66/16.98	o 1159470
18.66/16.98	objective:-1159470
18.66/16.98	o 1161891
18.66/16.98	objective:-1161891
18.66/16.99	o 1162568
18.66/16.99	objective:-1162568
18.66/16.99	o 1163713
18.66/16.99	objective:-1163713
18.66/16.99	o 1166134
18.66/16.99	objective:-1166134
18.66/17.00	o 1167214
18.66/17.00	objective:-1167214
19.46/17.79	o 1169048
19.46/17.79	objective:-1169048
19.46/17.79	o 1172273
19.46/17.79	objective:-1172273
19.46/17.79	o 1172893
19.46/17.79	objective:-1172893
19.56/17.80	o 1173299
19.56/17.80	objective:-1173299
19.56/17.80	o 1173919
19.56/17.80	objective:-1173919
19.56/17.80	o 1177782
19.56/17.80	objective:-1177782
20.26/18.56	o 1179158
20.26/18.56	objective:-1179158
20.26/18.56	o 1179708
20.26/18.56	objective:-1179708
20.26/18.56	o 1179740
20.26/18.56	objective:-1179740
20.26/18.57	o 1180301
20.26/18.57	objective:-1180301
20.26/18.57	o 1182380
20.26/18.57	objective:-1182380
20.26/18.57	o 1182930
20.26/18.57	objective:-1182930
20.26/18.57	o 1184152
20.26/18.57	objective:-1184152
20.26/18.57	o 1184702
20.26/18.57	objective:-1184702
20.26/18.57	o 1187374
20.26/18.57	objective:-1187374
20.26/18.57	o 1187924
20.26/18.57	objective:-1187924
20.26/18.57	o 1190564
20.26/18.57	objective:-1190564
20.26/18.57	o 1191114
20.26/18.57	objective:-1191114
20.26/18.57	o 1192643
20.26/18.57	objective:-1192643
20.26/18.58	o 1193193
20.26/18.58	objective:-1193193
20.26/18.58	o 1193809
20.26/18.58	objective:-1193809
20.26/18.58	o 1194445
20.26/18.58	objective:-1194445
20.26/18.58	o 1197031
20.26/18.58	objective:-1197031
20.26/18.58	o 1197635
20.26/18.58	objective:-1197635
20.26/18.58	o 1200221
20.26/18.58	objective:-1200221
20.26/18.58	o 1202300
20.26/18.58	objective:-1202300
20.26/18.58	o 1202850
20.26/18.58	objective:-1202850
22.79/21.02	o 1203371
22.79/21.02	objective:-1203371
22.79/21.02	o 1203817
22.79/21.02	objective:-1203817
22.79/21.03	o 1207207
22.79/21.03	objective:-1207207
22.79/21.03	o 1207953
22.79/21.03	objective:-1207953
22.79/21.03	o 1209083
22.79/21.03	objective:-1209083
22.79/21.03	o 1213636
22.79/21.03	objective:-1213636
22.79/21.03	o 1214082
22.79/21.03	objective:-1214082
22.79/21.04	o 1218218
22.79/21.04	objective:-1218218
22.79/21.05	o 1218964
22.79/21.05	objective:-1218964
24.28/22.59	o 1222565
24.28/22.59	objective:-1222565
24.28/22.59	o 1225632
24.28/22.59	objective:-1225632
24.28/22.59	o 1227640
24.28/22.59	objective:-1227640
24.28/22.59	o 1230177
24.28/22.59	objective:-1230177
24.28/22.59	o 1232185
24.28/22.59	objective:-1232185
24.28/22.59	o 1232743
24.28/22.59	objective:-1232743
24.28/22.59	o 1235810
24.28/22.59	objective:-1235810
24.28/22.59	o 1237818
24.28/22.59	objective:-1237818
24.28/22.59	o 1239223
24.28/22.59	objective:-1239223
24.38/22.60	o 1239732
24.38/22.60	objective:-1239732
24.38/22.60	o 1241137
24.38/22.60	objective:-1241137
24.38/22.60	o 1241740
24.38/22.60	objective:-1241740
24.38/22.60	o 1243145
24.38/22.60	objective:-1243145
24.38/22.60	o 1243204
24.38/22.60	objective:-1243204
24.38/22.60	o 1244609
24.38/22.60	objective:-1244609
24.38/22.60	o 1244912
24.38/22.60	objective:-1244912
24.38/22.61	o 1244971
24.38/22.61	objective:-1244971
24.38/22.61	o 1246376
24.38/22.61	objective:-1246376
24.38/22.61	o 1249331
24.38/22.61	objective:-1249331
24.38/22.61	o 1250736
24.38/22.61	objective:-1250736
24.38/22.61	o 1250795
24.38/22.61	objective:-1250795
24.38/22.61	o 1252200
24.38/22.61	objective:-1252200
24.38/22.61	o 1252744
24.38/22.61	objective:-1252744
24.38/22.61	o 1252803
24.38/22.61	objective:-1252803
24.38/22.61	o 1254208
24.38/22.61	objective:-1254208
24.38/22.61	o 1254717
24.38/22.61	objective:-1254717
24.38/22.61	o 1255261
24.38/22.61	objective:-1255261
24.38/22.62	o 1256725
24.38/22.62	objective:-1256725
24.38/22.62	o 1258130
24.38/22.62	objective:-1258130
24.38/22.62	o 1258721
24.38/22.62	objective:-1258721
24.38/22.63	o 1259395
24.38/22.63	objective:-1259395
25.08/23.36	o 1260230
25.08/23.36	objective:-1260230
25.08/23.36	o 1260994
25.08/23.36	objective:-1260994
25.08/23.36	o 1261785
25.08/23.36	objective:-1261785
25.08/23.36	o 1261866
25.08/23.36	objective:-1261866
25.08/23.36	o 1262630
25.08/23.36	objective:-1262630
25.08/23.36	o 1263006
25.08/23.36	objective:-1263006
25.08/23.36	o 1265464
25.08/23.36	objective:-1265464
25.08/23.36	o 1266228
25.08/23.36	objective:-1266228
25.08/23.36	o 1267019
25.08/23.36	objective:-1267019
25.08/23.36	o 1268757
25.08/23.36	objective:-1268757
25.08/23.36	o 1269521
25.08/23.36	objective:-1269521
25.08/23.36	o 1270312
25.08/23.36	objective:-1270312
25.08/23.36	o 1271057
25.08/23.36	objective:-1271057
25.08/23.37	o 1271138
25.08/23.37	objective:-1271138
25.08/23.37	o 1271902
25.08/23.37	objective:-1271902
25.08/23.37	o 1272278
25.08/23.37	objective:-1272278
25.08/23.37	o 1274736
25.08/23.37	objective:-1274736
25.08/23.37	o 1275500
25.08/23.37	objective:-1275500
25.08/23.37	o 1276291
25.08/23.37	objective:-1276291
25.08/23.37	o 1277417
25.08/23.37	objective:-1277417
25.08/23.37	o 1278972
25.08/23.37	objective:-1278972
25.08/23.37	o 1281995
25.08/23.37	objective:-1281995
25.08/23.37	o 1284676
25.08/23.37	objective:-1284676
25.08/23.37	o 1285440
25.08/23.37	objective:-1285440
25.08/23.37	o 1286231
25.08/23.37	objective:-1286231
25.08/23.37	o 1286631
25.08/23.37	objective:-1286631
25.08/23.38	o 1287757
25.08/23.38	objective:-1287757
25.08/23.38	o 1288521
25.08/23.38	objective:-1288521
25.08/23.38	o 1289312
25.08/23.38	objective:-1289312
25.08/23.38	o 1289318
25.08/23.38	objective:-1289318
25.08/23.38	o 1290109
25.08/23.38	objective:-1290109
25.08/23.38	o 1291235
25.08/23.38	objective:-1291235
25.08/23.38	o 1291999
25.08/23.38	objective:-1291999
25.08/23.38	o 1292790
25.08/23.38	objective:-1292790
25.08/23.38	o 1293457
25.08/23.38	objective:-1293457
25.08/23.38	o 1293854
25.08/23.38	objective:-1293854
25.08/23.38	o 1296935
25.08/23.38	objective:-1296935
25.08/23.38	o 1297699
25.08/23.38	objective:-1297699
25.08/23.38	o 1299616
25.08/23.38	objective:-1299616
25.08/23.38	o 1300380
25.08/23.38	objective:-1300380
25.08/23.38	o 1302403
25.08/23.38	objective:-1302403
25.08/23.38	o 1303167
25.08/23.38	objective:-1303167
25.08/23.39	o 1305165
25.08/23.39	objective:-1305165
25.08/23.39	o 1307846
25.08/23.39	objective:-1307846
25.08/23.39	o 1308610
25.08/23.39	objective:-1308610
25.08/23.39	o 1308729
25.08/23.39	objective:-1308729
25.08/23.39	o 1311516
25.08/23.39	objective:-1311516
25.08/23.39	o 1314197
25.08/23.39	objective:-1314197
25.08/23.39	o 1314961
25.08/23.39	objective:-1314961
25.08/23.40	o 1316055
25.08/23.40	objective:-1316055
25.08/23.40	o 1316819
25.08/23.40	objective:-1316819
25.18/23.40	o 1316964
25.18/23.40	objective:-1316964
25.18/23.40	o 1317728
25.18/23.40	objective:-1317728
25.18/23.40	o 1320725
25.18/23.40	objective:-1320725
25.18/23.40	o 1322583
25.18/23.40	objective:-1322583
25.18/23.40	o 1323492
25.18/23.40	objective:-1323492
25.18/23.41	o 1324315
25.18/23.41	objective:-1324315
25.18/23.41	o 1325264
25.18/23.41	objective:-1325264
25.18/23.41	o 1326173
25.18/23.41	objective:-1326173
25.18/23.41	o 1326690
25.18/23.41	objective:-1326690
25.18/23.41	o 1327102
25.18/23.41	objective:-1327102
25.18/23.41	o 1328051
25.18/23.41	objective:-1328051
25.18/23.41	o 1328960
25.18/23.41	objective:-1328960
25.18/23.41	o 1329724
25.18/23.41	objective:-1329724
25.18/23.42	o 1329783
25.18/23.42	objective:-1329783
25.18/23.42	o 1330274
25.18/23.42	objective:-1330274
25.18/23.42	o 1331183
25.18/23.42	objective:-1331183
25.18/23.42	o 1331700
25.18/23.42	objective:-1331700
25.18/23.42	o 1331947
25.18/23.42	objective:-1331947
25.18/23.42	o 1332464
25.18/23.42	objective:-1332464
25.18/23.42	o 1333041
25.18/23.42	objective:-1333041
25.18/23.42	o 1333558
25.18/23.42	objective:-1333558
25.18/23.42	o 1333805
25.18/23.42	objective:-1333805
25.18/23.42	o 1334322
25.18/23.42	objective:-1334322
25.18/23.43	o 1334919
25.18/23.43	objective:-1334919
25.18/23.43	o 1335828
25.18/23.43	objective:-1335828
25.18/23.43	o 1336592
25.18/23.43	objective:-1336592
25.18/23.43	o 1336596
25.18/23.43	objective:-1336596
25.18/23.43	o 1337113
25.18/23.43	objective:-1337113
25.18/23.43	o 1337360
25.18/23.43	objective:-1337360
25.18/23.43	o 1337877
25.18/23.43	objective:-1337877
25.18/23.43	o 1338368
25.18/23.43	objective:-1338368
25.18/23.44	o 1339277
25.18/23.44	objective:-1339277
25.18/23.44	o 1339794
25.18/23.44	objective:-1339794
25.18/23.44	o 1340041
25.18/23.44	objective:-1340041
25.18/23.44	o 1340558
25.18/23.44	objective:-1340558
25.18/23.44	o 1341155
25.18/23.44	objective:-1341155
25.18/23.44	o 1342064
25.18/23.44	objective:-1342064
25.18/23.44	o 1342828
25.18/23.44	objective:-1342828
25.18/23.44	o 1343013
25.18/23.44	objective:-1343013
25.18/23.44	o 1343922
25.18/23.44	objective:-1343922
25.18/23.44	o 1344686
25.18/23.44	objective:-1344686
25.89/24.17	o 1346716
25.89/24.17	objective:-1346716
25.89/24.17	o 1347260
25.89/24.17	objective:-1347260
25.89/24.17	o 1350194
25.89/24.17	objective:-1350194
25.89/24.17	o 1350738
25.89/24.17	objective:-1350738
25.89/24.18	o 1350978
25.89/24.18	objective:-1350978
25.89/24.18	o 1354909
25.89/24.18	objective:-1354909
25.89/24.18	o 1358387
25.89/24.18	objective:-1358387
25.89/24.18	o 1358931
25.89/24.18	objective:-1358931
26.58/24.89	o 1359132
26.58/24.89	objective:-1359132
26.58/24.89	o 1360158
26.58/24.89	objective:-1360158
26.58/24.89	o 1362237
26.58/24.89	objective:-1362237
26.58/24.89	o 1363062
26.58/24.89	objective:-1363062
26.58/24.89	o 1364924
26.58/24.89	objective:-1364924
26.58/24.89	o 1367003
26.58/24.89	objective:-1367003
26.58/24.90	o 1368149
26.58/24.90	objective:-1368149
26.58/24.90	o 1370228
26.58/24.90	objective:-1370228
26.68/24.91	o 1370388
26.68/24.91	objective:-1370388
26.68/24.91	o 1372012
26.68/24.91	objective:-1372012
26.68/24.91	o 1374329
26.68/24.91	objective:-1374329
26.68/24.92	o 1375237
26.68/24.92	objective:-1375237
26.68/24.92	o 1377554
26.68/24.92	objective:-1377554
28.08/26.31	o 1378385
28.08/26.31	objective:-1378385
28.08/26.31	o 1380196
28.08/26.31	objective:-1380196
28.08/26.31	o 1381773
28.08/26.31	objective:-1381773
28.08/26.31	o 1382787
28.08/26.31	objective:-1382787
28.08/26.31	o 1384883
28.08/26.31	objective:-1384883
28.08/26.31	o 1386694
28.08/26.31	objective:-1386694
28.08/26.31	o 1387327
28.08/26.31	objective:-1387327
28.08/26.31	o 1389138
28.08/26.31	objective:-1389138
28.08/26.32	o 1389274
28.08/26.32	objective:-1389274
28.08/26.32	o 1391085
28.08/26.32	objective:-1391085
28.08/26.32	o 1391086
28.08/26.32	objective:-1391086
28.08/26.32	o 1394195
28.08/26.32	objective:-1394195
28.08/26.32	o 1396006
28.08/26.32	objective:-1396006
28.08/26.32	o 1398738
28.08/26.32	objective:-1398738
28.08/26.32	o 1400549
28.08/26.32	objective:-1400549
28.08/26.33	o 1401847
28.08/26.33	objective:-1401847
28.08/26.33	o 1403658
28.08/26.33	objective:-1403658
28.08/26.33	o 1404208
28.08/26.33	objective:-1404208
28.08/26.34	o 1404263
28.08/26.34	objective:-1404263
28.08/26.34	o 1404813
28.08/26.34	objective:-1404813
28.08/26.34	o 1407372
28.08/26.34	objective:-1407372
28.08/26.34	o 1407922
28.08/26.34	objective:-1407922
28.08/26.34	o 1409184
28.08/26.34	objective:-1409184
28.08/26.34	o 1412293
28.08/26.34	objective:-1412293
28.08/26.34	o 1412843
28.08/26.34	objective:-1412843
28.08/26.34	o 1414104
28.08/26.34	objective:-1414104
28.08/26.34	o 1414654
28.08/26.34	objective:-1414654
32.13/30.36	o 1414732
32.13/30.36	objective:-1414732
32.13/30.36	o 1415437
32.13/30.36	objective:-1415437
32.13/30.36	o 1417207
32.13/30.36	objective:-1417207
32.13/30.36	o 1418150
32.13/30.36	objective:-1418150
32.13/30.36	o 1421600
32.13/30.36	objective:-1421600
34.13/32.38	o 1423162
34.13/32.38	objective:-1423162
34.13/32.38	o 1423211
34.13/32.38	objective:-1423211
34.13/32.38	o 1424762
34.13/32.38	objective:-1424762
34.13/32.38	o 1424811
34.13/32.38	objective:-1424811
36.23/34.45	o 1425349
36.23/34.45	objective:-1425349
36.23/34.45	o 1426403
36.23/34.45	objective:-1426403
36.23/34.45	o 1427092
36.23/34.45	objective:-1427092
36.23/34.46	o 1429014
36.23/34.46	objective:-1429014
36.23/34.46	o 1429703
36.23/34.46	objective:-1429703
36.23/34.46	o 1430757
36.23/34.46	objective:-1430757
36.23/34.46	o 1431446
36.23/34.46	objective:-1431446
36.23/34.46	o 1432936
36.23/34.46	objective:-1432936
36.23/34.46	o 1434679
36.23/34.46	objective:-1434679
36.23/34.46	o 1435368
36.23/34.46	objective:-1435368
36.23/34.47	o 1435483
36.23/34.47	objective:-1435483
36.23/34.47	o 1436537
36.23/34.47	objective:-1436537
36.23/34.47	o 1437226
36.23/34.47	objective:-1437226
36.23/34.47	o 1437770
36.23/34.47	objective:-1437770
36.23/34.47	o 1437838
36.23/34.47	objective:-1437838
36.23/34.47	o 1438060
36.23/34.47	objective:-1438060
36.23/34.47	o 1438604
36.23/34.47	objective:-1438604
36.23/34.47	o 1438749
36.23/34.47	objective:-1438749
36.23/34.47	o 1439293
36.23/34.47	objective:-1439293
36.23/34.48	o 1440088
36.23/34.48	objective:-1440088
36.23/34.48	o 1441899
36.23/34.48	objective:-1441899
36.23/34.48	o 1442584
36.23/34.48	objective:-1442584
36.23/34.48	o 1444442
36.23/34.48	objective:-1444442
36.23/34.48	o 1446253
36.23/34.48	objective:-1446253
36.23/34.48	o 1446942
36.23/34.48	objective:-1446942
36.23/34.48	o 1447486
36.23/34.48	objective:-1447486
36.23/34.49	o 1448198
36.23/34.49	objective:-1448198
36.23/34.49	o 1448887
36.23/34.49	objective:-1448887
36.23/34.49	o 1450056
36.23/34.49	objective:-1450056
36.23/34.49	o 1450745
36.23/34.49	objective:-1450745
36.23/34.49	o 1451289
36.23/34.49	objective:-1451289
36.23/34.49	o 1452037
36.23/34.49	objective:-1452037
36.23/34.49	o 1454580
36.23/34.49	objective:-1454580
36.23/34.49	o 1456391
36.23/34.49	objective:-1456391
36.23/34.50	o 1456438
36.23/34.50	objective:-1456438
36.23/34.50	o 1458249
36.23/34.50	objective:-1458249
36.23/34.50	o 1458793
36.23/34.50	objective:-1458793
36.33/34.50	o 1458938
36.33/34.50	objective:-1458938
36.33/34.50	o 1459482
36.33/34.50	objective:-1459482
36.94/35.16	o 1459680
36.94/35.16	objective:-1459680
36.94/35.16	o 1459751
36.94/35.16	objective:-1459751
36.94/35.16	o 1460453
36.94/35.16	objective:-1460453
36.94/35.16	o 1460772
36.94/35.16	objective:-1460772
36.94/35.16	o 1461440
36.94/35.16	objective:-1461440
36.94/35.16	o 1461759
36.94/35.16	objective:-1461759
36.94/35.16	o 1461997
36.94/35.16	objective:-1461997
36.94/35.16	o 1462068
36.94/35.16	objective:-1462068
36.94/35.17	o 1462770
36.94/35.17	objective:-1462770
36.94/35.17	o 1463089
36.94/35.17	objective:-1463089
36.94/35.17	o 1463757
36.94/35.17	objective:-1463757
36.94/35.17	o 1464076
36.94/35.17	objective:-1464076
36.94/35.17	o 1464245
36.94/35.17	objective:-1464245
36.94/35.17	o 1465018
36.94/35.17	objective:-1465018
36.94/35.17	o 1465337
36.94/35.17	objective:-1465337
36.94/35.17	o 1466005
36.94/35.17	objective:-1466005
36.94/35.17	o 1466324
36.94/35.17	objective:-1466324
36.94/35.17	o 1466620
36.94/35.17	objective:-1466620
36.94/35.17	o 1466691
36.94/35.17	objective:-1466691
36.94/35.17	o 1467712
36.94/35.17	objective:-1467712
36.94/35.17	o 1468699
36.94/35.17	objective:-1468699
36.94/35.17	o 1468937
36.94/35.17	objective:-1468937
36.94/35.18	o 1469008
36.94/35.18	objective:-1469008
36.94/35.18	o 1470029
36.94/35.18	objective:-1470029
36.94/35.18	o 1471016
36.94/35.18	objective:-1471016
36.94/35.18	o 1471335
36.94/35.18	objective:-1471335
36.94/35.18	o 1472177
36.94/35.18	objective:-1472177
36.94/35.18	o 1472415
36.94/35.18	objective:-1472415
36.94/35.18	o 1472486
36.94/35.18	objective:-1472486
36.94/35.18	o 1473507
36.94/35.18	objective:-1473507
36.94/35.18	o 1474494
36.94/35.18	objective:-1474494
36.94/35.18	o 1474813
36.94/35.18	objective:-1474813
36.94/35.18	o 1475767
36.94/35.18	objective:-1475767
36.94/35.18	o 1476086
36.94/35.18	objective:-1476086
36.94/35.18	o 1476382
36.94/35.18	objective:-1476382
36.94/35.18	o 1476453
36.94/35.18	objective:-1476453
36.94/35.19	o 1477474
36.94/35.19	objective:-1477474
36.94/35.19	o 1478461
36.94/35.19	objective:-1478461
36.94/35.19	o 1478699
36.94/35.19	objective:-1478699
36.94/35.19	o 1478770
36.94/35.19	objective:-1478770
36.94/35.19	o 1479791
36.94/35.19	objective:-1479791
36.94/35.19	o 1480778
36.94/35.19	objective:-1480778
36.94/35.19	o 1481097
36.94/35.19	objective:-1481097
36.94/35.19	o 1481828
36.94/35.19	objective:-1481828
36.94/35.19	o 1482815
36.94/35.19	objective:-1482815
36.94/35.19	o 1483053
36.94/35.19	objective:-1483053
36.94/35.19	o 1483124
36.94/35.19	objective:-1483124
36.94/35.19	o 1484145
36.94/35.19	objective:-1484145
36.94/35.19	o 1485132
36.94/35.19	objective:-1485132
36.94/35.19	o 1485451
36.94/35.19	objective:-1485451
36.94/35.19	o 1486003
36.94/35.19	objective:-1486003
36.94/35.20	o 1486990
36.94/35.20	objective:-1486990
36.94/35.20	o 1487309
36.94/35.20	objective:-1487309
37.64/35.84	o 1487909
37.64/35.84	objective:-1487909
37.64/35.84	o 1488023
37.64/35.84	objective:-1488023
37.64/35.85	o 1488459
37.64/35.85	objective:-1488459
38.94/37.15	o 1490730
38.94/37.15	objective:-1490730
38.94/37.15	o 1491197
38.94/37.15	objective:-1491197
38.94/37.15	o 1491246
38.94/37.15	objective:-1491246
38.94/37.16	o 1491419
38.94/37.16	objective:-1491419
38.94/37.16	o 1491468
38.94/37.16	objective:-1491468
38.94/37.16	o 1491886
38.94/37.16	objective:-1491886
38.94/37.16	o 1491935
38.94/37.16	objective:-1491935
38.94/37.16	o 1491963
38.94/37.16	objective:-1491963
38.94/37.16	o 1492430
38.94/37.16	objective:-1492430
38.94/37.17	o 1492479
38.94/37.17	objective:-1492479
41.64/39.84	o 1494138
41.64/39.84	objective:-1494138
41.64/39.84	o 1494713
41.64/39.84	objective:-1494713
41.64/39.84	o 1495263
41.64/39.84	objective:-1495263
41.64/39.84	o 1495838
41.64/39.84	objective:-1495838
41.64/39.85	o 1497030
41.64/39.85	objective:-1497030
41.64/39.85	o 1498155
41.64/39.85	objective:-1498155
41.64/39.85	o 1501423
41.64/39.85	objective:-1501423
41.64/39.85	o 1502548
41.64/39.85	objective:-1502548
41.64/39.85	o 1505345
41.64/39.85	objective:-1505345
41.64/39.85	o 1506470
41.64/39.85	objective:-1506470
41.64/39.85	o 1507045
41.64/39.85	objective:-1507045
41.64/39.86	o 1507159
41.64/39.86	objective:-1507159
41.64/39.86	o 1507734
41.64/39.86	objective:-1507734
42.24/40.49	o 1508101
42.24/40.49	objective:-1508101
42.24/40.49	o 1508618
42.24/40.49	objective:-1508618
42.24/40.49	o 1514269
42.24/40.49	objective:-1514269
42.24/40.49	o 1516589
42.24/40.49	objective:-1516589
42.24/40.49	o 1517106
42.24/40.49	objective:-1517106
42.24/40.49	o 1517494
42.24/40.49	objective:-1517494
42.24/40.49	o 1519814
42.24/40.49	objective:-1519814
42.24/40.49	o 1520331
42.24/40.49	objective:-1520331
44.27/42.47	o 1521553
44.27/42.47	objective:-1521553
44.27/42.47	o 1522070
44.27/42.47	objective:-1522070
44.27/42.47	o 1522103
44.27/42.47	objective:-1522103
44.27/42.47	o 1522620
44.27/42.47	objective:-1522620
44.27/42.47	o 1522647
44.27/42.47	objective:-1522647
44.27/42.47	o 1523164
44.27/42.47	objective:-1523164
44.27/42.48	o 1523643
44.27/42.48	objective:-1523643
44.27/42.48	o 1524187
44.27/42.48	objective:-1524187
44.27/42.48	o 1525730
44.27/42.48	objective:-1525730
44.27/42.48	o 1526280
44.27/42.48	objective:-1526280
44.27/42.48	o 1526860
44.27/42.48	objective:-1526860
44.27/42.48	o 1527211
44.27/42.48	objective:-1527211
44.27/42.48	o 1529180
44.27/42.48	objective:-1529180
44.27/42.48	o 1529730
44.27/42.48	objective:-1529730
44.27/42.48	o 1530274
44.27/42.48	objective:-1530274
44.27/42.48	o 1530791
44.27/42.48	objective:-1530791
44.27/42.49	o 1531194
44.27/42.49	objective:-1531194
44.27/42.49	o 1531711
44.27/42.49	objective:-1531711
44.27/42.49	o 1531738
44.27/42.49	objective:-1531738
44.27/42.49	o 1532255
44.27/42.49	objective:-1532255
47.69/45.88	o 1532303
47.69/45.88	objective:-1532303
47.69/45.88	o 1532980
47.69/45.88	objective:-1532980
47.69/45.88	o 1533299
47.69/45.88	objective:-1533299
47.69/45.88	o 1533497
47.69/45.88	objective:-1533497
47.69/45.88	o 1533816
47.69/45.88	objective:-1533816
47.69/45.88	o 1533844
47.69/45.88	objective:-1533844
47.69/45.88	o 1534163
47.69/45.88	objective:-1534163
47.69/45.88	o 1534361
47.69/45.88	objective:-1534361
47.69/45.88	o 1534680
47.69/45.88	objective:-1534680
47.69/45.88	o 1535175
47.69/45.88	objective:-1535175
47.69/45.88	o 1535852
47.69/45.88	objective:-1535852
47.69/45.88	o 1536171
47.69/45.88	objective:-1536171
47.69/45.89	o 1536369
47.69/45.89	objective:-1536369
47.69/45.89	o 1536688
47.69/45.89	objective:-1536688
47.69/45.89	o 1536986
47.69/45.89	objective:-1536986
47.69/45.89	o 1537663
47.69/45.89	objective:-1537663
47.69/45.89	o 1537982
47.69/45.89	objective:-1537982
47.69/45.89	o 1538180
47.69/45.89	objective:-1538180
47.69/45.89	o 1538499
47.69/45.89	objective:-1538499
47.69/45.89	o 1538964
47.69/45.89	objective:-1538964
47.69/45.89	o 1539283
47.69/45.89	objective:-1539283
47.69/45.89	o 1539481
47.69/45.89	objective:-1539481
47.69/45.89	o 1539800
47.69/45.89	objective:-1539800
47.69/45.89	o 1540066
47.69/45.89	objective:-1540066
47.69/45.89	o 1540385
47.69/45.89	objective:-1540385
47.69/45.89	o 1540583
47.69/45.89	objective:-1540583
47.69/45.89	o 1540902
47.69/45.89	objective:-1540902
47.69/45.89	o 1541200
47.69/45.89	objective:-1541200
47.69/45.89	o 1541877
47.69/45.89	objective:-1541877
47.69/45.90	o 1542196
47.69/45.90	objective:-1542196
47.69/45.90	o 1542394
47.69/45.90	objective:-1542394
47.69/45.90	o 1542713
47.69/45.90	objective:-1542713
47.79/45.90	o 1542910
47.79/45.90	objective:-1542910
47.79/45.90	o 1543208
47.79/45.90	objective:-1543208
47.79/45.90	o 1543885
47.79/45.90	objective:-1543885
47.79/45.90	o 1544204
47.79/45.90	objective:-1544204
47.79/45.90	o 1544402
47.79/45.90	objective:-1544402
47.79/45.90	o 1544721
47.79/45.90	objective:-1544721
47.79/45.90	o 1544834
47.79/45.90	objective:-1544834
47.79/45.90	o 1545015
47.79/45.90	objective:-1545015
47.79/45.90	o 1545213
47.79/45.90	objective:-1545213
47.79/45.90	o 1545532
47.79/45.90	objective:-1545532
47.79/45.90	o 1545729
47.79/45.90	objective:-1545729
47.79/45.90	o 1546027
47.79/45.90	objective:-1546027
47.79/45.90	o 1546704
47.79/45.90	objective:-1546704
47.79/45.90	o 1547023
47.79/45.90	objective:-1547023
47.79/45.90	o 1547221
47.79/45.90	objective:-1547221
47.79/45.90	o 1547540
47.79/45.90	objective:-1547540
47.79/45.91	o 1547757
47.79/45.91	objective:-1547757
47.79/45.91	o 1547955
47.79/45.91	objective:-1547955
47.79/45.91	o 1548274
47.79/45.91	objective:-1548274
47.79/45.91	o 1548572
47.79/45.91	objective:-1548572
47.79/45.91	o 1549249
47.79/45.91	objective:-1549249
47.79/45.91	o 1549568
47.79/45.91	objective:-1549568
47.79/45.91	o 1549766
47.79/45.91	objective:-1549766
47.79/45.91	o 1550085
47.79/45.91	objective:-1550085
47.79/45.91	o 1550282
47.79/45.91	objective:-1550282
47.79/45.91	o 1550580
47.79/45.91	objective:-1550580
47.79/45.91	o 1551257
47.79/45.91	objective:-1551257
47.79/45.91	o 1551576
47.79/45.91	objective:-1551576
47.79/45.91	o 1551774
47.79/45.91	objective:-1551774
47.79/45.91	o 1552093
47.79/45.91	objective:-1552093
51.69/49.85	o 1552273
51.69/49.85	objective:-1552273
51.69/49.85	o 1552740
51.69/49.85	objective:-1552740
51.69/49.85	o 1552960
51.69/49.85	objective:-1552960
51.69/49.85	o 1553427
51.69/49.85	objective:-1553427
51.69/49.85	o 1554141
51.69/49.85	objective:-1554141
51.69/49.85	o 1554818
51.69/49.85	objective:-1554818
51.69/49.85	o 1555285
51.69/49.85	objective:-1555285
51.69/49.85	o 1555435
51.69/49.85	objective:-1555435
51.69/49.85	o 1556149
51.69/49.85	objective:-1556149
51.69/49.85	o 1556826
51.69/49.85	objective:-1556826
51.69/49.85	o 1557293
51.69/49.85	objective:-1557293
51.69/49.86	o 1557328
51.69/49.86	objective:-1557328
51.69/49.86	o 1558005
51.69/49.86	objective:-1558005
51.69/49.86	o 1558472
51.69/49.86	objective:-1558472
51.69/49.86	o 1558622
51.69/49.86	objective:-1558622
51.69/49.86	o 1559336
51.69/49.86	objective:-1559336
51.69/49.86	o 1560013
51.69/49.86	objective:-1560013
51.69/49.86	o 1560480
51.69/49.86	objective:-1560480
51.69/49.86	o 1560711
51.69/49.86	objective:-1560711
51.69/49.86	o 1561178
51.69/49.86	objective:-1561178
51.69/49.86	o 1561328
51.69/49.86	objective:-1561328
51.69/49.86	o 1562042
51.69/49.86	objective:-1562042
51.69/49.86	o 1562719
51.69/49.86	objective:-1562719
51.69/49.86	o 1563186
51.69/49.86	objective:-1563186
51.69/49.86	o 1563406
51.69/49.86	objective:-1563406
51.69/49.86	o 1563873
51.69/49.86	objective:-1563873
51.69/49.86	o 1564587
51.69/49.86	objective:-1564587
51.69/49.86	o 1565264
51.69/49.86	objective:-1565264
51.69/49.86	o 1565731
51.69/49.86	objective:-1565731
51.69/49.86	o 1565881
51.69/49.86	objective:-1565881
51.69/49.86	o 1566595
51.69/49.86	objective:-1566595
51.69/49.86	o 1567272
51.69/49.86	objective:-1567272
51.69/49.87	o 1567739
51.69/49.87	objective:-1567739
51.69/49.87	o 1568540
51.69/49.87	objective:-1568540
51.69/49.87	o 1569007
51.69/49.87	objective:-1569007
51.69/49.87	o 1569227
51.69/49.87	objective:-1569227
51.69/49.87	o 1569694
51.69/49.87	objective:-1569694
51.69/49.87	o 1571085
51.69/49.87	objective:-1571085
51.69/49.87	o 1571552
51.69/49.87	objective:-1571552
51.69/49.87	o 1571702
51.69/49.87	objective:-1571702
51.69/49.87	o 1573093
51.69/49.87	objective:-1573093
51.69/49.87	o 1573560
51.69/49.87	objective:-1573560
51.69/49.87	o 1573770
51.69/49.87	objective:-1573770
51.69/49.87	o 1574237
51.69/49.87	objective:-1574237
54.29/52.50	o 1574319
54.29/52.50	objective:-1574319
54.29/52.50	o 1574638
54.29/52.50	objective:-1574638
54.39/52.50	o 1574825
54.39/52.50	objective:-1574825
54.39/52.50	o 1575144
54.39/52.50	objective:-1575144
54.39/52.50	o 1575649
54.39/52.50	objective:-1575649
54.39/52.50	o 1576636
54.39/52.50	objective:-1576636
54.39/52.50	o 1576955
54.39/52.50	objective:-1576955
54.39/52.50	o 1577238
54.39/52.50	objective:-1577238
54.39/52.50	o 1578730
54.39/52.50	objective:-1578730
54.39/52.50	o 1579049
54.39/52.50	objective:-1579049
54.39/52.51	o 1579717
54.39/52.51	objective:-1579717
54.39/52.51	o 1580036
54.39/52.51	objective:-1580036
54.39/52.51	o 1580272
54.39/52.51	objective:-1580272
54.39/52.51	o 1581602
54.39/52.51	objective:-1581602
54.39/52.51	o 1582589
54.39/52.51	objective:-1582589
54.39/52.51	o 1582908
54.39/52.51	objective:-1582908
54.39/52.51	o 1583107
54.39/52.51	objective:-1583107
54.39/52.51	o 1584918
54.39/52.51	objective:-1584918
54.39/52.51	o 1585424
54.39/52.51	objective:-1585424
54.39/52.51	o 1587235
54.39/52.51	objective:-1587235
54.39/52.51	o 1587554
54.39/52.51	objective:-1587554
54.39/52.51	o 1588222
54.39/52.51	objective:-1588222
54.39/52.51	o 1588541
54.39/52.51	objective:-1588541
54.39/52.51	o 1588588
54.39/52.51	objective:-1588588
54.39/52.51	o 1589093
54.39/52.51	objective:-1589093
54.39/52.51	o 1590080
54.39/52.51	objective:-1590080
54.39/52.52	o 1590399
54.39/52.52	objective:-1590399
54.39/52.52	o 1591004
54.39/52.52	objective:-1591004
54.39/52.52	o 1592862
54.39/52.52	objective:-1592862
54.39/52.52	o 1593321
54.39/52.52	objective:-1593321
54.39/52.52	o 1595179
54.39/52.52	objective:-1595179
54.39/52.52	o 1596990
54.39/52.52	objective:-1596990
54.39/52.52	o 1597977
54.39/52.52	objective:-1597977
54.39/52.52	o 1598296
54.39/52.52	objective:-1598296
55.00/53.15	o 1598725
55.00/53.15	objective:-1598725
55.00/53.16	o 1598835
55.00/53.16	objective:-1598835
55.00/53.16	o 1600694
55.00/53.16	objective:-1600694
55.00/53.16	o 1601514
55.00/53.16	objective:-1601514
64.00/62.12	o 1601725
64.00/62.12	objective:-1601725
64.00/62.12	o 1603881
64.00/62.12	objective:-1603881
64.00/62.12	o 1604868
64.00/62.12	objective:-1604868
64.00/62.12	o 1605557
64.00/62.12	objective:-1605557
70.43/68.55	o 1605684
70.43/68.55	objective:-1605684
70.43/68.55	o 1606448
70.43/68.55	objective:-1606448
70.43/68.55	o 1606474
70.43/68.55	objective:-1606474
70.43/68.55	o 1606570
70.43/68.55	objective:-1606570
70.43/68.55	o 1607334
70.43/68.55	objective:-1607334
70.43/68.55	o 1607643
70.43/68.55	objective:-1607643
70.43/68.55	o 1609651
70.43/68.55	objective:-1609651
70.43/68.55	o 1610415
70.43/68.55	objective:-1610415
70.43/68.55	o 1611509
70.43/68.55	objective:-1611509
70.43/68.55	o 1612273
70.43/68.55	objective:-1612273
70.43/68.55	o 1612619
70.43/68.55	objective:-1612619
70.43/68.56	o 1612928
70.43/68.56	objective:-1612928
70.43/68.56	o 1614936
70.43/68.56	objective:-1614936
70.43/68.56	o 1615700
70.43/68.56	objective:-1615700
70.43/68.56	o 1616794
70.43/68.56	objective:-1616794
70.43/68.56	o 1617558
70.43/68.56	objective:-1617558
70.43/68.56	o 1618858
70.43/68.56	objective:-1618858
70.43/68.56	o 1619622
70.43/68.56	objective:-1619622
70.43/68.56	o 1620716
70.43/68.56	objective:-1620716
70.43/68.56	o 1621480
70.43/68.56	objective:-1621480
73.63/71.75	o 1621912
73.63/71.75	objective:-1621912
73.63/71.75	o 1622456
73.63/71.75	objective:-1622456
73.63/71.75	o 1622541
73.63/71.75	objective:-1622541
73.63/71.76	o 1622844
73.63/71.76	objective:-1622844
73.63/71.76	o 1624852
73.63/71.76	objective:-1624852
73.63/71.76	o 1625396
73.63/71.76	objective:-1625396
73.63/71.76	o 1625913
73.63/71.76	objective:-1625913
73.63/71.76	o 1626232
73.63/71.76	objective:-1626232
73.63/71.76	o 1626378
73.63/71.76	objective:-1626378
73.63/71.76	o 1626463
73.63/71.76	objective:-1626463
73.63/71.76	o 1626766
73.63/71.76	objective:-1626766
73.63/71.76	o 1628774
73.63/71.76	objective:-1628774
73.63/71.76	o 1629318
73.63/71.76	objective:-1629318
73.63/71.76	o 1629835
73.63/71.76	objective:-1629835
73.63/71.76	o 1630154
73.63/71.76	objective:-1630154
73.63/71.76	o 1631159
73.63/71.76	objective:-1631159
73.63/71.76	o 1631703
73.63/71.76	objective:-1631703
73.63/71.76	o 1632220
73.63/71.76	objective:-1632220
73.63/71.77	o 1632539
73.63/71.77	objective:-1632539
73.63/71.77	o 1633167
73.63/71.77	objective:-1633167
73.63/71.77	o 1633684
73.63/71.77	objective:-1633684
73.63/71.77	o 1634003
73.63/71.77	objective:-1634003
73.63/71.77	o 1634030
73.63/71.77	objective:-1634030
73.63/71.77	o 1634228
73.63/71.77	objective:-1634228
73.63/71.77	o 1634547
73.63/71.77	objective:-1634547
73.63/71.77	o 1634938
73.63/71.77	objective:-1634938
73.63/71.77	o 1635482
73.63/71.77	objective:-1635482
73.63/71.77	o 1635999
73.63/71.77	objective:-1635999
73.63/71.78	o 1636318
73.63/71.78	objective:-1636318
73.63/71.78	o 1637619
73.63/71.78	objective:-1637619
73.63/71.78	o 1638136
73.63/71.78	objective:-1638136
73.63/71.78	o 1638455
73.63/71.78	objective:-1638455
73.63/71.78	o 1638680
73.63/71.78	objective:-1638680
73.63/71.78	o 1638999
73.63/71.78	objective:-1638999
73.63/71.79	o 1639070
73.63/71.79	objective:-1639070
73.63/71.79	o 1639587
73.63/71.79	objective:-1639587
73.63/71.79	o 1639614
73.63/71.79	objective:-1639614
73.63/71.79	o 1640131
73.63/71.79	objective:-1640131
73.63/71.79	o 1640841
73.63/71.79	objective:-1640841
73.63/71.79	o 1641385
73.63/71.79	objective:-1641385
73.63/71.79	o 1641902
73.63/71.79	objective:-1641902
74.33/72.41	o 1643413
74.33/72.41	objective:-1643413
74.33/72.41	o 1643460
74.33/72.41	objective:-1643460
74.33/72.41	o 1645271
74.33/72.41	objective:-1645271
74.33/72.42	o 1645948
74.33/72.42	objective:-1645948
74.33/72.42	o 1646202
74.33/72.42	objective:-1646202
74.33/72.42	o 1646879
74.33/72.42	objective:-1646879
74.33/72.43	o 1646887
74.33/72.43	objective:-1646887
74.33/72.43	o 1648745
74.33/72.43	objective:-1648745
74.33/72.43	o 1650556
74.33/72.43	objective:-1650556
76.23/74.31	o 1651126
76.23/74.31	objective:-1651126
76.23/74.31	o 1651670
76.23/74.31	objective:-1651670
80.63/78.77	o 1652656
80.63/78.77	objective:-1652656
80.63/78.77	o 1653206
80.63/78.77	objective:-1653206
80.63/78.78	o 1653356
80.63/78.78	objective:-1653356
80.63/78.78	o 1654664
80.63/78.78	objective:-1654664
80.63/78.78	o 1655214
80.63/78.78	objective:-1655214
83.84/81.98	o 1656765
83.84/81.98	objective:-1656765
83.84/81.98	o 1656814
83.84/81.98	objective:-1656814
86.44/84.53	o 1656906
86.44/84.53	objective:-1656906
86.44/84.53	o 1657225
86.44/84.53	objective:-1657225
86.44/84.53	o 1657294
86.44/84.53	objective:-1657294
86.44/84.53	o 1657613
86.44/84.53	objective:-1657613
86.44/84.53	o 1657761
86.44/84.53	objective:-1657761
86.44/84.53	o 1658080
86.44/84.53	objective:-1658080
86.44/84.53	o 1658408
86.44/84.53	objective:-1658408
86.44/84.53	o 1658727
86.44/84.53	objective:-1658727
86.44/84.53	o 1658875
86.44/84.53	objective:-1658875
86.44/84.53	o 1659194
86.44/84.53	objective:-1659194
86.44/84.53	o 1659213
86.44/84.53	objective:-1659213
86.44/84.53	o 1659361
86.44/84.53	objective:-1659361
86.44/84.53	o 1659680
86.44/84.53	objective:-1659680
86.44/84.53	o 1660008
86.44/84.53	objective:-1660008
86.44/84.53	o 1660327
86.44/84.53	objective:-1660327
86.44/84.53	o 1660475
86.44/84.53	objective:-1660475
86.44/84.53	o 1660794
86.44/84.53	objective:-1660794
92.07/90.13	o 1662179
92.07/90.13	objective:-1662179
92.07/90.13	o 1662646
92.07/90.13	objective:-1662646
92.07/90.13	o 1662695
92.07/90.13	objective:-1662695
92.07/90.13	o 1663032
92.07/90.13	objective:-1663032
92.07/90.13	o 1663081
92.07/90.13	objective:-1663081
92.07/90.13	o 1664187
92.07/90.13	objective:-1664187
92.07/90.13	o 1664654
92.07/90.13	objective:-1664654
92.07/90.13	o 1664703
92.07/90.13	objective:-1664703
92.07/90.13	o 1665040
92.07/90.13	objective:-1665040
92.07/90.13	o 1665089
92.07/90.13	objective:-1665089
92.07/90.13	o 1665174
92.07/90.13	objective:-1665174
92.07/90.13	o 1665641
92.07/90.13	objective:-1665641
92.07/90.13	o 1665690
92.07/90.13	objective:-1665690
92.07/90.13	o 1666027
92.07/90.13	objective:-1666027
92.07/90.13	o 1666076
92.07/90.13	objective:-1666076
97.07/95.18	o 1666476
97.07/95.18	objective:-1666476
97.07/95.18	o 1666525
97.07/95.18	objective:-1666525
97.07/95.18	o 1667045
97.07/95.18	objective:-1667045
97.07/95.18	o 1668032
97.07/95.18	objective:-1668032
97.07/95.18	o 1668170
97.07/95.18	objective:-1668170
97.07/95.18	o 1669157
97.07/95.18	objective:-1669157
97.07/95.19	o 1669206
97.07/95.19	objective:-1669206
98.36/96.43	o 1669241
98.36/96.43	objective:-1669241
98.36/96.43	o 1669758
98.36/96.43	objective:-1669758
98.36/96.43	o 1669807
98.36/96.43	objective:-1669807
104.08/102.17	o 1670184
104.08/102.17	objective:-1670184
104.08/102.17	o 1670233
104.08/102.17	objective:-1670233
104.08/102.17	o 1670873
104.08/102.17	objective:-1670873
104.08/102.17	o 1670922
104.08/102.17	objective:-1670922
107.28/105.32	o 1672481
107.28/105.32	objective:-1672481
107.28/105.32	o 1675475
107.28/105.32	objective:-1675475
107.88/105.94	o 1676152
107.88/105.94	objective:-1676152
108.48/106.56	o 1676640
108.48/106.56	objective:-1676640
108.48/106.56	o 1677157
108.48/106.56	objective:-1677157
108.48/106.56	o 1677364
108.48/106.56	objective:-1677364
108.48/106.56	o 1678658
108.48/106.56	objective:-1678658
108.48/106.57	o 1679175
108.48/106.57	objective:-1679175
108.48/106.57	o 1680122
108.48/106.57	objective:-1680122
108.48/106.57	o 1680639
108.48/106.57	objective:-1680639
114.18/112.23	o 1680916
114.18/112.23	objective:-1680916
114.18/112.24	o 1681371
114.18/112.24	objective:-1681371
114.18/112.24	o 1681757
114.18/112.24	objective:-1681757
114.18/112.24	o 1682385
114.18/112.24	objective:-1682385
114.18/112.24	o 1682852
114.18/112.24	objective:-1682852
114.18/112.24	o 1683238
114.18/112.24	objective:-1683238
114.18/112.24	o 1683985
114.18/112.24	objective:-1683985
114.18/112.24	o 1684452
114.18/112.24	objective:-1684452
114.18/112.24	o 1684838
114.18/112.24	objective:-1684838
115.48/113.51	o 1684839
115.48/113.51	objective:-1684839
115.48/113.51	o 1684951
115.48/113.51	objective:-1684951
115.48/113.51	o 1685675
115.48/113.51	objective:-1685675
115.48/113.51	o 1686439
115.48/113.51	objective:-1686439
115.48/113.51	o 1686810
115.48/113.51	objective:-1686810
115.48/113.51	o 1687534
115.48/113.51	objective:-1687534
115.48/113.51	o 1688298
115.48/113.51	objective:-1688298
119.29/117.37	o 1688479
119.29/117.37	objective:-1688479
119.29/117.37	o 1688528
119.29/117.37	objective:-1688528
119.29/117.37	o 1689208
119.29/117.37	objective:-1689208
119.29/117.37	o 1689752
119.29/117.37	objective:-1689752
119.29/117.37	o 1689801
119.29/117.37	objective:-1689801
119.29/117.38	o 1692289
119.29/117.38	objective:-1692289
119.29/117.38	o 1692833
119.29/117.38	objective:-1692833
119.29/117.38	o 1692882
119.29/117.38	objective:-1692882
119.29/117.39	o 1695767
119.29/117.39	objective:-1695767
119.29/117.39	o 1695816
119.29/117.39	objective:-1695816
121.19/119.29	o 1695893
121.19/119.29	objective:-1695893
121.19/119.29	o 1696360
121.19/119.29	objective:-1696360
125.00/123.08	o 1696543
125.00/123.08	objective:-1696543
125.00/123.08	o 1697010
125.00/123.08	objective:-1697010
129.39/127.40	o 1697273
129.39/127.40	objective:-1697273
129.39/127.40	o 1697433
129.39/127.40	objective:-1697433
129.39/127.40	o 1697564
129.39/127.40	objective:-1697564
129.39/127.40	o 1697950
129.39/127.40	objective:-1697950
131.89/129.90	o 1698473
131.89/129.90	objective:-1698473
131.89/129.90	o 1698921
131.89/129.90	objective:-1698921
131.89/129.90	o 1699598
131.89/129.90	objective:-1699598
131.89/129.90	o 1699607
131.89/129.90	objective:-1699607
131.89/129.90	o 1700284
131.89/129.90	objective:-1700284
131.89/129.90	o 1700732
131.89/129.90	objective:-1700732
131.89/129.90	o 1701409
131.89/129.90	objective:-1701409
138.69/136.71	o 1701428
138.69/136.71	objective:-1701428
138.69/136.71	o 1701765
138.69/136.71	objective:-1701765
138.69/136.71	o 1701814
138.69/136.71	objective:-1701814
138.69/136.71	o 1702193
138.69/136.71	objective:-1702193
138.69/136.71	o 1702242
138.69/136.71	objective:-1702242
138.69/136.71	o 1702710
138.69/136.71	objective:-1702710
138.69/136.71	o 1702759
138.69/136.71	objective:-1702759
138.69/136.71	o 1703096
138.69/136.71	objective:-1703096
138.69/136.71	o 1703145
138.69/136.71	objective:-1703145
138.69/136.71	o 1703387
138.69/136.71	objective:-1703387
138.69/136.71	o 1703436
138.69/136.71	objective:-1703436
138.69/136.71	o 1703773
138.69/136.71	objective:-1703773
138.69/136.71	o 1703822
138.69/136.71	objective:-1703822
138.69/136.71	o 1703962
138.69/136.71	objective:-1703962
138.69/136.71	o 1704011
138.69/136.71	objective:-1704011
138.69/136.71	o 1704348
138.69/136.71	objective:-1704348
138.69/136.71	o 1704397
138.69/136.71	objective:-1704397
140.49/138.55	o 1705257
140.49/138.55	objective:-1705257
140.49/138.55	o 1705774
140.49/138.55	objective:-1705774
140.49/138.56	o 1706144
140.49/138.56	objective:-1706144
140.49/138.56	o 1706596
140.49/138.56	objective:-1706596
140.49/138.56	o 1707938
140.49/138.56	objective:-1707938
140.49/138.56	o 1708455
140.49/138.56	objective:-1708455
143.00/141.03	o 1709870
143.00/141.03	objective:-1709870
143.00/141.03	o 1710420
143.00/141.03	objective:-1710420
143.00/141.04	o 1711730
143.00/141.04	objective:-1711730
143.00/141.04	o 1712280
143.00/141.04	objective:-1712280
143.00/141.04	o 1713702
143.00/141.04	objective:-1713702
143.00/141.04	o 1714252
143.00/141.04	objective:-1714252
143.00/141.04	o 1714295
143.00/141.04	objective:-1714295
143.00/141.04	o 1714845
143.00/141.04	objective:-1714845
143.00/141.05	o 1716267
143.00/141.05	objective:-1716267
143.00/141.05	o 1716817
143.00/141.05	objective:-1716817
146.69/144.70	o 1717520
146.69/144.70	objective:-1717520
146.69/144.70	o 1717552
146.69/144.70	objective:-1717552
146.69/144.70	o 1717987
146.69/144.70	objective:-1717987
146.69/144.70	o 1718019
146.69/144.70	objective:-1718019
148.50/146.53	o 1718589
148.50/146.53	objective:-1718589
148.50/146.53	o 1719133
148.50/146.53	objective:-1719133
148.50/146.53	o 1721010
148.50/146.53	objective:-1721010
148.50/146.53	o 1721554
148.50/146.53	objective:-1721554
148.50/146.53	o 1721907
148.50/146.53	objective:-1721907
148.50/146.54	o 1721913
148.50/146.54	objective:-1721913
148.50/146.54	o 1722457
148.50/146.54	objective:-1722457
148.50/146.54	o 1723882
148.50/146.54	objective:-1723882
148.50/146.54	o 1724426
148.50/146.54	objective:-1724426
148.50/146.54	o 1724779
148.50/146.54	objective:-1724779
148.50/146.54	o 1725693
148.50/146.54	objective:-1725693
148.50/146.54	o 1726237
148.50/146.54	objective:-1726237
148.50/146.54	o 1726590
148.50/146.54	objective:-1726590
148.50/146.54	o 1726914
148.50/146.54	objective:-1726914
152.70/150.71	o 1727538
152.70/150.71	objective:-1727538
152.70/150.71	o 1728005
152.70/150.71	objective:-1728005
159.91/157.94	o 1728533
159.91/157.94	objective:-1728533
159.91/157.94	o 1728582
159.91/157.94	objective:-1728582
159.91/157.94	o 1729000
159.91/157.94	objective:-1729000
159.91/157.94	o 1729049
159.91/157.94	objective:-1729049
159.91/157.94	o 1730579
159.91/157.94	objective:-1730579
159.91/157.94	o 1731670
159.91/157.94	objective:-1731670
159.91/157.94	o 1731719
159.91/157.94	objective:-1731719
159.91/157.95	o 1732890
159.91/157.95	objective:-1732890
159.91/157.95	o 1733981
159.91/157.95	objective:-1733981
159.91/157.95	o 1734030
159.91/157.95	objective:-1734030
159.91/157.95	o 1734448
159.91/157.95	objective:-1734448
159.91/157.95	o 1734497
159.91/157.95	objective:-1734497
159.91/157.95	o 1734701
159.91/157.95	objective:-1734701
159.91/157.95	o 1735792
159.91/157.95	objective:-1735792
159.91/157.95	o 1735841
159.91/157.95	objective:-1735841
159.91/157.95	o 1736259
159.91/157.95	objective:-1736259
159.91/157.95	o 1736308
159.91/157.95	objective:-1736308
174.43/172.41	o 1736408
174.43/172.41	objective:-1736408
174.43/172.41	o 1736541
174.43/172.41	objective:-1736541
174.43/172.41	o 1737085
174.43/172.41	objective:-1737085
174.43/172.42	o 1738337
174.43/172.42	objective:-1738337
174.43/172.42	o 1738887
174.43/172.42	objective:-1738887
174.43/172.42	o 1739014
174.43/172.42	objective:-1739014
174.43/172.42	o 1739564
174.43/172.42	objective:-1739564
174.43/172.43	o 1739937
174.43/172.43	objective:-1739937
174.43/172.43	o 1740614
174.43/172.43	objective:-1740614
174.43/172.43	o 1741164
174.43/172.43	objective:-1741164
174.43/172.43	o 1741401
174.43/172.43	objective:-1741401
174.43/172.43	o 1742078
174.43/172.43	objective:-1742078
174.43/172.43	o 1742628
174.43/172.43	objective:-1742628
175.62/173.62	o 1744417
175.62/173.62	objective:-1744417
175.62/173.62	o 1744803
175.62/173.62	objective:-1744803
175.62/173.62	o 1746046
175.62/173.62	objective:-1746046
175.62/173.62	o 1746432
175.62/173.62	objective:-1746432
175.62/173.62	o 1746546
175.62/173.62	objective:-1746546
175.62/173.62	o 1746932
175.62/173.62	objective:-1746932
175.62/173.63	o 1748475
175.62/173.63	objective:-1748475
175.62/173.63	o 1750104
175.62/173.63	objective:-1750104
175.62/173.63	o 1750490
175.62/173.63	objective:-1750490
183.93/181.98	o 1750517
183.93/181.98	objective:-1750517
183.93/181.98	o 1750648
183.93/181.98	objective:-1750648
183.93/181.98	o 1751034
183.93/181.98	objective:-1751034
185.73/183.77	o 1751834
185.73/183.77	objective:-1751834
185.73/183.77	o 1752301
185.73/183.77	objective:-1752301
185.73/183.77	o 1753453
185.73/183.77	objective:-1753453
185.73/183.77	o 1753920
185.73/183.77	objective:-1753920
185.73/183.77	o 1753968
185.73/183.77	objective:-1753968
185.73/183.77	o 1755312
185.73/183.77	objective:-1755312
185.73/183.77	o 1755779
185.73/183.77	objective:-1755779
201.35/199.37	o 1755935
201.35/199.37	objective:-1755935
201.35/199.37	o 1756490
201.35/199.37	objective:-1756490
201.35/199.37	o 1758807
201.35/199.37	objective:-1758807
201.35/199.37	o 1758839
201.35/199.37	objective:-1758839
210.26/208.26	o 1759410
210.26/208.26	objective:-1759410
210.26/208.26	o 1760099
210.26/208.26	objective:-1760099
210.26/208.26	o 1760148
210.26/208.26	objective:-1760148
210.26/208.26	o 1760978
210.26/208.26	objective:-1760978
210.26/208.26	o 1761667
210.26/208.26	objective:-1761667
210.26/208.26	o 1761716
210.26/208.26	objective:-1761716
210.26/208.26	o 1762491
210.26/208.26	objective:-1762491
210.26/208.26	o 1763180
210.26/208.26	objective:-1763180
210.26/208.26	o 1763229
210.26/208.26	objective:-1763229
210.26/208.27	o 1764052
210.26/208.27	objective:-1764052
210.26/208.27	o 1764101
210.26/208.27	objective:-1764101
210.26/208.27	o 1765596
210.26/208.27	objective:-1765596
210.26/208.27	o 1765645
210.26/208.27	objective:-1765645
210.26/208.27	o 1767109
210.26/208.27	objective:-1767109
210.26/208.27	o 1767158
210.26/208.27	objective:-1767158
210.26/208.28	o 1768677
210.26/208.28	objective:-1768677
210.26/208.28	o 1768726
210.26/208.28	objective:-1768726
210.26/208.28	o 1770190
210.26/208.28	objective:-1770190
210.26/208.28	o 1770239
210.26/208.28	objective:-1770239
238.78/236.73	o 1770452
238.78/236.73	objective:-1770452
238.78/236.73	o 1770743
238.78/236.73	objective:-1770743
238.78/236.73	o 1771129
238.78/236.73	objective:-1771129
249.48/247.44	o 1771174
249.48/247.44	objective:-1771174
249.48/247.44	o 1771562
249.48/247.44	objective:-1771562
249.48/247.44	o 1772170
249.48/247.44	objective:-1772170
249.48/247.44	o 1772687
249.48/247.44	objective:-1772687
261.49/259.42	o 1773678
261.49/259.42	objective:-1773678
261.49/259.42	o 1775892
261.49/259.42	objective:-1775892
261.49/259.42	o 1777017
261.49/259.42	objective:-1777017
279.79/277.71	o 1777028
279.79/277.71	objective:-1777028
279.79/277.72	o 1777529
279.79/277.72	objective:-1777529
279.79/277.72	o 1777578
279.79/277.72	objective:-1777578
279.79/277.72	o 1778747
279.79/277.72	objective:-1778747
279.79/277.72	o 1778796
279.79/277.72	objective:-1778796
279.79/277.72	o 1779297
279.79/277.72	objective:-1779297
279.79/277.72	o 1779346
279.79/277.72	objective:-1779346
279.79/277.73	o 1779872
279.79/277.73	objective:-1779872
279.79/277.73	o 1779921
279.79/277.73	objective:-1779921
279.79/277.73	o 1780422
279.79/277.73	objective:-1780422
279.79/277.73	o 1780471
279.79/277.73	objective:-1780471
279.79/277.73	o 1781064
279.79/277.73	objective:-1781064
279.79/277.73	o 1781113
279.79/277.73	objective:-1781113
279.79/277.74	o 1781614
279.79/277.74	objective:-1781614
279.79/277.74	o 1781663
279.79/277.74	objective:-1781663
279.79/277.74	o 1782189
279.79/277.74	objective:-1782189
279.79/277.74	o 1782238
279.79/277.74	objective:-1782238
279.79/277.74	o 1782739
279.79/277.74	objective:-1782739
279.79/277.74	o 1782788
279.79/277.74	objective:-1782788
280.39/278.32	o 1783958
280.39/278.32	objective:-1783958
280.39/278.32	o 1784635
280.39/278.32	objective:-1784635
280.39/278.32	o 1785966
280.39/278.32	objective:-1785966
280.39/278.32	o 1786643
280.39/278.32	objective:-1786643
280.39/278.32	o 1787436
280.39/278.32	objective:-1787436
280.39/278.32	o 1788113
280.39/278.32	objective:-1788113
280.39/278.32	o 1789444
280.39/278.32	objective:-1789444
280.39/278.32	o 1790121
280.39/278.32	objective:-1790121
288.59/286.54	o 1790387
288.59/286.54	objective:-1790387
288.59/286.55	o 1790389
288.59/286.55	objective:-1790389
288.59/286.55	o 1790775
288.59/286.55	objective:-1790775
288.59/286.55	o 1790997
288.59/286.55	objective:-1790997
288.59/286.55	o 1791383
288.59/286.55	objective:-1791383
288.59/286.55	o 1791514
288.59/286.55	objective:-1791514
288.59/286.55	o 1791900
288.59/286.55	objective:-1791900
288.59/286.55	o 1791932
288.59/286.55	objective:-1791932
295.18/293.09	o 1792196
295.18/293.09	objective:-1792196
295.18/293.09	o 1792393
295.18/293.09	objective:-1792393
295.18/293.09	o 1792604
295.18/293.09	objective:-1792604
295.18/293.09	o 1794204
295.18/293.09	objective:-1794204
295.18/293.09	o 1795670
295.18/293.09	objective:-1795670
295.18/293.09	o 1795867
295.18/293.09	objective:-1795867
295.18/293.09	o 1796078
295.18/293.09	objective:-1796078
295.18/293.09	o 1797678
295.18/293.09	objective:-1797678
295.18/293.09	o 1797889
295.18/293.09	objective:-1797889
295.18/293.09	o 1799489
295.18/293.09	objective:-1799489
319.47/317.35	o 1800193
319.47/317.35	objective:-1800193
319.47/317.35	o 1801318
319.47/317.35	objective:-1801318
319.47/317.35	o 1801818
319.47/317.35	objective:-1801818
319.47/317.35	o 1803418
319.47/317.35	objective:-1803418
319.47/317.35	o 1804543
319.47/317.35	objective:-1804543
319.47/317.36	o 1804899
319.47/317.36	objective:-1804899
319.47/317.36	o 1806499
319.47/317.36	objective:-1806499
319.47/317.36	o 1807624
319.47/317.36	objective:-1807624
327.19/325.06	o 1808210
327.19/325.06	objective:-1808210
327.19/325.06	o 1808760
327.19/325.06	objective:-1808760
327.19/325.06	o 1809335
327.19/325.06	objective:-1809335
327.19/325.06	o 1809885
327.19/325.06	objective:-1809885
327.19/325.07	o 1811204
327.19/325.07	objective:-1811204
327.19/325.07	o 1811754
327.19/325.07	objective:-1811754
327.19/325.07	o 1812717
327.19/325.07	objective:-1812717
327.19/325.07	o 1813267
327.19/325.07	objective:-1813267
327.19/325.07	o 1813842
327.19/325.07	objective:-1813842
327.19/325.07	o 1814392
327.19/325.07	objective:-1814392
356.86/354.62	o 1814573
356.86/354.62	objective:-1814573
356.86/354.62	o 1815181
356.86/354.62	objective:-1815181
356.86/354.62	o 1815698
356.86/354.62	objective:-1815698
356.86/354.62	o 1815858
356.86/354.62	objective:-1815858
356.86/354.62	o 1816375
356.86/354.62	objective:-1816375
356.86/354.62	o 1816567
356.86/354.62	objective:-1816567
356.86/354.62	o 1817084
356.86/354.62	objective:-1817084
356.86/354.62	o 1817244
356.86/354.62	objective:-1817244
356.86/354.62	o 1817761
356.86/354.62	objective:-1817761
356.86/354.63	o 1817886
356.86/354.63	objective:-1817886
356.86/354.63	o 1819180
356.86/354.63	objective:-1819180
356.86/354.63	o 1819697
356.86/354.63	objective:-1819697
356.86/354.63	o 1820305
356.86/354.63	objective:-1820305
356.86/354.63	o 1820822
356.86/354.63	objective:-1820822
356.86/354.63	o 1821161
356.86/354.63	objective:-1821161
356.86/354.63	o 1821769
356.86/354.63	objective:-1821769
356.86/354.63	o 1822286
356.86/354.63	objective:-1822286
356.86/354.63	o 1822691
356.86/354.63	objective:-1822691
356.86/354.64	o 1823299
356.86/354.64	objective:-1823299
356.86/354.64	o 1823816
356.86/354.64	objective:-1823816
356.86/354.64	o 1824155
356.86/354.64	objective:-1824155
356.86/354.64	o 1824763
356.86/354.64	objective:-1824763
356.86/354.64	o 1825280
356.86/354.64	objective:-1825280
356.86/354.64	o 1825440
356.86/354.64	objective:-1825440
356.86/354.64	o 1825957
356.86/354.64	objective:-1825957
361.56/359.39	o 1826988
361.56/359.39	objective:-1826988
365.77/363.55	o 1827246
365.77/363.55	objective:-1827246
365.77/363.56	o 1828379
365.77/363.56	objective:-1828379
365.77/363.56	o 1828846
365.77/363.56	objective:-1828846
374.09/371.80	o 1829217
374.09/371.80	objective:-1829217
375.19/372.97	o 1831600
375.19/372.97	objective:-1831600
375.19/372.97	o 1832277
375.19/372.97	objective:-1832277
378.69/376.48	o 1832340
378.69/376.48	objective:-1832340
383.49/381.23	o 1832386
383.49/381.23	objective:-1832386
383.49/381.23	o 1833728
383.49/381.23	objective:-1833728
383.49/381.23	o 1834245
383.49/381.23	objective:-1834245
383.49/381.24	o 1835533
383.49/381.24	objective:-1835533
383.49/381.24	o 1837391
383.49/381.24	objective:-1837391
383.49/381.24	o 1837908
383.49/381.24	objective:-1837908
383.49/381.24	o 1839250
383.49/381.24	objective:-1839250
383.49/381.24	o 1839767
383.49/381.24	objective:-1839767
383.49/381.24	o 1839880
383.49/381.24	objective:-1839880
383.49/381.25	o 1841222
383.49/381.25	objective:-1841222
383.49/381.25	o 1841739
383.49/381.25	objective:-1841739
383.49/381.25	o 1842834
383.49/381.25	objective:-1842834
383.49/381.25	o 1843351
383.49/381.25	objective:-1843351
383.49/381.25	o 1844693
383.49/381.25	objective:-1844693
383.49/381.25	o 1845210
383.49/381.25	objective:-1845210
383.49/381.25	o 1845323
383.49/381.25	objective:-1845323
383.49/381.26	o 1846665
383.49/381.26	objective:-1846665
383.49/381.26	o 1847182
383.49/381.26	objective:-1847182
389.40/387.18	o 1849269
389.40/387.18	objective:-1849269
389.40/387.18	o 1851080
389.40/387.18	objective:-1851080
389.40/387.18	o 1851580
389.40/387.18	objective:-1851580
389.40/387.18	o 1853391
389.40/387.18	objective:-1853391
389.40/387.18	o 1853908
389.40/387.18	objective:-1853908
389.40/387.18	o 1854115
389.40/387.18	objective:-1854115
389.40/387.19	o 1855409
389.40/387.19	objective:-1855409
389.40/387.19	o 1855926
389.40/387.19	objective:-1855926
408.91/406.69	o 1856297
408.91/406.69	objective:-1856297
409.51/407.27	o 1856379
409.51/407.27	objective:-1856379
409.51/407.27	o 1856896
409.51/407.27	objective:-1856896
409.51/407.27	o 1857056
409.51/407.27	objective:-1857056
409.51/407.27	o 1857573
409.51/407.27	objective:-1857573
411.91/409.68	o 1857933
411.91/409.68	objective:-1857933
411.91/409.68	o 1858720
411.91/409.68	objective:-1858720
411.91/409.68	o 1859397
411.91/409.68	objective:-1859397
411.91/409.68	o 1859533
411.91/409.68	objective:-1859533
411.91/409.68	o 1860320
411.91/409.68	objective:-1860320
411.91/409.68	o 1860997
411.91/409.68	objective:-1860997
411.91/409.68	o 1861285
411.91/409.68	objective:-1861285
411.91/409.68	o 1861962
411.91/409.68	objective:-1861962
411.91/409.68	o 1862098
411.91/409.68	objective:-1862098
411.91/409.68	o 1862885
411.91/409.68	objective:-1862885
411.91/409.68	o 1863562
411.91/409.68	objective:-1863562
436.12/433.88	o 1864145
436.12/433.88	objective:-1864145
436.12/433.88	o 1864662
436.12/433.88	objective:-1864662
436.12/433.88	o 1865125
436.12/433.88	objective:-1865125
436.12/433.89	o 1865669
436.12/433.89	objective:-1865669
436.12/433.89	o 1865767
436.12/433.89	objective:-1865767
436.12/433.89	o 1866456
436.12/433.89	objective:-1866456
436.12/433.89	o 1867133
436.12/433.89	objective:-1867133
436.12/433.89	o 1867650
436.12/433.89	objective:-1867650
436.12/433.90	o 1867736
436.12/433.90	objective:-1867736
436.12/433.90	o 1868425
436.12/433.90	objective:-1868425
436.12/433.90	o 1869102
436.12/433.90	objective:-1869102
436.12/433.90	o 1869619
436.12/433.90	objective:-1869619
436.22/433.90	o 1870042
436.22/433.90	objective:-1870042
436.22/433.90	o 1870559
436.22/433.90	objective:-1870559
499.66/497.38	o 1872388
499.66/497.38	objective:-1872388
524.08/521.70	o 1872419
524.08/521.70	objective:-1872419
524.08/521.70	o 1872467
524.08/521.70	objective:-1872467
524.08/521.70	o 1874210
524.08/521.70	objective:-1874210
524.08/521.70	o 1874278
524.08/521.70	objective:-1874278
527.08/524.71	o 1874877
527.08/524.71	objective:-1874877
527.08/524.71	o 1875991
527.08/524.71	objective:-1875991
528.18/525.85	o 1876276
528.18/525.85	objective:-1876276
528.18/525.85	o 1876793
528.18/525.85	objective:-1876793
528.18/525.85	o 1877290
528.18/525.85	objective:-1877290
528.18/525.85	o 1877807
528.18/525.85	objective:-1877807
528.18/525.86	o 1878151
528.18/525.86	objective:-1878151
528.18/525.86	o 1879652
528.18/525.86	objective:-1879652
528.18/525.86	o 1880169
528.18/525.86	objective:-1880169
528.18/525.86	o 1880506
528.18/525.86	objective:-1880506
528.18/525.86	o 1881023
528.18/525.86	objective:-1881023
528.18/525.86	o 1882524
528.18/525.86	objective:-1882524
528.18/525.86	o 1883041
528.18/525.86	objective:-1883041
528.18/525.86	o 1884532
528.18/525.86	objective:-1884532
528.18/525.86	o 1885049
528.18/525.86	objective:-1885049
528.18/525.87	o 1886465
528.18/525.87	objective:-1886465
528.18/525.87	o 1886501
528.18/525.87	objective:-1886501
528.18/525.87	o 1888473
528.18/525.87	objective:-1888473
528.18/525.87	o 1888990
528.18/525.87	objective:-1888990
534.88/532.51	o 1889457
534.88/532.51	objective:-1889457
555.98/553.64	o 1890981
555.98/553.64	objective:-1890981
555.98/553.64	o 1891013
555.98/553.64	objective:-1891013
555.98/553.64	o 1892999
555.98/553.64	objective:-1892999
555.98/553.64	o 1893031
555.98/553.64	objective:-1893031
565.68/563.27	o 1893334
565.68/563.27	objective:-1893334
565.68/563.27	o 1893884
565.68/563.27	objective:-1893884
565.68/563.27	o 1894510
565.68/563.27	objective:-1894510
565.68/563.27	o 1894999
565.68/563.27	objective:-1894999
565.68/563.27	o 1895485
565.68/563.27	objective:-1895485
565.68/563.27	o 1896599
565.68/563.27	objective:-1896599
565.68/563.28	o 1897454
565.68/563.28	objective:-1897454
565.68/563.28	o 1898568
565.68/563.28	objective:-1898568
565.68/563.28	o 1899118
565.68/563.28	objective:-1899118
970.83/968.11	o 1899944
970.83/968.11	objective:-1899944
970.83/968.12	o 1901121
970.83/968.12	objective:-1901121
970.83/968.12	o 1902932
970.83/968.12	objective:-1902932
970.83/968.12	o 1904046
970.83/968.12	objective:-1904046
970.83/968.12	o 1904596
970.83/968.12	objective:-1904596
1020.23/1017.59	o 1905006
1020.23/1017.59	objective:-1905006
1020.23/1017.59	o 1905556
1020.23/1017.59	objective:-1905556
1020.23/1017.59	o 1905667
1020.23/1017.59	objective:-1905667
1020.23/1017.59	o 1906975
1020.23/1017.59	objective:-1906975
1020.23/1017.59	o 1907525
1020.23/1017.59	objective:-1907525
1020.23/1017.59	o 1907655
1020.23/1017.59	objective:-1907655
1020.23/1017.59	o 1908205
1020.23/1017.59	objective:-1908205
1020.23/1017.59	o 1909513
1020.23/1017.59	objective:-1909513
1020.23/1017.59	o 1910063
1020.23/1017.59	objective:-1910063
1020.23/1017.59	o 1910174
1020.23/1017.59	objective:-1910174
1020.23/1017.59	o 1911482
1020.23/1017.59	objective:-1911482
1020.23/1017.59	o 1912032
1020.23/1017.59	objective:-1912032
1277.17/1274.35	o 1912562
1277.17/1274.35	objective:-1912562
1277.17/1274.36	o 1913079
1277.17/1274.36	objective:-1913079
1277.17/1274.36	o 1913112
1277.17/1274.36	objective:-1913112
1277.17/1274.36	o 1913629
1277.17/1274.36	objective:-1913629
1287.18/1284.31	o 1914331
1287.18/1284.31	objective:-1914331
1287.18/1284.31	o 1914566
1287.18/1284.31	objective:-1914566
1287.18/1284.32	o 1915070
1287.18/1284.32	objective:-1915070
1287.18/1284.32	o 1916514
1287.18/1284.32	objective:-1916514
1287.18/1284.32	o 1917994
1287.18/1284.32	objective:-1917994
1287.18/1284.32	o 1919853
1287.18/1284.32	objective:-1919853
1287.18/1284.32	o 1919966
1287.18/1284.32	objective:-1919966
1287.18/1284.32	o 1921825
1287.18/1284.32	objective:-1921825
1312.30/1309.47	o 1922027
1312.30/1309.47	objective:-1922027
1332.61/1329.75	o 1922716
1332.61/1329.75	objective:-1922716
1587.18/1584.14	o 1922949
1587.18/1584.14	objective:-1922949
1587.18/1584.17	o 1923374
1587.18/1584.17	objective:-1923374
1587.18/1584.17	o 1924063
1587.18/1584.17	objective:-1924063
1588.37/1585.31	o 1925003
1588.37/1585.31	objective:-1925003
2262.84/2259.46	o 1925617
2262.84/2259.46	objective:-1925617
2262.84/2259.46	o 1925666
2262.84/2259.46	objective:-1925666
2262.84/2259.46	o 1926521
2262.84/2259.46	objective:-1926521
2262.84/2259.46	o 1927635
2262.84/2259.46	objective:-1927635
2262.84/2259.46	o 1927646
2262.84/2259.46	objective:-1927646
2262.84/2259.46	o 1928760
2262.84/2259.46	objective:-1928760
2294.55/2291.11	o 1929320
2294.55/2291.11	objective:-1929320
2294.55/2291.11	o 1929870
2294.55/2291.11	objective:-1929870
2294.55/2291.12	o 1930784
2294.55/2291.12	objective:-1930784
2294.55/2291.12	o 1931334
2294.55/2291.12	objective:-1931334
2520.08/2516.50	s SATISFIABLE
2520.08/2516.51	v <instantiation>
2520.08/2516.51	v 	<list>
2520.08/2516.51	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 
2520.08/2516.51	v 	</list>
2520.08/2516.51	v 	<values>
2520.08/2516.51	v 		0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 
2520.08/2516.51	v 	</values>
2520.08/2516.51	v </instantiation>

OK	1931334

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14354 MiB free)
  memory of node 1: 16384 MiB (12900 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298541-1532765734/watcher-4298541-1532765734 -o /tmp/evaluation-result-4298541-1532765734/solver-4298541-1532765734 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532740893-4891 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298541-1532765734.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7906, runsolver pid=7903
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.93 1.88 1.87 4/215 7921
/proc/meminfo: memFree=27893252/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=10658972 memory=27748 CPUtime=0.12 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 5282 0 0 0 11 1 0 0 20 0 15 0 94136596 10914787328 6937 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
/proc/7906/statm: 2664743 6937 2830 1 0 2627263 0
[pid=7906/tid=7908] ppid=7903 vsize=10658972 memory=-8392839929047905472 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 3148 0 0 0 9 0 0 0 20 0 15 0 94136596 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853435193440 139853415044446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7909] ppid=7903 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7910] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7911] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7912] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7913] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136598 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7914] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94136599 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7915] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94136599 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7916] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7917] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) R 7903 7906 4860 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7918] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) R 7903 7906 4860 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852917991920 139853415863522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7919] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0.02 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) R 7903 7906 4860 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852916937168 139853410313632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7920] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7921] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) R 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136602 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27748 KiB

[startup+0.210648 s]*
/proc/loadavg: 1.93 1.88 1.87 4/215 7921
/proc/meminfo: memFree=27881852/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=10658972 memory=41100 CPUtime=0.34 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 8364 0 0 0 32 2 0 0 20 0 15 0 94136596 10914787328 10275 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
/proc/7906/statm: 2664743 10275 3007 1 0 2627263 0
[pid=7906/tid=7908] ppid=7903 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 5109 0 0 0 19 1 0 0 20 0 15 0 94136596 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853435203328 139853430985885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7909] ppid=7903 vsize=10658972 memory=364 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7910] ppid=7903 vsize=10658972 memory=139875115132407 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7911] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7912] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7913] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136598 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7914] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94136599 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7915] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94136599 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7916] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7917] ppid=7903 vsize=10658972 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) R 7903 7906 4860 0 -1 4202560 780 0 0 0 2 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852919025736 139853416604105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7918] ppid=7903 vsize=10658972 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) R 7903 7906 4860 0 -1 4202560 268 0 0 0 2 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852917977720 139853416066373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7919] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0.08 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) R 7903 7906 4860 0 -1 4202560 884 0 0 0 8 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852916935784 139853424069661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7920] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7921] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136602 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 41100 KiB

[startup+0.31122 s]*
/proc/loadavg: 1.93 1.88 1.87 7/215 7921
/proc/meminfo: memFree=27874656/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=10659048 memory=47492 CPUtime=0.58 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 8888 0 0 0 56 2 0 0 20 0 15 0 94136596 10914865152 11873 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
/proc/7906/statm: 2664762 11873 3059 1 0 2627263 0
[pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 5434 0 0 0 28 1 0 0 20 0 15 0 94136596 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853435199888 139853068833586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=16239161515230872 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=139875115124352 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136598 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) R 7903 7906 4860 0 -1 1077944384 793 0 0 0 5 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 341 0 0 0 6 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=139875115124352 CPUtime=0.14 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) R 7903 7906 4860 0 -1 4202560 952 0 0 0 14 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852916937592 139853415209124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=139875115124352 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136602 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 47492 KiB

[startup+0.701175 s]
/proc/loadavg: 1.93 1.88 1.87 5/215 7921
/proc/meminfo: memFree=27720396/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=10659048 memory=285904 CPUtime=1.74 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 12278 0 0 0 166 8 0 0 20 0 15 0 94136596 10914865152 71476 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
/proc/7906/statm: 2664762 71476 3094 1 0 2627263 0
[pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=1840 CPUtime=0.66 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 5715 0 0 0 61 5 0 0 20 0 15 0 94136596 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853435202672 139853416234081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=792 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94136598 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=7163631965283378496 CPUtime=0.36 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 1841 0 0 0 36 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=7667213801450137426 CPUtime=0.39 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 1628 0 0 0 39 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=7368003688827211856 CPUtime=0.28 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) R 7903 7906 4860 0 -1 4202560 1723 0 0 0 28 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852916939632 139853430985306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136602 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 285904 KiB

[startup+1.50074 s]
/proc/loadavg: 1.93 1.88 1.87 3/215 7921
/proc/meminfo: memFree=27635780/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=10659048 memory=288184 CPUtime=2.65 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 12417 0 0 0 257 8 0 0 20 0 15 0 94136596 10914865152 72046 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
/proc/7906/statm: 2664762 72046 3103 1 0 2627263 0
[pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 5784 0 0 0 141 5 0 0 20 0 15 0 94136596 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853435200904 139853072275129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94136598 10914865152 72046 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0

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

/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 24712 0 0 0 244178 12 0 0 20 0 15 0 94136596 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853435203376 139853072635710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 2801 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.08 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 3647 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 3243 0 0 0 8 1 0 0 20 0 15 0 94136597 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.08 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 3502 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.06 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 4098 0 0 0 3 3 0 0 20 0 15 0 94136598 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=392432 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=392432 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=1944 CPUtime=0.92 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 7965 0 0 0 91 1 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.87 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 9038 0 0 0 86 1 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.41 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) S 7903 7906 4860 0 -1 1077944384 6017 0 0 0 40 1 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852916939632 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=392432 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=392432 CPUtime=1.23 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 1994 0 0 0 58 65 0 0 20 0 15 0 94136602 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
Current children cumulated CPU time: 2445.83 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 392432 KiB

[startup+2502.3 s]
/proc/loadavg: 1.81 1.76 1.71 3/215 8072
/proc/meminfo: memFree=27564356/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=10659048 memory=389356 CPUtime=2505.87 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 69430 0 0 0 250511 76 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
/proc/7906/statm: 2664762 97339 3153 1 0 2627263 0
[pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=389356 CPUtime=2501.89 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 24992 0 0 0 250177 12 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853435203232 139853072635789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.08 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 3041 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 3759 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 3300 0 0 0 8 1 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 3605 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.06 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 4267 0 0 0 3 3 0 0 20 0 15 0 94136598 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.92 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 7967 0 0 0 91 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.87 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 9040 0 0 0 86 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.41 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) S 7903 7906 4860 0 -1 1077944384 6019 0 0 0 40 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852916939632 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=426 CPUtime=1.26 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 2025 0 0 0 59 67 0 0 20 0 15 0 94136602 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
Current children cumulated CPU time: 2505.87 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 389356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2516.5 s]
/proc/loadavg: 1.78 1.75 1.71 3/215 8072
/proc/meminfo: memFree=27562432/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=10659048 memory=389356 CPUtime=2520.08 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 69454 0 0 0 251931 77 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
/proc/7906/statm: 2664762 97339 3153 1 0 2627263 0
[pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=389356 CPUtime=2516.09 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 25008 0 0 0 251597 12 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853435203232 139853072282883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.08 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 3041 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 3759 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 3300 0 0 0 8 1 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 3605 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.06 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 4267 0 0 0 3 3 0 0 20 0 15 0 94136598 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=4028 CPUtime=0.92 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 7969 0 0 0 91 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=4872558044660077418 CPUtime=0.87 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 9042 0 0 0 86 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=8496 CPUtime=0.41 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) S 7903 7906 4860 0 -1 1077944384 6021 0 0 0 40 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852916939632 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=5788 CPUtime=1.27 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 2027 0 0 0 59 68 0 0 20 0 15 0 94136602 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 389356 KiB

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

[startup+2516.53 s]
# the end of solver process 7906 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.34 s, system=0.774036 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2516.5 s]
/proc/loadavg: 1.78 1.75 1.71 3/215 8072
/proc/meminfo: memFree=27562432/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=10659048 memory=389356 CPUtime=2520.08 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 69454 0 0 0 251931 77 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
/proc/7906/statm: 2664762 97339 3153 1 0 2627263 0
[pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=389356 CPUtime=2516.09 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 25008 0 0 0 251597 12 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853435203232 139853072282883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.08 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 3041 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 3759 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 3300 0 0 0 8 1 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 3605 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.06 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 4267 0 0 0 3 3 0 0 20 0 15 0 94136598 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=4028 CPUtime=0.92 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 7969 0 0 0 91 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=4872558044660077418 CPUtime=0.87 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 9042 0 0 0 86 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=8496 CPUtime=0.41 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) S 7903 7906 4860 0 -1 1077944384 6021 0 0 0 40 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852916939632 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
[pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=5788 CPUtime=1.27 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 2027 0 0 0 59 68 0 0 20 0 15 0 94136602 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 389356 KiB

Child status: 143
Real time (s): 2516.53
CPU time (s): 2520.12
CPU user time (s): 2519.34
CPU system time (s): 0.774036
CPU usage (%): 100.143
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 419704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.34
system time used= 0.774036
maximum resident set size= 424288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69955
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56854
involuntary context switches= 2158


# summary of solver processes directly reported to runsolver:
#   pid: 7906
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2519.34
#   total CPU system time (s): 0.774036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8551 second user time and 23.2992 second system time

The end

Begin job on node151 at 2018-07-28 10:15:34
IDJOB=4298541
IDBENCH=141154
IDSOLVER=2763
FILE ID=node151/4298541-1532765734
RUNJOBID= node151-1532740893-4891
PBS_JOBID= 21022447
Free space on /tmp= 54928 MiB

SOLVER NAME= MiniCPFever 2018-04-29
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298541-1532765734/watcher-4298541-1532765734 -o /tmp/evaluation-result-4298541-1532765734/solver-4298541-1532765734 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532740893-4891 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298541-1532765734.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1998920869

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27909592 kB
MemAvailable:   31561748 kB
Buffers:          183820 kB
Cached:          3737604 kB
SwapCached:            0 kB
Active:          1821880 kB
Inactive:        2561484 kB
Active(anon):     411412 kB
Inactive(anon):    78192 kB
Active(file):    1410468 kB
Inactive(file):  2483292 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1236 kB
Writeback:             0 kB
AnonPages:        469336 kB
Mapped:            54352 kB
Shmem:             25224 kB
Slab:             175796 kB
SReclaimable:     148464 kB
SUnreclaim:        27332 kB
KernelStack:        3536 kB
PageTables:         5816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1135772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    397312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54924 MiB
End job on node151 at 2018-07-28 10:57:31