(1,12) (2,26) (3,7) (4,24) (5,22) (6,15) (8,25) (9,19) (10,14) (11,18) (13,29) (16,20) (17,28) (21,23) (27,30) 
nodes: 2417898  conflicts: 14  modelTime: 1703  solveTime: 13711049  totalTime: 13712789  modelSize: 72268  readTime: 37 size: 15