(1,18) (2,17) (3,28) (4,21) (5,25) (6,27) (7,22) (9,16) (10,24) (11,30) (12,23) (13,20) (14,19) (15,26) 
nodes: 3030  conflicts: 28  modelTime: 687  solveTime: 6769  totalTime: 7463  modelSize: 41298  readTime: 7 size: 14