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