(1,12) (2,20) (3,26) (4,13) (5,16) (6,27) (7,19) (8,9) (10,28) (11,14) (15,24) (17,25) (21,30) (22,23) 
nodes: 5990  conflicts: 64  modelTime: 1125  solveTime: 26007  totalTime: 27152  modelSize: 72262  readTime: 20 size: 14