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