(1,10) (2,22) (3,7) (4,18) (5,6) (8,26) (9,30) (11,27) (12,21) (13,20) (14,17) (15,24) (16,29) (19,28) (23,25) 
nodes: 418  conflicts: 0  modelTime: 939  solveTime: 1599  totalTime: 2544  modelSize: 72264  readTime: 6 size: 15