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