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