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