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