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