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