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