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