(1,16) (2,10) (4,26) (5,28) (7,20) (8,11) (9,24) (12,29) (13,15) (14,17) (18,27) (19,23) (21,25) (22,30) 
nodes: 90996  conflicts: 46  modelTime: 961  solveTime: 388193  totalTime: 389165  modelSize: 72264  readTime: 11 size: 14