(1,22) (2,19) (6,26) (7,30) (8,21) (9,18) (10,25) (11,16) (12,24) (13,23) (14,20) (15,29) 
nodes: 491  conflicts: 65  modelTime: 668  solveTime: 883  totalTime: 1558  modelSize: 41293  readTime: 7 size: 12