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