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