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