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