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