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