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