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