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