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