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