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