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