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