(1,12) (2,17) (4,8) (5,9) (6,15) (7,23) (10,18) (11,16) (13,24) (14,26) (19,30) (21,28) (22,27) (25,29) 
nodes: 19470  conflicts: 53  modelTime: 1702  solveTime: 46845  totalTime: 48567  modelSize: 72277  readTime: 20 size: 14