(1,24) (2,18) (3,15) (4,28) (5,23) (6,19) (7,11) (8,25) (10,26) (12,16) (13,20) (14,22) (17,29) (21,30) 
nodes: 18190  conflicts: 55  modelTime: 1707  solveTime: 79122  totalTime: 80849  modelSize: 72263  readTime: 20 size: 14