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