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