(1,14) (2,11) (3,23) (4,28) (5,16) (6,10) (7,25) (8,17) (9,20) (12,26) (13,30) (15,18) (19,21) (22,24) (27,29) 
nodes: 16325  conflicts: 68  modelTime: 988  solveTime: 73046  totalTime: 74045  modelSize: 72263  readTime: 11 size: 15