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