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