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