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