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