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