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