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