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