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