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