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