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