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