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