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