(1,30) (2,24) (3,22) (4,25) (5,29) (6,23) (7,17) (8,26) (9,19) (10,16) (12,28) (13,18) (14,27) (15,20) 
nodes: 4229  conflicts: 21  modelTime: 657  solveTime: 6144  totalTime: 6808  modelSize: 41298  readTime: 7 size: 14