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