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