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