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