(1,21) (2,30) (3,23) (4,28) (5,22) (6,10) (7,20) (8,29) (9,16) (11,27) (12,25) (13,15) (14,19) (17,26) (18,24) 
nodes: 40534  conflicts: 38  modelTime: 1716  solveTime: 138635  totalTime: 140371  modelSize: 72268  readTime: 19 size: 15