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