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