(1,30) (2,6) (3,9) (4,8) (5,14) (7,10) (11,24) (12,15) (13,18) (16,21) (17,20) (19,28) (22,29) (23,27) (25,26) 
nodes: 908651  conflicts: 33  modelTime: 1501  solveTime: 4793029  totalTime: 4794541  modelSize: 72269  readTime: 11 size: 15