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