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