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