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