(1,20) (2,29) (3,24) (4,25) (5,18) (6,22) (7,19) (8,26) (9,21) (10,30) (12,17) (13,28) (14,16) (15,23) 
nodes: 2222  conflicts: 31  modelTime: 667  solveTime: 2603  totalTime: 3277  modelSize: 41298  readTime: 7 size: 14