(1,29) (2,8) (3,17) (4,22) (5,19) (6,26) (7,23) (9,11) (10,25) (12,20) (13,28) (14,16) (15,24) (18,27) (21,30) 
nodes: 85094  conflicts: 38  modelTime: 1702  solveTime: 342265  totalTime: 343986  modelSize: 72262  readTime: 19 size: 15