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