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