(1,29) (2,24) (3,27) (4,18) (5,30) (6,28) (7,26) (8,17) (9,16) (10,20) (11,23) (12,19) (13,22) (14,21) (15,25) 
nodes: 2374  conflicts: 4  modelTime: 708  solveTime: 2126  totalTime: 2842  modelSize: 41292  readTime: 7 size: 15