-> :9/24
-> (70):7/16 (71):12/24 (72):4/40 (73):10/16 (74):11/16 (75):8/24 (76):6/10 (77):9/-1 (78):13/-1 (79):11/-1
-> (80):11/16 (81):10/-1 (82):9/10 (83):8/9 (84):10/10 (85):4/-1 (86):13/-1 (87):8/24 (88):14/16 (89):6/40
-> (90):6/16 (91):9/-1 (92):11/-1 (93):12/24 (94):9/9 (95):10/10 (96):6/-1 (97):8/24 (98):11/16 (99):7/16
->
-> Total maximum concurrency is 16
-> Starting 4: (35)
-> Starting to solve(210)
-> Max concurrency:
-> (0):7/40 (1):7/24 (2):7/40 (3):10/40 (4):10/10 (5):8/16 (6):9/40 (7):9/-1 (8):12/12 (9):8/24
-> (10):7/-1 (11):9/9 (12):6/24 (13):6/10 (14):9/-1 (15):6/24 (16):7/10 (17):10/-1 (18):9/9 (19):6/10
-> (20):8/-1 (21):11/-1 (22):9/12 (23):8/10 (24):6/16 (25):11/16 (26):9/-1 (27):11/24 (28):4/40 (29):10/-1
-> (30):9/9 (31):9/-1 (32):2/10 (33):8/9 (34):6/10 (35):5/12 (36):8/-1 (37):7/-1 (38):6/10 (39):9/-1
-> (40):7/10 (41):7/10 (42):4/12 (43):6/-1 (44):10/-1 (45):5/40 (46):9/9 (47):12/-1 (48):6/12 (49):10/-1
-> (50):9/-1 (51):9/-1 (52):7/16 (53):7/12 (54):6/-1 (55):7/-1 (56):9/40 (57):8/16 (58):8/40 (59):9/-1
-> (60):8/12 (61):7/-1 (62):10/10 (63):9/9 (64):15/24 (65):9/9 (66):9/-1 (67):6/24 (68):8/-1 (69):10/16
-> (70):6/16 (71):8/24 (72):3/-1 (73):7/9 (74):6/-1 (75):8/16 (76):12/12 (77):12/12 (78):9/9 (79):6/-1
-> (80):12/-1 (81):12/40 (82):6/-1 (83):10/40 (84):8/12 (85):10/40 (86):8/10 (87):8/12 (88):10/10 (89):7/40
-> (90):9/10 (91):7/16 (92):6/10 (93):7/-1 (94):9/40 (95):8/9 (96):11/-1 (97):7/-1 (98):8/10 (99):8/24
->
-> Total maximum concurrency is 15
-> Starting 5: (842)
-> Starting to solve(452)
-> Max concurrency:
-> (0):3/16 (1):10/10 (2):8/9 (3):7/-1 (4):10/40 (5):8/12 (6):8/16 (7):11/24 (8):8/16 (9):7/12
-> (10):7/12 (11):7/9 (12):9/10 (13):6/-1 (14):5/12 (15):11/12 (16):7/40 (17):5/16 (18):11/40 (19):7/40
-> (20):7/-1 (21):12/12 (22):9/10 (23):5/-1 (24):12/16 (25):10/10 (26):10/-1 (27):9/12 (28):9/24 (29):8/10
-> (30):9/12 (31):9/9 (32):11/16 (33):9/-1 (34):9/16 (35):10/-1 (36):3/24 (37):6/12 (38):9/-1 (39):11/16
-> (40):8/16 (41):9/10 (42):7/24 (43):4/12 (44):9/16 (45):10/-1 (46):8/12 (47):14/16 (48):8/9 (49):7/24
-> (50):7/12 (51):6/9 (52):7/16 (53):5/10 (54):9/24 (55):7/10 (56):7/16 (57):10/10 (58):11/-1 (59):7/12
-> (60):12/-1 (61):8/-1 (62):8/40 (63):9/9 (64):14/-1 (65):10/16 (66):9/-1 (67):10/16 (68):6/40 (69):9/9
-> (70):5/10 (71):11/-1 (72):9/-1 (73):9/9 (74):10/-1 (75):7/9 (76):11/24 (77):11/24 (78):6/24 (79):4/16
-> (80):15/16 (81):7/16 (82):13/-1 (83):7/10 (84):6/24 (85):8/40 (86):6/12 (87):5/24 (88):7/9 (89):10/10
-> (90):8/24 (91):12/16 (92):9/9 (93):7/-1 (94):15/24 (95):11/40 (96):7/40 (97):9/40 (98):5/9 (99):8/12
->
-> Total maximum concurrency is 15
-> Starting 6: (649)
-> Starting to solve(430)
-> Max concurrency:
-> (0):14/16 (1):8/24 (2):7/9 (3):5/10 (4):5/16 (5):6/-1 (6):16/24 (7):10/10 (8):5/24 (9):9/24
-> (10):6/40 (11):9/9 (12):7/10 (13):10/-1 (14):6/9 (15):6/9 (16):8/16 (17):10/-1 (18):12/12 (19):9/12
-> (20):9/10 (21):7/40 (22):5/-1 (23):11/24 (24):8/-1 (25):10/10 (26):10/16 (27):10/12 (28):7/12 (29):6/24
-> (30):9/10 (31):13/16 (32):3/24 (33):8/9 (34):9/16 (35):9/9 (36):4/9 (37):9/-1 (38):6/12 (39):6/40
-> (40):8/9 (41):7/24 (42):7/-1 (43):8/10 (44):8/-1 (45):12/24 (46):8/12 (47):6/40 (48):9/-1 (49):11/40
-> (50):8/12 (51):14/24 (52):13/-1 (53):10/16 (54):6/40 (55):4/24 (56):6/16 (57):7/16 (58):8/40 (59):5/16
-> (60):5/16 (61):8/10 (62):11/-1 (63):8/16 (64):9/9 (65):9/10 (66):14/-1 (67):8/16 (68):9/-1 (69):8/12
-> (70):8/9 (71):4/40 (72):7/40 (73):10/12 (74):12/24 (75):10/10 (76):9/-1 (77):8/12 (78):14/-1 (79):6/9
-> (80):10/10 (81):3/9 (82):12/12 (83):7/9 (84):8/40 (85):7/-1 (86):9/40 (87):9/-1 (88):9/40 (89):7/24
-> (90):5/24 (91):5/-1 (92):10/10 (93):10/10 (94):10/10 (95):10/12 (96):10/-1 (97):9/16 (98):7/16 (99):11/-1
->
-> Total maximum concurrency is 16
-> Starting 7: (456)
-> Starting to solve(692)
-> Max concurrency:
-> (0):5/10 (1):7/12 (2):9/-1 (3):12/24 (4):7/40 (5):6/24 (6):8/12 (7):8/-1 (8):9/40 (9):8/16
-> (10):14/24 (11):13/-1 (12):9/16 (13):7/-1 (14):8/-1 (15):11/24 (16):13/16 (17):8/40 (18):7/9 (19):9/-1
-> (20):9/-1 (21):8/10 (22):7/24 (23):9/40 (24):7/10 (25):4/40 (26):9/10 (27):10/10 (28):9/9 (29):7/-1
-> (30):10/10 (31):9/9 (32):8/24 (33):9/12 (34):10/24 (35):9/12 (36):6[0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '794'(1.000000) '783'(1.000000) '782'(1.000000) '775'(1.000000) '774'(1.000000) '767'(1.000000) '751'(1.000000) '749'(1.000000) '738'(1.000000) '737'(1.000000) '736'(1.000000) '734'(1.000000) '733'(1.000000) '732'(1.000000) '731'(1.000000) '730'(1.000000) '729'(1.000000) '728'(1.000000) '725'(1.000000) '724'(1.000000) '723'(1.000000) '722'(1.000000) '721'(1.000000) '720'(1.000000) '719'(1.000000) '718'(1.000000) '717'(1.000000) '716'(1.000000) '715'(1.000000) '714'(1.000000) '713'(1.000000) '712'(1.000000) '711'(1.000000) '710'(1.000000) '709'(1.000000) '708'(1.000000) '707'(1.000000) '706'(1.000000) '705'(1.000000) '704'(1.000000) '703'(1.000000) '702'(1.000000) '701'(1.000000) '726'(0.000000) '727'(0.000000) '735'(0.000000) '739'(0.000000) '740'(0.000000) '741'(0.000000) '742'(0.000000) '743'(0.000000) '744'(0.000000) '745'(0.000000) '746'(0.000000) '747'(0.000000) '748'(0.000000) '750'(0.000000) '752'(0.000000) '753'(0.000000) '754'(0.000000) '755'(0.000000) '756'(0.000000) '757'(0.000000) '758'(0.000000) '759'(0.000000) '760'(0.000000) '761'(0.000000) '762'(0.000000) '763'(0.000000) '764'(0.000000) '765'(0.000000) '766'(0.000000) '768'(0.000000) '769'(0.000000) '770'(0.000000) '771'(0.000000) '772'(0.000000) '773'(0.000000) '776'(0.000000) '777'(0.000000) '778'(0.000000) '779'(0.000000) '780'(0.000000) '781'(0.000000) '784'(0.000000) '785'(0.000000) '786'(0.000000) '787'(0.000000) '788'(0.000000) '789'(0.000000) '790'(0.000000) '791'(0.000000) '792'(0.000000) '793'(0.000000) '795'(0.000000) '796'(0.000000) '797'(0.000000) '798'(0.000000) '799'(0.000000) '800'(0.000000) )