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