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