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