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