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