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