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