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