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