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