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