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