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