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