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