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