(1,20) (3,26) (4,10) (5,28) (7,8) (11,27) (13,29) (14,16) (17,24) (21,22) (23,25) 
nodes: 748  conflicts: 114  modelTime: 936  solveTime: 2687  totalTime: 3635  modelSize: 72262  readTime: 12 size: 11