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