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