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