(1,5) (2,14) (4,16) (6,27) (7,24) (9,11) (10,15) (12,13) (17,21) (18,29) (19,25) (20,30) (22,28) (23,26) 
nodes: 9708  conflicts: 70  modelTime: 1214  solveTime: 39873  totalTime: 41107  modelSize: 72264  readTime: 19 size: 14