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