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