(1,22) (2,21) (3,24) (4,26) (5,28) (6,30) (7,20) (8,27) (9,25) (10,17) (11,18) (12,19) (13,23) (14,16) (15,29) 
nodes: 1688  conflicts: 32  modelTime: 657  solveTime: 2582  totalTime: 3246  modelSize: 41298  readTime: 7 size: 15