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