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