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