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