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