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