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