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