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