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