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