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