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