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