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