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