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