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