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