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