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