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