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