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