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