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