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