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