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