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