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