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