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