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