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