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