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