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