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