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