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