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