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