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