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