(1,18) (2,20) (3,16) (4,25) (6,28) (7,21) (8,23) (9,30) (10,22) (12,24) (13,26) (14,29) (15,17) 
nodes: 1031  conflicts: 43  modelTime: 666  solveTime: 855  totalTime: 1528  modelSize: 41292  readTime: 7 size: 13