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