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