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