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