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