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