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