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