(1,8) (2,24) (3,10) (4,19) (5,12) (7,18) (9,25) (11,14) (13,23) (15,20) (17,29) (21,30) (22,28) (26,27) 
nodes: 1185  conflicts: 96  modelTime: 941  solveTime: 5248  totalTime: 6201  modelSize: 72262  readTime: 12 size: 14