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