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