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