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