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