(1,24) (2,8) (3,11) (4,25) (5,30) (7,19) (9,20) (10,23) (12,22) (13,16) (15,18) (21,27) (28,29) 
nodes: 35740  conflicts: 64  modelTime: 978  solveTime: 91390  totalTime: 92379  modelSize: 72266  readTime: 11 size: 13