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