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