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