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