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