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