(2,28) (3,27) (4,23) (5,30) (6,17) (7,25) (8,20) (9,26) (10,18) (11,16) (12,19) (13,22) (15,29) 
nodes: 2757  conflicts: 42  modelTime: 661  solveTime: 4605  totalTime: 5272  modelSize: 41293  readTime: 6 size: 13