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