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