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