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