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