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