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