(1,25) (2,19) (4,23) (5,22) (6,16) (7,18) (8,28) (9,20) (10,17) (11,27) (12,26) (13,29) (14,21) (15,24) 
nodes: 13681  conflicts: 36  modelTime: 661  solveTime: 38364  totalTime: 39030  modelSize: 41292  readTime: 5 size: 14