(1,8) (2,12) (3,9) (4,10) (5,28) (6,18) (7,11) (13,16) (14,24) (15,27) (17,23) (19,26) (20,21) (22,25) (29,30) 
nodes: 55599  conflicts: 48  modelTime: 974  solveTime: 233355  totalTime: 234340  modelSize: 72268  readTime: 11 size: 15