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