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