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