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