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