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