(1,12) (2,21) (3,4) (5,19) (6,8) (7,27) (9,18) (10,20) (11,29) (13,15) (16,17) (22,24) (23,30) (25,28) 
nodes: 842  conflicts: 57  modelTime: 969  solveTime: 3761  totalTime: 4742  modelSize: 72262  readTime: 12 size: 14