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